[eresi-dev] The very first ERESI 0.8 alpha version is in CVS

[Julien Vanegue]

Hello all,

The very first alpha version of the 0.8 serie, including the Evarista
static analyzer, is available in CVS.

This version is UNSTABLE, please consider using a stable
version for anything -not related to code analysis in the evarista
static analyzer-  . The latest version knowing to work for elfsh, e2dbg,
and etrace is : 0.78bX (replace X with your favourite beta version
of Eresi)

We switch to a new major release since those features are now
available or work in progress:

- Declaration of expressions (see testsuite/testscripts/declare.esh) in 
ERESI
(since version 0.79)

- WIP: Pattern matching of expressions. This is what is currently being
done in the Evarista static analyzer specific commands : rewrite, case,
default, reflect. Evolution of the implementation of those commands will
make the 0.8 alpha version to increase.

Note that theoretically, Alan Mycroft noted that our technique of pattern
matching in Eresi can be assimilated as "record subtyping"

The planing for 0.8 versions of Eresi is :

0.8b : Program transformation engine works and 0.7x features are restored
0.81 : Program transformation works intra-procedurally with dataflow 
analysis
0.82 : Structured control flow is implemented (PST / SESE tree)
0.83 : Conversion to SSI form is available

If you are interested in the internals of what is being implemented, 
consider
asking me my unreleased article (15 pages) :

            Program analysis in ERESI part 1  (architecture-level analysis)

The ERESI team recruits ! We need people to maintain those part of the 
project:

* The network extension (--enable-network currently disabled in the 
configure)

* Additionnal architectures support for ELFsh, Etrace and E2dbg.
   (MIPS, AMD64, ARM being the most important)

If you know anyone interested in that, please spread the word that our 
team needs
more active coders to develop very relevant projects in the topic of program
analysis, debugging, tracing, and auditing of binary-level software.

Cheers

Julien Vanegue