Static Analysis

Towards Automated Identification of Layering Violations in Embedded Applications (WIP)

For portability, embedded systems software follows a layered design to reduce dependence on particular hardware behavior. We consider …

Mingjie Shen, James C. Davis, Aravind Machiry