When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel.
Lin MaDuoming ZhouHanjie WuYajin ZhouRui ChangHao XiongLei WuKui RenPublished in: SP (2023)
Keyphrases
- linux kernel
- source code
- software systems
- operating system
- attention mechanism
- open source
- clone detection
- software engineering
- high level
- data driven
- visual saliency
- software maintenance
- file system
- figure ground
- software evolution
- test cases
- automatic detection
- software components
- vision system
- software architecture
- software quality
- software development
- computer systems
- natural images
- image segmentation
- symbolic reasoning
- machine learning