Testing static analysis tools using exploitable buffer overflows from open source code.
Misha ZitserRichard LippmannTim LeekPublished in: SIGSOFT FSE (2004)
Keyphrases
- static analysis
- source code
- symbolic execution
- dynamic analysis
- test generation
- open source
- software engineers
- program understanding
- software systems
- object oriented systems
- software repositories
- reverse engineer
- software artifacts
- free software
- open source software projects
- code reuse
- software maintenance
- software projects
- buffer overflow
- java card
- software metrics
- legacy software
- reusable components
- plagiarism detection
- automated tools
- test suite
- visual basic
- programs written
- software evolution
- software developers
- software components
- legacy systems
- website
- artificial intelligence
- databases