Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel.
Tegawendé F. BissyandéLaurent RéveillèreJulia L. LawallGilles MullerPublished in: Autom. Softw. Eng. (2016)
Keyphrases
- static analysis
- linux kernel
- source code
- dynamic analysis
- software systems
- clone detection
- open source
- abstract interpretation
- operating system
- software projects
- malicious code
- java card
- software maintenance
- test generation
- symbolic execution
- software evolution
- high level
- software testing
- regular expressions
- database
- artificial intelligence
- real world
- software architecture
- distributed systems
- training data