Static Code Analysis for Vulnerability Identification
The project focuses on implementing new modules for an existing tool for php source code analysis in order to automatically detect possible vulnerabilities at static time.
The tool is coded in Ocaml, a functional/object-oriented programming language.
The project is suitable for 1 to 3 students, depending on the choice of modules to implement.
Contacts:
