Slide 1Automatic Inference and Enforcement of Kernel Data Structure Invariants Arati Baliga, Vinod Ganapathy and Liviu Iftode Department of Computer Science Rutgers University…