![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjPzUA3fAaQGmrP6YpJW3AvNenPd-Kt_QEzeLldFc8pkWc1uYec9wwrtVc6Z3lQqdc8wYuBkmFqLk761BjGlII-hIQgZsN_Xr160Mz1R_ct7Z6GMElcXHEyXA3rhGVXBUuTWyZU/s320/reil.png)
Some small eye candy: The screenshot shows BinNavi with our intermediate representation (REIL) made visible. While REIL is still very beta-ish, it should be a standard (and accessible) part of BinNavi at some point later this year.
Having a good IR which properly models side effects is a really useful thing to have: The guys over at the BitBlazer project in Berkeley have shown some really useful things that can be done using a good IR and a good constraint solver :-). I am positively impressed by several papers they have put out.
I also can't wait to have more of this sort of stuff in BinNavi :-).
No comments:
Post a Comment