Source Code Verification Tools for Software Security Bugs.
Frédéric MichaudFrédéric PainchaudPublished in: SoMeT (2006)
Keyphrases
- source code
- open source
- program understanding
- software systems
- symbolic execution
- software repositories
- software engineers
- reusable components
- object oriented systems
- reverse engineer
- free software
- software projects
- open source software
- software artifacts
- static analysis
- legacy software
- plagiarism detection
- legacy systems
- open source software projects
- high level
- open source projects
- software maintenance
- programs written
- software evolution
- bug reports
- execution traces
- source files
- software developers
- impact analysis
- automated tools
- program slicing
- bug localization
- code reuse
- model checking
- program comprehension
- maintenance activities