ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis.
Dongyang ZhanXiangzhan YuHongli ZhangLin YePublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- static analysis
- linux kernel
- source code
- error handling
- visual basic
- software systems
- dynamic analysis
- open source
- software projects
- data access
- database programming
- operating system
- cd rom
- software maintenance
- high level
- data management
- software evolution
- databases
- test suite
- software development
- stored procedures
- data abstraction
- multi agent systems