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
.
KAFE: Kernel Analysis Front-End for Software Assurance
2011
2011 44th Hawaii International Conference on System Sciences
KAFÉ is a tool for kernel inspection, navigation, iterative drill down and analysis with an easy to use interface for searching and sorting on kernel files, functions, types, variables, macros, and symbols. Although debuggers are geared towards run-time program analysis, the information they rely on offers a powerful basis for the static analysis of programs. The KAFÉ relational database is automatically generated by analyzing the "Debug With Arbitrary Records Format" information. While we gain
doi:10.1109/hicss.2011.266
dblp:conf/hicss/BurnsPG11
fatcat:x7ju3z5s3jdmhkghzpskwbyjaa