Automated Source Code Instrumentation for Verifying Potential Vulnerabilities.
Hongzhe LiJaesang OhHakjoo OhHeejo LeePublished in: SEC (2016)
Keyphrases
- source code
- open source
- software systems
- manual inspection
- open source software
- software projects
- automated tools
- plagiarism detection
- version control
- software maintenance
- static analysis
- software evolution
- software repositories
- program understanding
- high level
- open source projects
- program comprehension
- software artifacts
- reusable components
- linux kernel
- programming course
- multi agent systems
- website
- source files
- program slicing
- code reuse