VCCFinder: Finding Potential Vulnerabilities in Open-Source Projects to Assist Code Audits
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs