Concurrency Bugs

PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-Metal Embedded Applications

USENIX Security · 2021

We propose the first static analysis tool to detect peripheral access concurrency issues for embedded systems.