Fjalar. Quadro analisi dinamico per i programmi C e C ++
Scarica ora

Fjalar. Classifica e riepilogo

Fjalar. Tag

analisi struttura sviluppo c++ C ++. quadro C ++. Quadro di analisi

Fjalar. Descrizione

Quadro analisi dinamico per i programmi C e C ++ Fjalar è un quadro gratuito e open source che facilita la costruzione di strumenti di analisi dinamici per i programmi scritti in C e C ++. Fjalar è spesso difficile da costruire analisi dinamiche robuste e scalabili per i programmi C e C ++ a causa della mancanza di memoria e della sicurezza del tipo in queste lingue. Ad esempio, il sistema di esecuzione Time non tiene traccia delle dimensioni dell'array o se i valori sono stati inizializzati. I framework esistenti basati sulla trasformazione sorgente to-source spesso soffrono di problemi di scalabilità e robustezza grazie alla difficoltà di aggiungere il codice sorgente di strumentazione per tracciare l'utilizzo e l'inizializzazione della memoria. I framework che operano puramente a livello binario non possono fornire informazioni a livello di linguaggio ricche su strutture di dati che sono utili per molti tipi di analisi. Fjalar combina aspetti sia degli approcci basati su origini e binari e consente agli strumenti costruiti su di esso per accedere in modo sicuro le informazioni ricche a livello di lingua che a livello di macchina durante il tempo di esecuzione.

Fjalar. Software correlato