Be the first to post a text review of RTL-Check. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Rtl-Check 0.1.7

  A new version is released with minor improvement: a bug has been fixed and performance is improved. The bigest changed is that what was called an abstract value is now an abstract variable. This should make it easier to understand.

  posted by tootix 1211 days ago

• File released: /rtlcheck/0.1.7/rtlcheck-0.1.7.tar.gz

  posted 1211 days ago

• rtlcheck 0.1.7 file released: rtlcheck-0.1.7.tar.gz

  Minor bugs were fixed, performance was improved and what was previously known as abstract values is now called abstract variables.

  posted 1211 days ago

• Integer overflow analysis

  The latest version of RTL-Check features a new experimental analysis to detect integer overflows. It also includes a new analysis to automatically detect the size of local variables. A preview release of RDB, a shell to run and debug analysis is also available as a patch.

  posted by tootix 1374 days ago

• File released: /rtlcheck/0.1.6/rtlcheck-0.1.6.tar.gz

  posted 1374 days ago

• rtlcheck 0.1.6 file released: rtlcheck-0.1.6.tar.gz

  The precision of ModuloSolver has been improved and experimental analyses for checking the size of local variables and integer overflows were added. A preview release of a shell to run and debug analysis is also available as a patch (RDB).

  posted 1374 days ago

• New version of RTL-Check

  This version adds a new base class for flow insensitive analyses, it implements an analysis to find automatically the size of call parameters, it adds documentation and it fixes a few bugs.

  posted by tootix 1476 days ago

• File released: /rtlcheck/0.1.5/rtlcheck-0.1.5.tar.gz

  posted 1476 days ago

• rtlcheck 0.1.5 file released: rtlcheck-0.1.5.tar.gz

  - Added doc about binary rtl representation by Moritz Muehlenhoff - Added some inline docs comments by Moritz Muehlenhoff - Fixed a bug in livenesssolver - Added FlowInsensitiveAnalysis to be used as base class for flow insensitive analyses. It is only preliminary and the interface could change - Added an analysis to automatically compute the size required for calls from the RTL representation (by Moritz Muehlenhoff and me) It is not yet integratated with the main analysis - Fixed the definition of RtxCompare and added support for LSHIFTRT (thanks Moritz)

  posted 1476 days ago

• Cleaned up RTL-Check 0.1.4

  This version is mostly a bug fix release. Many important bugs that affected the correctness of the analysis were fixed. The analysis as a whole is now cleaner and easier to understand. Integer overflows aside, this version of the analysis is believed to be safe. (The last few versions were definitely not.)

  posted by tootix 1612 days ago