[eresi-dev] Upcoming developments in ERESI

[Julien Franck Vanegue]

Hi everyone,

As you may have noticed today, there have been some reorganization
in the priorities of certain tasks in ERESI. Here is a sum-up of it:

- 0.81 is our current version and is feature-frozen. Its just a matter
of cleaning it to be able to release it.

- 0.82 focuses on data-flow analysis based. Our data-flow analysis
should be done based on our annotation systems and fixed-point
computations of function types. Such function types are going
from the set of annotations to the set of annotations.

- 0.83 focuses on translation to SSA/SSI form within ERESI.

- 0.84 focuses on source-level debugging. Now that we have
a working BIOS debugger based on kedbg-eresi and vmware,
being able to debug at the source level would make the 
transition to linux-kernel debugging smoother.

- 0.85 focuses on static analysis of MIPS binary code. This
facet of ERESI will be enhanced by Adam Zabrosky (author
of libasm-mips) who is starting a new Master-level university
project based on ERESI, and targeting static analysis of
MIPS binary code.

Also, I would like to remind you that the ETRACE project
in ERESI has no developer/maintainer for more than a
year now. This project has become  very low priority
for this reason. If you are interested in working with us
and taking it over, let us know ! There are very interesting
extensions for it, including interfacing it with our debuggers,
including the kernel debugger. We welcome beginners as
long as they are motivated and have a good bunch of free
time.
Enjoy !

Julien Vanegue and the ERESI team

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.einherjar.de/pipermail/eresi-dev/attachments/20081122/a711c663/attachment.html