A Comparison of Static Analysis Tools for Vulnerability Detection in C / C + + Code
Frama-C: A software analysis perspective