06/06/2025 Interships - #unipr Sviluppo di una interfaccia web per la visualizzazione di codice sorgente Il tirocinio proposto riguarda lo sviluppo di una interfaccia web per la visualizzazione di codice sorgente C/C++ che sia estendibile anche ad altri linguaggi. Il visualizzatore sarà realizzato in linguaggio Typescript utilizzando la libreria React 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. Il visualizzatore interattivo consentirà di: cercare rapidamente entità di programma con funzioni avanzate di autocompletamento; visualizzare graficamente la struttura del codice sorgente (mediante l’uso di librerie grafiche Typescript già esistenti e facilmente personalizzabili); visualizzare il (o frammenti del) codice sorgente. L’interattività consentirà di navigare il codice sorgente in modo efficace cliccando sulle parti sensibili di ogni visualizzazione. 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. Certificato TÜV SÜD. Progetti analizzati con ECLAIR in configurazioni di esempio in CI https://www.bugseng.com/eclair/eclairit.
