<tutorial>
	<name>Using REIL</name>
	<description>One of the most important features for writing analysis scripts and plugins is REIL. REIL is a platform-independent Reverse Engineering Intermediate Language which you can use to write platform-independent analysis algorithms. This tutorial shows you how to use REIL.
</description>
	<steps>
		<step>
			<action>-7167187997929184030</action>
			<action>-5295816457628962096</action>
			<allowed>-2369159756337681560</allowed>
			<allowed>-9044865055464757942</allowed>
			<allowed>8784926684855833953</allowed>
			<allowed>-7789885643476931774</allowed>
			<allowed>-8750454886776173497</allowed>
			<allowed>-5178343179269965998</allowed>
			<allowed>2804136480786366059</allowed>
			<description>Since REIL is primarily used from plugins and scripts, there are only two ways to access REIL from the GUI. Both of these options require an open flowgraph. Please open an arbitrary function now.
</description>
		</step>
		<step>
			<action>3403011209340957215</action>
			<description>One way to access REIL is from the scripting dialog. Please open the scripting dialog of your flowgraph.
</description>
		</step>
		<step>
			<action>0</action>
			<description>In console mode you can simply enter commands like&lt;br/&gt;
&lt;br/&gt;
print cg.view.reilCode&lt;br/&gt;
print cg.view.reilCode.graph&lt;br/&gt;
print cg.view.reilCode.graph.nodes&lt;br/&gt;
print cg.view.reilCode.graph.nodes[0]&lt;br/&gt;
&lt;br/&gt;
to access the REIL code of your flowgraph.&lt;br/&gt;
&lt;br/&gt;
When you are done playing around with REIL scripting please close the scripting dialog again and click the Next button to continue.</description>
		</step>
		<step>
			<action>2478803857892102988</action>
			<description>Just using the scripting dialog to access REIL code is a bit unwieldly. BinNavi is a graph visualization tool after all, so it should be possible to show the generated REIL code of a view as a graph. This is indeed possible through the Graph / Transform / Show REIL Code menu of the graph window.&lt;br/&gt;
&lt;br/&gt;
Please use this menu now to show the REIL code of your flowgraph.</description>
		</step>
		<step>
			<action>0</action>
			<description>This is the end of this tutorial already. You are now aware of all the ways to access REIL from the GUI. If you want to use REIL to write your own static analysis algorithms please see the BinNavi manual for detailed information and example algorithms.&lt;br/&gt;
&lt;br/&gt;
Please click the Next button to finish this tutorial. Afterwards you can play around with the REIL graph.</description>
		</step>
	</steps>
</tutorial>
