## 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.