• Praline aims to use static analysis to detect bugs and vulnerabilities in programs containing PL/SQL code.

    How it works

    1. Translation: Programs written in PL/SQL are translated into a common format (intermediate representation) that can be analysed by Oracle’s static-analysis tool, Parfait.

    2. Detection: Using Parfait, bugs and vulnerabilities will be detected in the translation and across language boundaries to Java and C/C++.


  • Sep 2012 - Nov 2015: Professor John Gough