A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code.
Andrei ArusoaieStefan CiobacaVlad CraciunDragos GavrilutDorel LucanuPublished in: SYNASC (2017)
Keyphrases
- static analysis
- source code
- open source
- dynamic analysis
- malicious code
- program understanding
- open source software
- software repositories
- software systems
- object oriented systems
- symbolic execution
- java card
- regular expressions
- abstract interpretation
- test generation
- software maintenance
- database
- legacy software systems
- visual basic
- databases
- high level
- decision trees
- data sets