Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.
Peter T. BreuerSimon PickinPublished in: International Conference on Computational Science (4) (2006)
Keyphrases
- linux kernel
- source code
- open source
- software systems
- clone detection
- open source software
- static analysis
- software projects
- software maintenance
- software repositories
- impact analysis
- text files
- software evolution
- legacy systems
- operating system
- mining software repositories
- plagiarism detection
- open source projects
- high level
- analysis tool
- software engineering