Jlint voor unix JAVA CODE VERIFIER
Download nu

Jlint voor unix Rangschikking & Samenvatting

Jlint voor unix Tags

JAR-bestand mobiel Java Flash Player Mobiele map verbergen www.java mobile.com XXD UNIX Ghost voor Unix Services voor UNIX PRSTAT UNIX Emulator Unix winlaunch 0.4.5 Photoimpression 4 Ware DF Unix

Jlint voor unix Beschrijving

Editby Jlint controleert uw Java-code en vindt u bugs, inconsistenties en synchronisatieproblemen door gegevensstroomanalyse en het bouwen van vergrendelingsgrafiek te bouwen. Jlint bestaat uit twee afzonderlijke programma's die syntaxis en semantische verificatie uitvoeren. Wat JAVA voornamelijk inhaalt, erft het C / C ++ -syntaxis en erfen de meeste problemen die worden veroorzaakt door C-syntaxis, het idee was om gemeenschappelijke syntaxisverificateur te creëren voor alle C-familie-talen: C, C ++, objectieve C en Java. Dit programma is ANTIC genoemd, omdat het problemen oplost met C Grammar, die de bugs van gevaarlijke programmeur kan veroorzaken, onopgemerkt door Compiler. Door handgeschreven scanner en eenvoudige top-down parser te gebruiken, kan Antic dergelijke bugs detecteren als verdacht gebruik van exploitanten prioriteiten, afwezigheid van pauze in schakelcode, verkeerde aanname over constructies-organen ... Semantische verifier Jlint Extracteert informatie van Java Class-bestanden. Wat Java Class-bestand heeft, heeft het zeer goed gespecificeerd en eenvoudig formaat, het vereenvoudigt de JLINT in vergelijking met bronniveauverificateurs, omdat ontwikkeling van Java Grammar Parser geen eenvoudige taak is (zelfs via Java-grammatica is eenvoudiger en minder dubbelzinnig dan C ++ grammatica) . Ook omgaan met klassebestanden, bescherm JLINT van verdere Java-extensies (formaat van virtuele byte-instructies is conservatiever). Door debugginginformatie te gebruiken, kan JLIP gerapporteerde berichten associëren met Java-bronnen. JLINT voert lokale en wereldwijde gegevensstroomanalyses uit, het berekenen van mogelijke waarden van lokale variabelen en het vangen van overtollige en verdachte berekeningen. Door de algemene methode-aanwijzingsanalyse uit te voeren, kan JLINT in staat zijn om de methode met mogelijke "null" -waarde van formele parameter en het gebruik van deze parameter in werkwijze te detecteren zonder te controleren op "null". Jlint bouwt ook de vergrendelingsafhankelijkheidsgrafiek op voor klassenafhankelijkheden en gebruikt deze grafiek om situaties te detecteren, wat de impasse kan veroorzaken tijdens de uitvoering van het Multithreaded-programma.

Jlint voor unix Gerelateerde software