CODE ANALYSISREINVENTED SO THATYOU CAN RELYON YOUR SOFTWARE

Verifica approfondita di JAVA, Android e .Net

Julia è il più innovativo e preciso analizzatore statico per Java, Android e .NET, basato sulla tecnica scientifica dell’interpretazione astratta che garantisce la precisione e l’affidabilità dei suoi risultati. Julia è Semantico: ricostruisce il grafo del programma e analizza tutti i possibili percorsi, trovando così in modo intelligente TUTTI gli errori indagati.

Julia analizza il bytecode, così permettendo l’analisi di applicazioni sviluppate da terze parti.

Julia ti aiuta a correggere: per ogni segnalazione ti indica la riga di codice e ti spiega il problema, assegna una categoria e una gravità a seconda del contesto in cui lo trova.

Checkers

UNA VASTA GAMMA DI CHECKERS PER IDENTIFICARE BUGS, INEFFICIENZE E VULNERABILITÀ

Julia include un insieme di moduli di analisi (checker) per coprire una vasta gamma di errori e problematiche:

Correttezza: Julia verifica le condizioni che possono avere un impatto molto serio in esecuzione, ad esempio errori di accesso a puntatore null, il rischio di non terminazione del codice, la corretta implementazione di confronto fra oggetti, la corretta gestione delle situazioni eccezionali, la consistenza dell’accesso concorrente ai dati.

Sicurezza: Julia identifica i flussi di dati che portano a quelli che vengono considerati come i più pericolosi errori di programmazione, ad esempio SQL Injection , cross-site scripting, http-response splitting.

Efficienza: Julia segnala le potenziali cause di inefficienza come la creazione ridondante di oggetti, situazioni in cui si sovraccarica il garbage collector, confronti inutili fra oggetti, scritture inutili in memoria.

Stile: Julia suggerisce miglioramenti della scrittura del codice, nella scelta dei nomi delle variabili, per la semplificazione delle espressioni sintattiche.

I checker sono tra loro indipendenti e possono essere liberamente inclusi nell’analisi. Per un elenco completo vedere la documentazione tecnica.
Warnings

STRUMENTI DETTAGLIATI PER LA CORREZIONE DELLE INFORMAZIONI

Julia è configurato in modo da aiutare il più possibile il programmatore e il team leader nella risoluzione dei problemi, sia a livello decisionale che di implementazione.

Il controllo effettuato dai checker genera una lista dettagliata di segnalazioni (warning), cioè evidenze di errori, con suggerimenti di soluzioni che potranno essere controllate ed implementate dal programmatore.
I warning vengono inoltre categorizzati sulla base di un ranking che ne esprime la gravità e l’affidabilità in modo da guidare la correzione del codice sulla base delle priorità aziendali. Per un elenco completo vedere la documentazione tecnica.

Un report PDF, automaticamente generato alla fine di ogni analisi, offre una visione qualitativa e quantitativa dei risultati con elementi grafici particolarmente adatti ad una facile e veloce consultazione a livello executive.
Dashboard: Lo storico, le statistiche sulle analisi effettuate, l’amministrazione e la configurazione degli utenti sono forniti tramite un’interfaccia web del server di analisi.
Server locale o cloud: l’analisi viene eseguito tramite un plugin su un server remoto che può essere installato on-premises o fornito come servizio cloud.

Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Inizia a digitare e premi Enter per effettuare una ricerca