Starting date
July 1, 2021
Duration (months)
Computer Science
Managers or local contacts
Spoto Nicola Fausto

The SafePKT project will investigate the static analysis of selected parts of the PKT software, that is mainly developed in the Rust programming language. The project will consider the possibility of using already existing static analyzers for Rust for this activity, although they are still in their infancy and do not seem to provide very effective feedback to the user. Building from this experience, the project will identify improvements to existing static checks and new static checks that are more adapted to Rust or to the kind of code of the PKT software. Some of these checks will be implemented inside open-source static analyzers for Rust. The overall goal of the SafePKT project is hence the study and improvements of static analysis for a very specific language like Rust, that has received very little attention from the scientific community up to now


Funds: assigned and managed by the department

Project participants

Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del Software e Sicurezza
Software organization and properties


Research facilities