Open AccessEffective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers
Author(s) -
Jia-Ju Bai,
Julia Lawall,
Qiu-Liang Chen,
Shi-Min Hu
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - concurrency , computer science , linux kernel , operating system , static analysis , software bug , debugging , kernel (algebra) , code (set theory) , embedded system , programming language , software , mathematics , set (abstract data type) , combinatorics