Dynamic Program Analysis

Objectifs pédagogiques

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

Description du cours

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.

Mots-clés

Debugger

Prérequis

Linux, C

Biographie de l’enseignant

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.