Home
Biography
Teaching
Research
Publication
Team
Contact
Light
Dark
Automatic
Concurrency Bugs
PASAN: Detecting peripheral access concurrency bugs within bare-metal embedded applications
We propose the first static analysis tool to detect peripheral access concurrency issues for embedded systems.
Cite
×