Mapping kernel objects to enable systematic integrity checking
Program Analysis and Specialization for the C Programming Language