====== 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 [[wp>Ocaml|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:
  * [[http://home.dei.polimi.it/barenghi|Alessandro Barenghi]]
  * [[http://home.dei.polimi.it/agosta|Giovanni Agosta]]