RTL-checkは安全性とセキュリティの観点でプログラムを静的解析するためのフレームワークです。GCCによって生成される低レベルの中間表現であるRTLの分析を行います。このフレームワークはCやC++のような安全でない言語で開発されたプログラムの静的解析とメモリの安全性を扱う研究プロジェクトのために作成されました。特に、静的にバッファオーバーフローを検出し、それらがないことを証明するのが目標です。しかし、このフレームワークは静的解析を扱う他のプロジェクトのため便利になるべきです。
