CODE ANALYSIS REINVENTED SO THAT YOU CAN RELY ON YOUR SOFTWARE

Il metodo scientifico garantisce una precisione senza eguali

Julia è un analizzatore statico di nuova generazione estremamente efficiente per Java, Android e .NET. L’accuratezza dello strumento è resa possibile da una tecnologia innovativa basata sul metodo scientifico dell’interpretazione astratta.
Julia è semantica: ricostruisce il grafo del programma ed esamina tutti i possibili percorsi di esecuzione, riuscendo così a identificare tutti gli errori che sta cercando.
Julia analizza bytecode rendendo così possibile verificare il codice proprietario o le applicazioni di terze parti.
ti aiuta a correggere gli errori: puoi consultare i singoli avvertimenti direttamente sulla riga di codice e classificare i risultati in base al loro contesto e in base al tipo e alla gravità dell’errore.

Checkers

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

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.

Warnings

SUGGERIMENTI DETTAGLIATI PER LA CORREZIONE DELLE SEGNALAZIONI

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