Section: Bilateral Contracts and Grants with Industry

SafePython FUI

Participants : Damien Cassou [Correspondant] , Jean-Baptiste Arnaud, Stéphane Ducasse.

Contracting parties: CEA, Evitech, Inria, Logilab, Opida, Thales, Wallix.

Beyond embedded computing, there is not so much research and development on the verification of software safety. Recently, some tools have been created for languages such as JAVA, SQL, VB or PHP. Nevertheless, nothing exists for Python even though this language is growing fast. SafePython's goal is to provide code analysis tools applicable to Python programs. This project will define a subset of Python that the developers will have to use to have their programs analyzed.