RTL-check 0.1.7 reviewDownload
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