Editing Intermediate representation (section)

== Other ==
[[Static program analysis|Static analysis]] tools often use an intermediate representation. For instance, [[Radare2]] is a toolbox for binary files analysis and reverse-engineering. It uses the intermediate languages ESIL<ref name="ESIL">{{cite web | url=https://radare.gitbooks.io/radare2book/content/esil.html | title=ESIL | publisher=Radare2 Project | access-date=17 June 2015 | author=((Radare2 Contributors)) | archive-url=https://web.archive.org/web/20150818235122/http://radare.gitbooks.io/radare2book/content/esil.html | archive-date=18 August 2015 | url-status=dead }}</ref> and REIL<ref name="REIL">{{cite web | url=http://blog.zynamics.com/2010/03/07/the-reil-language-part-i/ | title=The REIL language – Part I | publisher=zynamics.com | date=7 March 2010 | access-date=17 June 2015 | author=Sebastian Porst}}</ref> to analyze binary files.