A framework for static analysis of RTL: RTL-Check

[Patrice Lacroix]

Hello!

This message is to announce RTL-Check, a framework for static analysis
of RTL from a safety and security perspective. We created this framework
for a research project that deals with static analysis and memory safety
of programs developed in unsafe languages such as C or C++. In
particular, we want to detect buffer overflows staticaly and prove their
absence.  However, we believe this framework will be useful for other
projects dealing with static analysis. You can find de sourceforge
project page of RTL-Check at http://sourceforge.net/projects/rtlcheck/

Currently, we have a patch to gcc that dumps RTL in a binary file and a
prototype of the framework written in Python that loads RTL and performs
some analysis on it. For now, it only checks whether there are memory
accesses, but I will work on it a lot in the next few months to improve
it.

Any feedback about this project will be greatly appreciated!

Patrice