Using REIL for static code analysis
Specification of the REIL language
This section contains a complete definition of the REIL language. The instructions of the REIL language and the structure of their operands are explained and it is shown how to use REIL from BinNavi scripts and plugins.
Using MonoREIL
This section describes the code analysis framework MonoREIL and how to use it to implement static code analysis algorithms.