Towards Fully Declarative Program Analysis via Source Code Transformation.
Rijnard van TonderPublished in: CoRR (2021)
Keyphrases
- source code
- open source
- software systems
- high level
- open source software
- static analysis
- software projects
- software maintenance
- plagiarism detection
- open source projects
- mining software repositories
- symbolic execution
- program comprehension
- linux kernel
- software evolution
- change impact analysis
- free software
- software repositories
- program understanding
- object oriented systems
- software engineers
- maintenance activities
- execution traces
- real world
- case study