An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code.
Jean MalmEduard EnoiuAbu Naser MasudBjörn LisperZoltán PorkolábSigrid EldhPublished in: SEAA (2022)
Keyphrases
- static analysis
- general purpose
- test generation
- dynamic analysis
- source code
- test suite
- malicious code
- symbolic execution
- abstract interpretation
- regular expressions
- test cases
- test case generation
- programming language
- java card
- domain specific
- object oriented systems
- artificial intelligence
- databases
- domain specific languages
- special purpose
- open source
- xml documents
- training data
- high level
- knowledge base
- real world