One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.
Peter T. BreuerSimon PickinPublished in: Ada-Europe (2006)
Keyphrases
- source code
- static analysis
- linux kernel
- software systems
- open source
- dynamic analysis
- clone detection
- java card
- symbolic execution
- software maintenance
- software projects
- test generation
- software evolution
- software repositories
- high level
- information security
- artificial intelligence
- design patterns
- database systems
- bug reports
- information systems
- source files