Static Analysis Based Invariant Detection for Commodity Operating Systems
Jinpeng Wei, Feng Zhu, Yasushi Shinjo · 2011
The recent interest in runtime attestation requires modeling of a program’s runtime behavior to formulate its integrity properties. In this paper, we study the possibility of employing static source code analysis to derive integrity models of a commodity operating systems kernel. We develop a precis