ERESI old news
This page contains older feature announcements of the ERESI project.
- August 28 2008 - First communication on the Evarista static analyzer
- We will be presenting the Evarista static analyzer (entirely implemented in the ERESI domain-specific language) at the ekoparty conference, happening on October 2 in Buenos Aires, Argentina. Our talk will focus on program transformation and data-flow analysis, and more for those who offer us some beers :P
- July 23 2008 - Control flow graphs now available for MIPS architecture
- We have implemented call graphs and control flow graphs for the MIPS processors family. Improvements in libasm and libmjollnir now provide better binary program understanding on this architecture using the graph command.
- July 5 2008 - New page about now packaged libetrace
- The newborn ERESI library libetrace has appeared on the Wiki. Latest commits improved the usability of libetrace as a stand-alone library, clarifying the ERESI API for scriptable embedded tracing.
- June 27 2008 - Libasm is now complete on MIPS
- ERESI now features a complete libasm for the MIPS architecture (including support for disassembling all FPU instructions). The MIPS disassembler has been interfaced with the ERESI runtime system, allowing users to overload opcodes and operands handlers for static binary analysis on this new architecture directly in the ERESI language.
- June 11 2008 - ERESI SSTIC'08 article and presentation now available
- We have released a new article explaining the kernel-level features of the ERESI framework. The SSTIC conference happened last week in the University of Rennes, France. Paper is currently only available in french. See the article page !
- May 23 2008 - More ERESI HOWTOS
- We have finally started to link ERESI testsuite entries and examples on the HOWTO page. The list of implemented features has also been completed. Enforcing and publishing the testsuite is one more step towards a stable release.
- May 12 2008 - Anonymous reports has been disabled temporary
- Due to first spam anonymous ticket creation has been temporary disabled. In next few days we will try to add some anti-spam countermeasures to our trac installation.
- Mar 28 2008 - ERESI kernel tools : build process documentation page
-
Errors are reported about ERESI kernel tools compilation problems.
A quick Howto was provided to get the source compiled.
Do not hesitate to report, but give us the possibility
to investigate by providing the following details:
- Running operating system : uname -r
- Distribution/Release of your operating system.
- How was the kernel installed : from source, packaging system, ... - Feb 20 2008 - Welcome to the new ERESI trac-based website
- We are proud to present our new website based on the trac content manager. Trac groups into one place many very useful ERESI-WEB features, such as anonymous SVN checkout, online source browsing, wiki, bugtracking system, and project management facilities, all accessible throught the WWW. Enjoy !
- Feb 18 2008 - ERESI: a kernel-level binary analysis framework
- The ERESI team will be giving an invited conference at SSTIC'08 entitled: ERESI: a kernel-level binary analysis framework. SSTIC happens every year at ESAT, a military university concerned about information security. This edition will be next June 4, 5, 6 2008 in Rennes, France. Our last intervention at SSTIC in 2003 has led to the publication of many articles, features, and improvements in the ERESI code base. For the first time, we will present the kernel features of ERESI in a newly dedicated article featuring the kernel shell (kernsh) and the kernel embedded ERESI debugger (ke2dbg). Expect things to be evolving in the next months!
- Dec 10 2007 - ERESI CVS mailing list now open to the public
- You can now subscribe and consult the archives of the (new) ERESI CVS mailing list. This list is reflecting the changes on the CVS tree. The general public can now consult commit messages and be informed of the codebase evolution in real time.
- Nov 30 2007 - ERESI reaches version 0.8a23
-
We have been working hard to do new improvements and factoring in the codebase. We now have two new libraries in the tree:
- The ERESI standard library (libstderesi) is a collection of 100+ builtin commands shared between many ERESI components.
- The ERESI tracer library (libetrace) is a collection of generic routines to deal with program traces.
- Sept 18 2007 - The Kernel shell available on top of ERESI
- The very first version of kernsh-eresi - a version of the kernel shell entirely rewritten on top of the ERESI framework is now integrated in the CVS repository. It currently works only for Linux on the IA32 architecture. The web pages for the kernel shell and the kernel shell library has been added to the website
- July 31 2007 - Inside the Evarista static analyzer
-
We are working on the new Evarista project, a static analyzer (almost) entirely written in the ERESI domain specific language.
There is still no release of Evarista but we can already announce its features, mostly based on the domain specific commands of ERESI:
- Specification of program transformations for derivation of binary programs into higher-level intermediate forms.
- Light-weight & modular data-flow analysis for binary programs.
- Reflection of the analyzed program data structures directly in the ERESI meta-language.
- Entire independence of debug formats or other compile-time information.
