rtl check online with Winfy

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.

.