[eresi-dev] ERESI 0.81 is available with new features

[jv at ens dot fr]

Hello everyone,

We now have 0.81a3 in CVS! This version is capable of
transforming sparc instructions into a higher level
language defined by the user. Evarista contains such
example of LIR (see evarista source code, its easy to
read since all is written in our scripting language).

Tomorrow will happen a small gathering of the ERESI
team in Paris. Our focus will be on coding, among others,
we will adapt the control flow analysis features of libmjollnir
for being used in kernsh.

Our approach is modular since its based on the "graph"
command of ERESI, which draw a control flow graph if
given an entry point. Call that "on demand control flow
analysis" if you wish. Such demand-driven analysis is
especially relevant when dealing with large codes such
as the kernel.

Thanks to this feature, we will be able to make evarista
working on kernel code in the very near future. In other
words, we will open the door to lightweight whole-system
static analysis using ERESI.

Enjoy!

Julien Vanegue for the ERESI team