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++.