A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Static analysis based invariant detection for commodity operating systems
2014
Computers & security
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 precise and static analysis-based global invariant detection tool that overcomes several technical challenges: field-sensitivity, arraysensitivity, pointer analysis, and handling of assembly code. We apply
doi:10.1016/j.cose.2014.02.008
fatcat:utc46gn6ezhsranzhbehxcf4nq