Static virtualization of C source code.
Sam JansenAnthony McGregorPublished in: Softw. Pract. Exp. (2008)
Keyphrases
- source code
- open source
- software systems
- open source software
- static analysis
- software projects
- software maintenance
- legacy systems
- cloud computing
- impact analysis
- virtual machine
- operating system
- software evolution
- software repositories
- open source projects
- program understanding
- plagiarism detection
- execution traces
- text files
- symbolic execution
- source files
- database systems
- software engineers
- program comprehension
- programming language
- free software
- manual inspection
- real world
- program slicing
- bug localization