Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.387.451 Times

RTL-check 0.1.7

  Date Added: May 04, 2010  |  Visits: 904

RTL-check

Report Broken Link
Printer Friendly Version


Product Homepage
Download (80 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
Web Browsers  -  WebReplay 2.7
WebReplay, a plug-in for Microsoft® Windows Internet Explorer®, designed for web professionals and quality assurance engineers allowing for advanced web automation and testing. With WebReplay you can fill web forms, automate web applications...
2.86 MB  
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 beused for cable factory, solve all traceability needs,...
 
Finance  -  SpiraTest 3.1.0.0
SpiraTest provides a complete quality assurance solution that manages requirements, issues, tests and bugs in one environment, with complete traceability from the begining to the end. Robust features and an easy to use interface that is fully...
 
Programming  -  Open Source Requirements Management Tool 1.5
Open Source Requirements Management Tool is designed to achieve full SDLC traceability for features, requirements, design, implementation, and testing. Open Source Requirements Management Tool has a UI for requirements derivation, version...
145 MB  
Programming  -  Sahi 2007-06-22
Sahi is an automation and testing tool for web applications, with the facility to record and playback scripts. Developed in java and javascript, this tool uses simple javascript to execute events on the browser. Sahis features include,...
1.5 MB  
Programming  -  JSCPP 1.10
JSCPP is an ANSI C preprocessor and language parser that can analyze and instrument C code. Currently, its most prominent application is to add tracing to existing C programs simply by recompiling and linking it with the "jscc" compiler...
307.2 KB  
Business  -  Quality Assurance Magazine 1.0
QA Magazine, a bi-monthly publication from GIE Media, is written for managers and professionals in the food and beverage processing industry with a specific focus on food safety, quality, and defense. Filled with practical insights and analysis of...
4.8 MB  
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  
Development Tools  -  RTH - Requirements and Testing Hub 1.7.2
One of the features of RTH - Requirements and Testing Hub:To implement bug fixsAnd the current status and Demo (Live) system is only for testing of RTH.
5.36 MB  
Programming  -  PSF 1.0
PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
4.61 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
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  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 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