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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow RTL-Check

RTL-Check Web Site

Other Useful Business Software

Retool your internal operations

Generate secure, production-grade apps that connect to your business data. Not just prototypes, but tools your team can actually deploy.

Build internal software that meets enterprise security standards without waiting on engineering resources. Retool connects to your databases, APIs, and data sources while maintaining the permissions and controls you need. Create custom dashboards, admin tools, and workflows from natural language prompts—all deployed in your cloud with security baked in. Stop duct-taping operations together, start building in Retool.

Build an app in Retool

Rate This Project

User Reviews

Be the first to post a review of RTL-Check!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

Python

Related Categories

Python Software Development Software

Registered

2004-05-06

Similar Business Software

Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
TeamDesk

TeamDesk is the leading AI-enhanced Low-Code database platform for creating powerful and flexible web-based databases with AI assisted development and AI-enhanced data analysis. AI-Assisted Development streamlines database design, no coding, no technical skills required. AI-enhanced Data...

See Software
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
ZeroPath

ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix...

See Software
Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software