... analysis tool that performs taint analysis to detect vulnerabilities, tracking malicious users inputs and checking if they reach calls of sensitive functions. It has a low rate of false positives because has implemented a data mining module to predict false positives when detects vulnerabilities.
The output of the tool is:
- shows the vulnerabilities found and how they are corrected
- new files with the corrections