Il progetto SafePKT studierà l'analisi statica di parti selezionate del software PKT, sviluppato principalmente nel linguaggio di programmazione Rust. Il progetto prenderà in considerazione la possibilità di utilizzare analizzatori statici già esistenti per Rust per questa attività, sebbene siano ancora agli inizi e non sembrino fornire un feedback molto efficace all'utente. Partendo da questa esperienza, il progetto individuerà miglioramenti ai controlli statici esistenti e nuovi controlli statici più adatti a Rust o al tipo di codice del software PKT. Alcuni di questi controlli verranno implementati all'interno di analizzatori statici open source per Rust. L'obiettivo generale del progetto SafePKT è quindi lo studio e il miglioramento dell'analisi statica per un linguaggio molto specifico come Rust.
Aree di ricerca coinvolte dal progetto | |
---|---|
Ingegneria del Software e verifica formale
Software organization and properties |
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>