RTL-check is an extensible and powerful abstract interpretation framework for static analysis of programs from a safety and security perspective. It performs analysis on RTL, which is the low-level intermediate representation generated by GCC. See the documentation section for more information.


Useful links


About the authors

The main author of RTL-Check is Patrice Lacroix. RTL-Check was started as a part of his master's program in computer science at Université Laval under the direction of Jules Desharnais. He was supported by a Postgraduate Scholarship from NSERC.

Moritz Muehlenhoff from University of Bremen also contributed to this project.

RTL-Check is hosted by: