Hi,

A new version (0.8.3.6) of Indus containing bug fixes (thanks to various reporters) and some optimizations is now available for download.

The major change in this release is that Indus core libraries have been finally open sourced. After some delay, this decision was taken after various requests and increased interest in using, extending, and possibly learning from Indus. The sources a...

Hi,

I am happy to announce a subtle and crucial bugfix release of staticanalyses module. The fix has been propagated to Indus eclipse plugin as well. Also, the groovy scripts have been updated. All of these are available as version 0.8.3.4.

Also, recently John Hatcliff gave an keynote talk about Indus at SCAM06. The slides from this talk is available at http://projects.cis.ksu.edu/docman...

I am happy to announce the first batch of GroovyMonkey based scripts that access, process, and display information from Indus within Eclipse.

With the new support, the user can exercise the logic in Kaveri plugin to execute the Indus program analyses by merely clicking buttons and then write lightweight scripts to access analysis data via well defined interfaces. This allows new users and ed...