Anders Fischer-Nielsen will give a talk about the work he is doing on finding resource manipulation bugs in the Linux kernel. Details below.
Anders Fischer-Nielsen, MSc student.
Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel
Management and manipulation of resources, be it devices, file handles, memory blocks, and locks is an important aspect of Linux kernel programming. I will present my ongoing work on an approach for detecting resource manipulation bugs in the Linux kernel using automata-based monitor templates operating on an annotated control flow graph found by shape-and-effect inference.