SUDS: an infrastructure for dynamic software bug detection using static analysis.
Eric LarsonPublished in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
- static analysis
- source code
- dynamic analysis
- software systems
- open source
- software projects
- abstract interpretation
- symbolic execution
- regular expressions
- java card
- malicious code
- software evolution
- reverse engineering
- bug localization
- bug reports
- object oriented systems
- test generation
- open source projects
- software repositories
- building blocks
- database systems
- software maintenance
- anomaly detection
- data sets