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.
