On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects.
José D'Abruzzo PereiraMarco VieiraPublished in: EDCC (2020)
Keyphrases
- static analysis
- open source
- source code
- software repositories
- open source projects
- dynamic analysis
- open source software projects
- software projects
- open source software
- software systems
- case study
- symbolic execution
- malicious code
- software evolution
- commercial systems
- java card
- management tools
- software maintenance
- object oriented systems
- building blocks
- abstract interpretation
- project management
- real world
- regular expressions
- relational databases
- decision trees
- knowledge base