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

RTL-check Ranking & Summary

RTL-check Tags

software static program static analysis software static analysis security perspective framework RTL-check

RTL-check Description

RTL-check is a framework for static analysis of programs from a safety and security perspective. 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 Related Software