Xynth. Kacheck / J è un checker di incapsulante per Java.
Scarica ora

Xynth. Classifica e riepilogo

Xynth. Tag

portatile inserito Interfaccia integrata Interfaccia portatile Visualizza l'hardware. Xynth.

Xynth. Descrizione

Kacheck / J è un controllore di incapsulante per Java. Kacheck / J è un controllore di incapsulante per Java. Il progetto XYNTH è un'interfaccia portatile e incorporata tra hardware di visualizzazione (il mouse, la tastiera e i video visualizzati) e l'ambiente desktop che funziona su molti hardware, incluso dispositivi incorporati.Kacheck / J è stato sviluppato utilizzando il quadro XTC.Objects di tipo confinato. non sfuggire al loro confezione di allevamento. I tipi confinati consentono di aumentare la modularizzazione del tuo codice. Since oggetti di tipo confinato per non sfuggire al loro pacchetto di definizione, è certo che nessun codice al di fuori del pacco dipenderà direttamente dall'interfaccia o all'implementazione del tipo confinato. Ti permette di analizzare il tuo codice per il confinamento e può stampare un elenco di dichiarazioni che portano a violazioni di confinamento. I tipi confinati sono anche interessanti da una prospettiva di sicurezza poiché possono garantire che l'accesso a determinate strutture dati sia possibile solo per il codice nello stesso pacchetto. Esercitazioni: se chiamata solo con il percorso delle classi dell'applicazione, Kacheck / J stampierà I nomi delle classi che sono annotate per essere @ confine ma che sono in violazione delle regole per il confinamento. Kacheck / J avrà anche elencare tutte le classi che sono confinate ma non annotate come tali. L'opzione -Dump = dir può essere utilizzata per emettere file di classe riscritti che contengono l'annotazione @Confined per le classi confinate (le classi che non sono cambiate essere scritto su dir). L'opzione -verbose può essere utilizzata per ottenere statistiche sul numero di clases @Confiniti. L'opzione -Listall causerà Kacheck / J per stampare i nomi di tutte le classi confinate (se sono annotate come tali o meno). Dovresti copiare il codice di @Confinito nel tuo progetto sorgente se si desidera utilizzare @Confined Annotazioni. Mentre Kacheck / J viene rilasciato sotto il GPL, la classe di annotazione @Confined è nel pubblico dominio (in altre parole, è possibile integrarla in qualsiasi applicazione in qualsiasi licenza) .requirementi: · Java 1.5What è nuovo in questa versione: · La versione aggiunge il supporto per l'analisi di Java 5.0 Bytecode. · Aggiunge anche una nuova opzione per verificare annotazioni @Confinite che sono possibili in Java 5.0. · È anche possibile aggiungere automaticamente le annotazioni @Confinite in file di classe utilizzando la nuova opzione Dump (utile se Altri strumenti, analisi statiche o VM possono beneficiare di tali annotazioni). · Il codice stesso è stato ripulito in modo significativo e ora richiede Java 5.0 a compilare.

Xynth. Software correlato