[转载]RTL-check

信息来源：邪恶八进制信息安全团队（www.eviloctal.com）

RTL-check is a 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. This framework was created for a research project that deals with static analysis and memory safety of programs developed in unsafe languages such as C or C++.

http://rtlcheck.sourceforge.net/