RTL-check 0.1.7

Date Added: May 04, 2010 | Visits: 1.155

Report Broken Link
Printer Friendly Version

Product Homepage
Download (97 downloads)

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. Whats New in This Release: - The performance of the analysis was improved, and a minor bug was fixed..

Requirements: No special requirements

Platforms: Linux

Keyword: Analysis, Framework, Programming, Programs, Quality Assurance And Testing, Rtl, Rtlcheck, Safety, Safety And Security, Security, Static, Static Analysis

Users rating: 0/10

License: Freeware

Size: 337.92 KB

USER REVIEWS

More Reviews or Write Review

RTL-CHECK RELATED

Networking Tools - Basic Analysis and Security Engine 1.2 BASE is the Basic Analysis and Security Engine. It is based on the code from the Analysis Console for Intrusion Databases (ACID) project. This application provides a web front-end to query and analyze the alerts coming from a SNORT IDS system....	337.92 KB
Scientific and Engineering - Quality Assurance & Control system 2.1 Quality Assurance & Control system software provides you a Quality Assurance & Control database client server system. Postgresql server, delphi clients, web php, www-sql interface. It could be used for cable factory, solve all traceability needs,...
Network & Internet - Quality Assurance Agent 0.1 QAA is a XUL Mozilla Firefox extension that performs a user supplied test list on a Web application. Test sessions can be defined by example. A report is generated when sessions are replayed. Whats New in This Release: - This release can...	30.72 KB
Programming - Generic Protocol Framework 1.0 RC1 Generic Protocol Framework aims to allow users to rapidly prototype different emerging communications protocols. Implementations can be easily "dropped in" and tested independant of a finished product. Testing on both the end product, and the...	9.22 KB
Programming - HOL 4 HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism...	4.9 MB
Programming - pTest 1.0 Beta pTest framework is an Object Oriented PHP 5 testing framework. The project differs from other testing frameworks in that it doesnt suffer from a dogmatic following of JUnit. A good feature of this framework is that it can be as easily used from...	43.01 KB
Programming - Objectrefenceanalyser 1.01 Objectrefenceanalyser (ora) helps developers find bugs or design errors by showing Java object references in an easy way. It can be plugged into other programs for taking and saving "snapshots" of the object model at runtime for analysis.. Get...	348.16 KB
Programming - TAHI Test Suite 1.4.8 (Self-Test TestSuite) TAHI Test Suite provides a mechanism for validating an IPv6 implementation against a standardized test for conformance to the IPv6 specification, extensions and directly related protocols. TAHI Project is the joint effort formed with the...	645.12 KB
Programming - Acovea 1.0.1 Acovea implements a genetic algorithm for finding the "best" options for compiling programs with the GCC C and C++ compilers. ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best"...	399.36 KB
Programming - Jameleon 3.3-M4 Jameleon project is an automated testing framework that can be used by technical and non-technical users alike. One of the main concepts behind it is to create a group of keywords or tags that represent different screens of an application. All...	3.8 MB

NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Programming - Cedalion for Linux 0.2.6 Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.	471.04 KB
Programming - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts