Dynamic Program Analysis

Course description

If debuggers seem magical, there’s no better way to demystify them than by writing one yourself. This course shows how to do just that, guiding students through the entire process of creating a debugger for Linux x64 systems using C++. In doing so, students gain real experience with operating systems, compilers, software testing, and C++ programming.

Teaching goals

This course puts many concepts into practice in a large project.

Keywords

Debugger

Prerequisites

Linux, C

Biography

Mohamed Sabt is a full professor at the University of Rennes. Mohamed Sabt’s research focuses on:

  • Identification of flaws inside the design of security protocols as well as their implementations,
  • Smartphones security, Secure Elements (SE), and Trusted Execution Environment (TEE),
  • Digital Rights Management (DRM).

Mohamed Sabt carries out his research within the SPICY Team at IRISA.