Embedded Systems

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.