<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="IDA" rel="Chapter" href="IDA.html">
<link title="IDAGraph" rel="Chapter" href="IDAGraph.html">
<link title="IDAHotKey" rel="Chapter" href="IDAHotKey.html">
<link title="IDATopLoop" rel="Chapter" href="IDATopLoop.html">
<link title="IDATrace" rel="Chapter" href="IDATrace.html">
<link title="JITRegion" rel="Chapter" href="JITRegion.html">
<link title="Z3" rel="Chapter" href="Z3.html">
<link title="IR" rel="Chapter" href="IR.html">
<link title="IRLocalOpt" rel="Chapter" href="IRLocalOpt.html">
<link title="IRTypeCheck" rel="Chapter" href="IRTypeCheck.html">
<link title="PpIR" rel="Chapter" href="PpIR.html">
<link title="X86" rel="Chapter" href="X86.html">
<link title="X86CFG" rel="Chapter" href="X86CFG.html">
<link title="X86Constraints" rel="Chapter" href="X86Constraints.html">
<link title="X86Decode" rel="Chapter" href="X86Decode.html">
<link title="X86Disasm" rel="Chapter" href="X86Disasm.html">
<link title="X86Encode" rel="Chapter" href="X86Encode.html">
<link title="X86InternalOperand" rel="Chapter" href="X86InternalOperand.html">
<link title="X86TypeCheck" rel="Chapter" href="X86TypeCheck.html">
<link title="X86Util" rel="Chapter" href="X86Util.html">
<link title="X86Random" rel="Chapter" href="X86Random.html">
<link title="X86ToIR" rel="Chapter" href="X86ToIR.html">
<link title="Z3SymbolicExecute" rel="Chapter" href="Z3SymbolicExecute.html">
<link title="ASMUtil" rel="Chapter" href="ASMUtil.html">
<link title="LowLevel" rel="Chapter" href="LowLevel.html"><title>IDATrace</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;x86state&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;eax&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ecx&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;edx&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ebx&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;esp&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ebp&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;esi&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;edi&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;cs&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ds&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;es&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;fs&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;gs&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ss&nbsp;:&nbsp;int32;<br>
&nbsp;&nbsp;&nbsp;&nbsp;sf&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;cf&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pf&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;zf&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;af&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ofl&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;df&nbsp;:&nbsp;bool;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;tracer&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;obj&nbsp;:&nbsp;<span class="keywordsign">'</span>a;<br>
&nbsp;&nbsp;&nbsp;&nbsp;process&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int32&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool;<br>
&nbsp;&nbsp;&nbsp;&nbsp;initialize&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">IDATrace</span>.x86state&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;begin_trace&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">IDATrace</span>.tracer&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
<span class="keyword">end</span></code></body></html>