- A Comparison of Static Analysis Tools for Vulnerability Detection in C/C++ Code 
   
- Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software 
   
- Automated Customized Bug-Benchmark Generation 
   
- Benchmark Software for Evaluation of Software Analysis Tools 
   
- How Toyota Picks Software Tools 
   
- Quantitative Evaluation of Static Analysis Tools 
   
- Software Assurance Reference Dataset (SARD) 
   
- Static Analysis Benchmarks 
   
- Test Suites for Benchmarks of Static Analysis Tools 
   
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools 
   
- Toyota ITC Benchmark 
   
- Using Benchmarks to Assess Static Analysis Tools 
   
- Differentially testing soundness and precision of program analyzers 
   
- Quickchecking Static Analysis Properties 
   
- Test suites for benchmarks of static analysis tools 
   
- Testing Static Analyses for Precision and Soundness 
   
- Testing Static Analyzers with Randomly Generated Programs 
   
- Towards Scalable Translation Validation of Static Analyzers 
   
- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers 
   
- Verasco, a formally verified C static analyzer 
   
   - A Formally-Verified C Static Analyzer 
     
- Microsoft Research 2016; Jacques Henri Jourdan 
     
     - "the design and soundness proof of Verasco, a formally verified static analyzer for most of the ISO C99 language (excluding recursion and dynamic allocation), developed using the Coq proof assistant."
- https://www.youtube.com/watch?v=0pUueg3Dslo
 
- Checking a Checker - Verasco: a Formally Verified C Static Analyzer 
     
 
- Verified Translation Validation of Static Analyses 
   
	Tags:
	
reading  
	Last modified 31 October 2025