SafePKT

Data inizio
1 luglio 2021
Durata (mesi) 
6
Dipartimenti
Informatica
Responsabili (o referenti locali)
Spoto Nicola Fausto

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.

Enti finanziatori:

CJDNS SASU
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Nicola Fausto Spoto
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Software organization and properties

Attività

Strutture

Condividi