Question: Static analysis tools for detecting memory safety bugs in C/C++
Gap: scalability of whole-program static analysis for large codebases
Needs new evidence2 verified (technical)
1/3 publication-ready
Findings metrics
—
total
—
verified
—
pending
—
rejected