RTL-check 0.1.7

RTL-check is a framework for static analysis of programs from a safety and security perspective.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Patrice Lacroix
HOMEPAGE:
rtlcheck.sourceforge.net
CATEGORY:
ROOT \ Programming \ Quality Assurance and Testing
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.

Last updated on September 13th, 2006

#program static analysis #software static analysis #security perspective framework #RTL-check #software #static #analysis

Add your review!

SUBMIT