Embedded Systems

An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software
This paper performs the first study to understand the prevalence, challenges, and effectiveness of using Static Application Security …
Mingjie Shen, Akul Pillai, Brian A. Yuan, James C. Davis, Aravind Machiry
PDF Cite Poster DOI
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
PDF Cite Code Slides Video DOI