29/04/2020 – Talk: “Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel” by Anders Fischer-Nielsen

29/04/2020 – Talk: “Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel” by Anders Fischer-Nielsen

Anders Fischer-Nielsen will give a talk about the work he is doing on finding resource manipulation bugs in the Linux kernel. Details below.

SPEAKER

Anders Fischer-Nielsen, MSc student.

TITLE

Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel

ABSTRACT

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.

  • Prev Post
  • Next Post