Static analysis based invariant detection for commodity operating systems

• Published in: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom) pp. 287 - 296
• Main Authors: Jinpeng Wei, Feng Zhu, Shinjo, Y.
• Format: Conference Proceeding
• Language: English
• Published: ICST 01.10.2011
• Subjects: Analytical models; Hardware; integrity modeling; invariants detection; Software; static analysis

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 p...