RTL-check 0.1.7 review

by rbytes.net on

License: GPL (GNU General Public License)
File size: 0K
Developer: Patrice Lacroix
0 stars award from rbytes.net

RTL-check is a framework for static analysis of programs from a safety and security perspective.

RTL-check project performs analysis on RTL, which is the low-level intermediate representation generated by GCC.

What's New in This Release:
The performance of the analysis was improved, and a minor bug was fixed.

RTL-check 0.1.7 keywords