RTL-check 0.1.7



Developer:   Patrice Lacroix
      more software by author →
Price:  0.00
License:   GPL (GNU General Public License)
File size:   0K
Language:   
OS:   
Rating:   0 /5 (0 votes)
Your vote:  
enlarge screenshot


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.

What's New in This Release:
  • The performance of the analysis was improved, and a minor bug was fixed.
    tags check  

    Download RTL-check 0.1.7


     http://prdownloads.sourceforge.net/rtlcheck/rtlcheck-0.1.7.tar.gz?use_mirror=ufpr
     http://prdownloads.sourceforge.net/rtlcheck/rtlcheck-0.1.7.tar.gz?use_mirror=switch
     http://prdownloads.sourceforge.net/rtlcheck/rtlcheck-0.1.7.tar.gz?use_mirror=ovh


    Authors software

    RTL-check 0.1.7 (by Patrice Lacroix)


    Similar software

    RTL-check 0.1.7 (by Patrice Lacroix)

    Network Security Analysis Tool 1.5 (by mixter)
    Network Security Analysis Tool is a fast, stable bulk security scanner designed to audit remote network services and check for versio

    Spike PHP Security Audit Tool 0.23 (by SpikeSource, Inc.)
    Spike PHP Security Audit Tool project is a tool that performs a static analysis of PHP code for security exploits.

    Usage:

    To in

    TAU 2.15.5 (by The Advanced Computing Laboratory)

    Basic Analysis and Security Engine 1.2 (by Kevin Johnson)
    BASE is the Basic Analysis and Security Engine

    FFTExplorer 1.16 (by Paul Lutus)
    FFTExplorer project is a graphic spectrum analysis program.

    FFTExplorer is a GUI that performs spectral analysis on real-time data

    TINA KNOPPIX Live CD 2.0.0 (by Paul Bromiley)
    TINA is an open source environment developed to accelerate the process of image analysis research.

    TINA provides functionality to

    KOJAK 2.2b2 (by KOJAK Development Team)
    KOJAK (Kit for Objective Judgement and Knowledge-based Detection of Performance Bottlenecks) is a set of generic and interoperable to

    phpOpenTracker 1.5.1 (by Sebastian Bergmann)
    phpOpenTracker is a framework solution for the analysis of website traffic and visitor analysis.

    It features a logging engine that

    TA-Lib : Technical Analysis Library 0.2.0 (by Mario Fortier)
    TA-Lib provides common functions for the technical analysis of stock/future/commodity market data.

    TA-Lib can be reused by trading


    Other software in this category

    Track + Task Tracker 3.0.0 (by Joerg Friedrich)
    Online project management and issue tracking with team collaboration, user management, multiple access levels, tasks, projects, time

    CppUnit - C++ port of JUnit 1.12.0 (by Baptiste Lepilleur)
    CppUnit is a C++ unit testing framework

    MemCheck Deluxe 1.2.2 (by Dakoda)
    MemCheckDeluxe is an enhanced leak finder/memory profiler

    Network Traffic Generator 0.1.3 (by Robert Sandilands)
    This is a traffic generator

    Testitool 1.0 beta 6 (by Byrne Reese)
    Testitool is an application written in PHP that allows it's users to compose and manage QA test plans.

    Here are some key features

  •     search


    Featured Software

    jEdit 4.3 pre8
    jEdit is an Open Source text editor written in Java

    Opera 9.02
    Surf the Internet in a safer, faster, and easier way with Opera browser

    GNU Aspell 0.60.4
    GNU Aspell is a Free and Open Source spell checker designed to eventually replace Ispell


    Subscribe in Rojo
    Google Reader
    Add to My Yahoo!

    Add to My AOL
    Subscribe with Bloglines
    Subscribe in NewsGator Online
    Add 'nixbit linux software' to Newsburst from CNET News.com
    del.icio.us nixbit linux software


    Top tags