Sviluppo di un tool per la comprensione di programmi

Il tirocinio proposto riguarda lo sviluppo di un visualizzatore interattivo per la comprensione del codice sorgente (spesso indicata con i termini “program comprehension” o “code comprehension”) per i linguaggi C e C++.

Lo strumento verrà realizzato in linguaggio Typescript con l’uso della libreria React a partire da un prototipo sviluppato internamente e verrà integrato all’interno della piattaforma ECLAIR per l’analisi e la verifica del software C e C++ (https://www.bugseng.com/eclair) realizzata da BUGSENG. Tale interfaccia opererà su un database di simboli di programma e relazioni che li legano (e.g., relazione di chiamata tra due funzioni). La realizzazione del database non è oggetto del tirocinio proposto, in quanto già implementato nella piattaforma ECLAIR. Mediante l’uso di opportune viste tabellari o tipo grafo che utilizzino librerie grafiche Typescript già esistenti sarà possibile navigare e rielaborare i dati in ingresso al fine di presentarne un sottoinsieme filtrato secondo criteri opportuni.

ECLAIR è un’innovativa piattaforma per la verifica del software, principalmente orientata a codice C e C++. ECLAIR è certificata per l’uso in ambito safety-critical nei principali settori industriali.

ECLAIR è certificata per l’uso in ambito safety-critical nei principali settori industriali. Certificato TÜV SÜD.

Progetti analizzati con ECLAIR in configurazioni di esempio in CI https://www.bugseng.com/eclair/eclairit.