rtl check

We have hosted the application rtl check in order to run this application in our online workstations with Wine or directly.

Quick description about rtl check:

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.

Audience: Developers, Science/Research.

Programming Language: Python.

.