You are here
Eliminating barriers to code quality and security with increased timeliness and accuracy of analysis
Phone: (415) 321-5203
Phone: (613) 294-8723
While modern static analysis tools have progressed significantly, barriers to adoption still exist due to the turnaround time between
submitting code and producing analysis results, and due to the inability to model code paths which traverse externally supplied codeblocks, such as 3rd party library functions. This submission targets these two challenges from a number of directions, with intended deployment through the Open Source Hardening Project - Coverity Scan system.
* Information listed above is at the time of submission. *