Otázka:
Implementace a přijetí REIL?
QAZ
2013-03-29 00:05:30 UTC
view on stackexchange narkive permalink

Kromě BinNavi (komerční produkt od tvůrců REIL) znám pouze jeden projekt využívající REIL, který implementuje malou hrstku (mov / add / sub / inc / jmp) překladatelů pro převod x86 na REIL.

Jaké další implementace REIL třetích stran jsou aktuálně veřejné?

Další informace, existují nějaké veřejné práce využívající REIL pro statickou analýzu? (Buď vyžaduje BinNavi nebo jiný produkt, který produkuje výstup REIL).

Dva odpovědi:
Rolf Rolles
2013-03-29 07:13:54 UTC
view on stackexchange narkive permalink

Nejsem si jistý podporou veřejných nástrojů, ale výzkumná skupina Axela Simona vydala nějakou práci popisující, jak rozšířili REIL: http://www2.in.tum.de/bib/files/sepp11precise. pdf

wishi
2013-04-03 02:18:21 UTC
view on stackexchange narkive permalink

REIL je implementován pomocí ANTLR (pokud vím). Nikdy jsem však neviděl vydání OpenSource Lexer / Parser.



ⓘ
Tyto otázky a odpovědi byly automaticky přeloženy z anglického jazyka.Původní obsah je k dispozici na webu stackexchange, za který děkujeme za licenci cc by-sa 3.0, pod kterou je distribuován.
Loading...