1201 lines
224 KiB
HTML
1201 lines
224 KiB
HTML
|
|
|
|
<!DOCTYPE html>
|
|
<!--[if IE 8]><html class="no-js lt-ie9" lang="en" > <![endif]-->
|
|
<!--[if gt IE 8]><!--> <html class="no-js" lang="en" > <!--<![endif]-->
|
|
<head>
|
|
<meta charset="utf-8">
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
|
|
<title>binaryninja.mediumlevelil — Binary Ninja API 1.1.0 documentation</title>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="../../_static/css/other.css" type="text/css" />
|
|
|
|
|
|
|
|
<link rel="top" title="Binary Ninja API 1.1.0 documentation" href="../../index.html"/>
|
|
<link rel="up" title="binaryninja" href="../binaryninja.html"/>
|
|
|
|
|
|
<script src="../../_static/js/modernizr.min.js"></script>
|
|
|
|
</head>
|
|
|
|
<body class="wy-body-for-nav" role="document">
|
|
|
|
|
|
<div class="wy-grid-for-nav">
|
|
|
|
|
|
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
<div class="wy-side-scroll">
|
|
<div class="wy-side-nav-search">
|
|
|
|
|
|
|
|
<a href="../../index.html" class="icon icon-home"> Binary Ninja API
|
|
|
|
|
|
|
|
</a>
|
|
|
|
|
|
|
|
|
|
<div class="version">
|
|
1.1
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div role="search">
|
|
<form id="rtd-search-form" class="wy-form" action="../../search.html" method="get">
|
|
<input type="text" name="q" placeholder="Search docs" />
|
|
<input type="hidden" name="check_keywords" value="yes" />
|
|
<input type="hidden" name="area" value="default" />
|
|
</form>
|
|
</div>
|
|
|
|
|
|
</div>
|
|
|
|
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
|
|
|
|
|
|
|
|
<ul>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.architecture-module.html">architecture</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.atexit-module.html">atexit</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.basicblock-module.html">basicblock</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.binaryninja-module.html">binaryninja</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.binaryview-module.html">binaryview</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.builtins-module.html">builtins</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.callingconvention-module.html">callingconvention</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.databuffer-module.html">databuffer</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.demangle-module.html">demangle</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.downloadprovider-module.html">downloadprovider</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.enums-module.html">enums</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.fileaccessor-module.html">fileaccessor</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.filemetadata-module.html">filemetadata</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.function-module.html">function</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.functionrecognizer-module.html">functionrecognizer</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.highlight-module.html">highlight</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.interaction-module.html">interaction</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.lineardisassembly-module.html">lineardisassembly</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.log-module.html">log</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.lowlevelil-module.html">lowlevelil</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.mainthread-module.html">mainthread</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.mediumlevelil-module.html">mediumlevelil</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.metadata-module.html">metadata</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.platform-module.html">platform</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.plugin-module.html">plugin</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.pluginmanager-module.html">pluginmanager</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.pyopenssl-module.html">pyopenssl</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.requests-module.html">requests</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.scriptingprovider-module.html">scriptingprovider</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.setting-module.html">setting</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.transform-module.html">transform</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.types-module.html">types</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.undoaction-module.html">undoaction</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="../../binaryninja.update-module.html">update</a></li>
|
|
</ul>
|
|
|
|
|
|
|
|
</div>
|
|
</div>
|
|
</nav>
|
|
|
|
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
|
|
|
|
|
|
<nav class="wy-nav-top" role="navigation" aria-label="top navigation">
|
|
|
|
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
<a href="../../index.html">Binary Ninja API</a>
|
|
|
|
</nav>
|
|
|
|
|
|
|
|
<div class="wy-nav-content">
|
|
<div class="rst-content">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<div role="navigation" aria-label="breadcrumbs navigation">
|
|
<ul class="wy-breadcrumbs">
|
|
|
|
<li><a href="../../index.html">Docs</a> »</li>
|
|
|
|
<li><a href="../index.html">Module code</a> »</li>
|
|
|
|
<li><a href="../binaryninja.html">binaryninja</a> »</li>
|
|
|
|
<li>binaryninja.mediumlevelil</li>
|
|
|
|
|
|
<li class="wy-breadcrumbs-aside">
|
|
|
|
|
|
|
|
</li>
|
|
|
|
</ul>
|
|
<hr/>
|
|
</div>
|
|
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
<div itemprop="articleBody">
|
|
|
|
<h1>Source code for binaryninja.mediumlevelil</h1><div class="highlight"><pre>
|
|
<span></span><span class="c1"># Copyright (c) 2017 Vector 35 LLC</span>
|
|
<span class="c1">#</span>
|
|
<span class="c1"># Permission is hereby granted, free of charge, to any person obtaining a copy</span>
|
|
<span class="c1"># of this software and associated documentation files (the "Software"), to</span>
|
|
<span class="c1"># deal in the Software without restriction, including without limitation the</span>
|
|
<span class="c1"># rights to use, copy, modify, merge, publish, distribute, sublicense, and/or</span>
|
|
<span class="c1"># sell copies of the Software, and to permit persons to whom the Software is</span>
|
|
<span class="c1"># furnished to do so, subject to the following conditions:</span>
|
|
<span class="c1">#</span>
|
|
<span class="c1"># The above copyright notice and this permission notice shall be included in</span>
|
|
<span class="c1"># all copies or substantial portions of the Software.</span>
|
|
<span class="c1">#</span>
|
|
<span class="c1"># THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR</span>
|
|
<span class="c1"># IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,</span>
|
|
<span class="c1"># FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE</span>
|
|
<span class="c1"># AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER</span>
|
|
<span class="c1"># LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING</span>
|
|
<span class="c1"># FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS</span>
|
|
<span class="c1"># IN THE SOFTWARE.</span>
|
|
|
|
<span class="kn">import</span> <span class="nn">ctypes</span>
|
|
<span class="kn">import</span> <span class="nn">struct</span>
|
|
|
|
<span class="c1"># Binary Ninja components</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="n">_binaryninjacore</span> <span class="k">as</span> <span class="n">core</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja.enums</span> <span class="k">import</span> <span class="n">MediumLevelILOperation</span><span class="p">,</span> <span class="n">InstructionTextTokenType</span><span class="p">,</span> <span class="n">ILBranchDependence</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="n">basicblock</span> <span class="c1">#required for MediumLevelILBasicBlock argument</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="n">function</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="n">types</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="n">lowlevelil</span>
|
|
|
|
<span class="c1"># 2-3 compatibility</span>
|
|
<span class="kn">from</span> <span class="nn">binaryninja</span> <span class="k">import</span> <span class="nb">range</span>
|
|
|
|
|
|
<div class="viewcode-block" id="SSAVariable"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.SSAVariable.html#binaryninja.mediumlevelil.SSAVariable">[docs]</a><span class="k">class</span> <span class="nc">SSAVariable</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<div class="viewcode-block" id="SSAVariable.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.SSAVariable.html#binaryninja.mediumlevelil.SSAVariable.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">var</span><span class="p">,</span> <span class="n">version</span><span class="p">):</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">var</span> <span class="o">=</span> <span class="n">var</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">version</span> <span class="o">=</span> <span class="n">version</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__repr__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="s2">"<ssa </span><span class="si">%s</span><span class="s2"> version </span><span class="si">%d</span><span class="s2">>"</span> <span class="o">%</span> <span class="p">(</span><span class="nb">repr</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">var</span><span class="p">),</span> <span class="bp">self</span><span class="o">.</span><span class="n">version</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__eq__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">other</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="p">(</span>
|
|
<span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">var</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">version</span><span class="p">)</span> <span class="o">==</span>
|
|
<span class="p">(</span><span class="n">other</span><span class="o">.</span><span class="n">var</span><span class="p">,</span> <span class="n">other</span><span class="o">.</span><span class="n">version</span><span class="p">)</span>
|
|
<span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__hash__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="nb">hash</span><span class="p">((</span><span class="bp">self</span><span class="o">.</span><span class="n">var</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">version</span><span class="p">))</span></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILLabel"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILLabel.html#binaryninja.mediumlevelil.MediumLevelILLabel">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILLabel</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<div class="viewcode-block" id="MediumLevelILLabel.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILLabel.html#binaryninja.mediumlevelil.MediumLevelILLabel.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">handle</span> <span class="o">=</span> <span class="kc">None</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="n">handle</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">handle</span> <span class="o">=</span> <span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILLabel</span> <span class="o">*</span> <span class="mi">1</span><span class="p">)()</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILInitLabel</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">handle</span> <span class="o">=</span> <span class="n">handle</span></div></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILOperationAndSize"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILOperationAndSize.html#binaryninja.mediumlevelil.MediumLevelILOperationAndSize">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILOperationAndSize</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<div class="viewcode-block" id="MediumLevelILOperationAndSize.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILOperationAndSize.html#binaryninja.mediumlevelil.MediumLevelILOperationAndSize.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">operation</span><span class="p">,</span> <span class="n">size</span><span class="p">):</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="o">=</span> <span class="n">operation</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">size</span> <span class="o">=</span> <span class="n">size</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__repr__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">size</span> <span class="o">==</span> <span class="mi">0</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="s2">"<</span><span class="si">%s</span><span class="s2">>"</span> <span class="o">%</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span><span class="o">.</span><span class="n">name</span>
|
|
<span class="k">return</span> <span class="s2">"<</span><span class="si">%s</span><span class="s2"> </span><span class="si">%d</span><span class="s2">>"</span> <span class="o">%</span> <span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">operation</span><span class="o">.</span><span class="n">name</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">size</span><span class="p">)</span></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILInstruction.html#binaryninja.mediumlevelil.MediumLevelILInstruction">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILInstruction</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``class MediumLevelILInstruction`` Medium Level Intermediate Language Instructions are infinite length tree-based</span>
|
|
<span class="sd"> instructions. Tree-based instructions use infix notation with the left hand operand being the destination operand.</span>
|
|
<span class="sd"> Infix notation is thus more natural to read than other notations (e.g. x86 ``mov eax, 0`` vs. MLIL ``eax = 0``).</span>
|
|
<span class="sd"> """</span>
|
|
|
|
<span class="n">ILOperations</span> <span class="o">=</span> <span class="p">{</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_NOP</span><span class="p">:</span> <span class="p">[],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"high"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"low"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LOAD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LOAD_STRUCT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_STORE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_STORE_STRUCT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_SPLIT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"high"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"low"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ADDRESS_OF</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ADDRESS_OF_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CONST</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"constant"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CONST_PTR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"constant"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FLOAT_CONST</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"constant"</span><span class="p">,</span> <span class="s2">"float"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_IMPORT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"constant"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ADD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ADC</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"carry"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SUB</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SBB</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"carry"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_AND</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_OR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_XOR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LSL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LSR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ASR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ROL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_RLC</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"carry"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ROR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_RRC</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"carry"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MUL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MULU_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MULS_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_DIVU</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_DIVU_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_DIVS</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_DIVS_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MODU</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MODU_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MODS</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MODS_DP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_NEG</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_NOT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SX</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ZX</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LOW_PART</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_JUMP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_JUMP_TO</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"targets"</span><span class="p">,</span> <span class="s2">"int_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_PARAM</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_RET</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_NORET</span><span class="p">:</span> <span class="p">[],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_IF</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"condition"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"true"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"false"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_GOTO</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_E</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_NE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_SLT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_ULT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_SLE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_ULE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_SGE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_UGE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_SGT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CMP_UGT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TEST_BIT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_BOOL_TO_INT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ADD_OVERFLOW</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_BP</span><span class="p">:</span> <span class="p">[],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TRAP</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"vector"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_INTRINSIC</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"var_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"intrinsic"</span><span class="p">,</span> <span class="s2">"intrinsic"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_INTRINSIC_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"var_ssa_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"intrinsic"</span><span class="p">,</span> <span class="s2">"intrinsic"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FREE_VAR_SLOT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FREE_VAR_SLOT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"prev"</span><span class="p">,</span> <span class="s2">"var_ssa_dest_and_src"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_UNDEF</span><span class="p">:</span> <span class="p">[],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_UNIMPL</span><span class="p">:</span> <span class="p">[],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_UNIMPL_MEM</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FADD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FSUB</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FMUL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FDIV</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FSQRT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FNEG</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FABS</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FLOAT_TO_INT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_INT_TO_FLOAT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FLOAT_CONV</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_ROUND_TO_INT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FLOOR</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CEIL</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FTRUNC</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_E</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_NE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_LT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_LE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_GE</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_GT</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_O</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_FCMP_UO</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"left"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"right"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"prev"</span><span class="p">,</span> <span class="s2">"var_ssa_dest_and_src"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"high"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"low"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"prev"</span><span class="p">,</span> <span class="s2">"var_ssa_dest_and_src"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"prev"</span><span class="p">,</span> <span class="s2">"var_ssa_dest_and_src"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_SSA_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_ALIASED</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_ALIASED_FIELD</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_SPLIT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"high"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"low"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr_list"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"output"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"params"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"stack"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var_ssa_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_PARAM_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LOAD_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_LOAD_STRUCT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_STORE_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_STORE_STRUCT_SSA</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"offset"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"dest_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"expr"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_PHI</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest"</span><span class="p">,</span> <span class="s2">"var_ssa"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src"</span><span class="p">,</span> <span class="s2">"var_ssa_list"</span><span class="p">)],</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_MEM_PHI</span><span class="p">:</span> <span class="p">[(</span><span class="s2">"dest_memory"</span><span class="p">,</span> <span class="s2">"int"</span><span class="p">),</span> <span class="p">(</span><span class="s2">"src_memory"</span><span class="p">,</span> <span class="s2">"int_list"</span><span class="p">)]</span>
|
|
<span class="p">}</span>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILInstruction.html#binaryninja.mediumlevelil.MediumLevelILInstruction.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">func</span><span class="p">,</span> <span class="n">expr_index</span><span class="p">,</span> <span class="n">instr_index</span><span class="o">=</span><span class="kc">None</span><span class="p">):</span>
|
|
<span class="n">instr</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILByIndex</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">function</span> <span class="o">=</span> <span class="n">func</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span> <span class="o">=</span> <span class="n">expr_index</span>
|
|
<span class="k">if</span> <span class="n">instr_index</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionForExpr</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span> <span class="o">=</span> <span class="n">instr_index</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="o">=</span> <span class="n">MediumLevelILOperation</span><span class="p">(</span><span class="n">instr</span><span class="o">.</span><span class="n">operation</span><span class="p">)</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">size</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">size</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">address</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">address</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">source_operand</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">sourceOperand</span>
|
|
<span class="n">operands</span> <span class="o">=</span> <span class="n">MediumLevelILInstruction</span><span class="o">.</span><span class="n">ILOperations</span><span class="p">[</span><span class="n">instr</span><span class="o">.</span><span class="n">operation</span><span class="p">]</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">operands</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="n">i</span> <span class="o">=</span> <span class="mi">0</span>
|
|
<span class="k">for</span> <span class="n">operand</span> <span class="ow">in</span> <span class="n">operands</span><span class="p">:</span>
|
|
<span class="n">name</span><span class="p">,</span> <span class="n">operand_type</span> <span class="o">=</span> <span class="n">operand</span>
|
|
<span class="k">if</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"int"</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"float"</span><span class="p">:</span>
|
|
<span class="k">if</span> <span class="n">instr</span><span class="o">.</span><span class="n">size</span> <span class="o">==</span> <span class="mi">4</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">struct</span><span class="o">.</span><span class="n">unpack</span><span class="p">(</span><span class="s2">"f"</span><span class="p">,</span> <span class="n">struct</span><span class="o">.</span><span class="n">pack</span><span class="p">(</span><span class="s2">"I"</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="o">&</span> <span class="mh">0xffffffff</span><span class="p">))[</span><span class="mi">0</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="n">instr</span><span class="o">.</span><span class="n">size</span> <span class="o">==</span> <span class="mi">8</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">struct</span><span class="o">.</span><span class="n">unpack</span><span class="p">(</span><span class="s2">"d"</span><span class="p">,</span> <span class="n">struct</span><span class="o">.</span><span class="n">pack</span><span class="p">(</span><span class="s2">"Q"</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">]))[</span><span class="mi">0</span><span class="p">]</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"expr"</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="n">func</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"intrinsic"</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">lowlevelil</span><span class="o">.</span><span class="n">ILIntrinsic</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"var"</span><span class="p">:</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="o">.</span><span class="n">from_identifier</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"var_ssa"</span><span class="p">:</span>
|
|
<span class="n">var</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="o">.</span><span class="n">from_identifier</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">version</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span> <span class="o">+</span> <span class="mi">1</span><span class="p">]</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">1</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">SSAVariable</span><span class="p">(</span><span class="n">var</span><span class="p">,</span> <span class="n">version</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"var_ssa_dest_and_src"</span><span class="p">:</span>
|
|
<span class="n">var</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="o">.</span><span class="n">from_identifier</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">dest_version</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span> <span class="o">+</span> <span class="mi">1</span><span class="p">]</span>
|
|
<span class="n">src_version</span> <span class="o">=</span> <span class="n">instr</span><span class="o">.</span><span class="n">operands</span><span class="p">[</span><span class="n">i</span> <span class="o">+</span> <span class="mi">2</span><span class="p">]</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">2</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">operands</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">SSAVariable</span><span class="p">(</span><span class="n">var</span><span class="p">,</span> <span class="n">dest_version</span><span class="p">))</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">dest</span> <span class="o">=</span> <span class="n">SSAVariable</span><span class="p">(</span><span class="n">var</span><span class="p">,</span> <span class="n">dest_version</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">SSAVariable</span><span class="p">(</span><span class="n">var</span><span class="p">,</span> <span class="n">src_version</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"int_list"</span><span class="p">:</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">operand_list</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetOperandList</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">,</span> <span class="n">i</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">j</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">value</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">operand_list</span><span class="p">[</span><span class="n">j</span><span class="p">])</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILFreeOperandList</span><span class="p">(</span><span class="n">operand_list</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"var_list"</span><span class="p">:</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">operand_list</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetOperandList</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">,</span> <span class="n">i</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">1</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">j</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">value</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="o">.</span><span class="n">from_identifier</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">operand_list</span><span class="p">[</span><span class="n">j</span><span class="p">]))</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILFreeOperandList</span><span class="p">(</span><span class="n">operand_list</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"var_ssa_list"</span><span class="p">:</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">operand_list</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetOperandList</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">,</span> <span class="n">i</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">1</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">j</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="n">count</span><span class="o">.</span><span class="n">value</span> <span class="o">//</span> <span class="mi">2</span><span class="p">):</span>
|
|
<span class="n">var_id</span> <span class="o">=</span> <span class="n">operand_list</span><span class="p">[</span><span class="n">j</span> <span class="o">*</span> <span class="mi">2</span><span class="p">]</span>
|
|
<span class="n">var_version</span> <span class="o">=</span> <span class="n">operand_list</span><span class="p">[(</span><span class="n">j</span> <span class="o">*</span> <span class="mi">2</span><span class="p">)</span> <span class="o">+</span> <span class="mi">1</span><span class="p">]</span>
|
|
<span class="n">value</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">SSAVariable</span><span class="p">(</span><span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="o">.</span><span class="n">from_identifier</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span>
|
|
<span class="n">var_id</span><span class="p">),</span> <span class="n">var_version</span><span class="p">))</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILFreeOperandList</span><span class="p">(</span><span class="n">operand_list</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="n">operand_type</span> <span class="o">==</span> <span class="s2">"expr_list"</span><span class="p">:</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">operand_list</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetOperandList</span><span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">,</span> <span class="n">i</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">1</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">j</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">value</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="n">func</span><span class="p">,</span> <span class="n">operand_list</span><span class="p">[</span><span class="n">j</span><span class="p">]))</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILFreeOperandList</span><span class="p">(</span><span class="n">operand_list</span><span class="p">)</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">operands</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">__dict__</span><span class="p">[</span><span class="n">name</span><span class="p">]</span> <span class="o">=</span> <span class="n">value</span>
|
|
<span class="n">i</span> <span class="o">+=</span> <span class="mi">1</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__str__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="n">tokens</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">tokens</span>
|
|
<span class="k">if</span> <span class="n">tokens</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="s2">"invalid"</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="s2">""</span>
|
|
<span class="k">for</span> <span class="n">token</span> <span class="ow">in</span> <span class="n">tokens</span><span class="p">:</span>
|
|
<span class="n">result</span> <span class="o">+=</span> <span class="n">token</span><span class="o">.</span><span class="n">text</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__repr__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="s2">"<il: </span><span class="si">%s</span><span class="s2">>"</span> <span class="o">%</span> <span class="nb">str</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">tokens</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""MLIL tokens (read-only)"""</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">tokens</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">POINTER</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNInstructionTextToken</span><span class="p">)()</span>
|
|
<span class="k">if</span> <span class="p">((</span><span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">)</span> <span class="ow">and</span> <span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">)</span> <span class="ow">and</span>
|
|
<span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span> <span class="o">==</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILIndexForInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">))):</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionText</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">,</span> <span class="n">tokens</span><span class="p">,</span> <span class="n">count</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILExprText</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">,</span> <span class="n">tokens</span><span class="p">,</span> <span class="n">count</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">token_type</span> <span class="o">=</span> <span class="n">InstructionTextTokenType</span><span class="p">(</span><span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">type</span><span class="p">)</span>
|
|
<span class="n">text</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">text</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">value</span>
|
|
<span class="n">size</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">size</span>
|
|
<span class="n">operand</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">operand</span>
|
|
<span class="n">context</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">context</span>
|
|
<span class="n">confidence</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">confidence</span>
|
|
<span class="n">address</span> <span class="o">=</span> <span class="n">tokens</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">address</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">function</span><span class="o">.</span><span class="n">InstructionTextToken</span><span class="p">(</span><span class="n">token_type</span><span class="p">,</span> <span class="n">text</span><span class="p">,</span> <span class="n">value</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="n">operand</span><span class="p">,</span> <span class="n">context</span><span class="p">,</span> <span class="n">address</span><span class="p">,</span> <span class="n">confidence</span><span class="p">))</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeInstructionText</span><span class="p">(</span><span class="n">tokens</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">ssa_form</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""SSA form of expression (read-only)"""</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">ssa_form</span><span class="p">,</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAExprIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">))</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">non_ssa_form</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Non-SSA form of expression (read-only)"""</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">non_ssa_form</span><span class="p">,</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILNonSSAExprIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">))</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">value</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Value of expression if constant or a known value (read-only)"""</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILExprValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">possible_values</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Possible values of expression using path-sensitive static data flow analysis (read-only)"""</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleExprValues</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">branch_dependence</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Set of branching instructions that must take the true or false path to reach this instruction"""</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">deps</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetAllMediumLevelILBranchDependence</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">{}</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="p">[</span><span class="n">deps</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">branch</span><span class="p">]</span> <span class="o">=</span> <span class="n">ILBranchDependence</span><span class="p">(</span><span class="n">deps</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">dependence</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeILBranchDependenceList</span><span class="p">(</span><span class="n">deps</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">low_level_il</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Low level IL form of this expression"""</span>
|
|
<span class="n">expr</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">get_low_level_il_expr_index</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">expr</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">lowlevelil</span><span class="o">.</span><span class="n">LowLevelILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">low_level_il</span><span class="o">.</span><span class="n">ssa_form</span><span class="p">,</span> <span class="n">expr</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">ssa_memory_version</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Version of active memory contents in SSA form for this instruction"""</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAMemoryVersionAtILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">prefix_operands</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""All operands in the expression tree in prefix order"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[</span><span class="n">MediumLevelILOperationAndSize</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">operation</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">size</span><span class="p">)]</span>
|
|
<span class="k">for</span> <span class="n">operand</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">operands</span><span class="p">:</span>
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">operand</span><span class="p">,</span> <span class="n">MediumLevelILInstruction</span><span class="p">):</span>
|
|
<span class="n">result</span> <span class="o">+=</span> <span class="n">operand</span><span class="o">.</span><span class="n">prefix_operands</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">operand</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">postfix_operands</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""All operands in the expression tree in postfix order"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">operand</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">operands</span><span class="p">:</span>
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">operand</span><span class="p">,</span> <span class="n">MediumLevelILInstruction</span><span class="p">):</span>
|
|
<span class="n">result</span> <span class="o">+=</span> <span class="n">operand</span><span class="o">.</span><span class="n">postfix_operands</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">operand</span><span class="p">)</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">MediumLevelILOperationAndSize</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">operation</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">size</span><span class="p">))</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">vars_written</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""List of variables written by instruction"""</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_FIELD</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA_FIELD</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED_FIELD</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_PHI</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="p">[</span><span class="bp">self</span><span class="o">.</span><span class="n">dest</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT_SSA</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="p">[</span><span class="bp">self</span><span class="o">.</span><span class="n">high</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">low</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">output</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED_SSA</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED_SSA</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED_SSA</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">output</span><span class="o">.</span><span class="n">vars_written</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT_SSA</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">dest</span>
|
|
<span class="k">return</span> <span class="p">[]</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">vars_read</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""List of variables read by instruction"""</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_FIELD</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SPLIT_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">src</span><span class="o">.</span><span class="n">vars_read</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_SSA_FIELD</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SET_VAR_ALIASED_FIELD</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="p">[</span><span class="bp">self</span><span class="o">.</span><span class="n">prev</span><span class="p">]</span> <span class="o">+</span> <span class="bp">self</span><span class="o">.</span><span class="n">src</span><span class="o">.</span><span class="n">vars_read</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_SSA</span><span class="p">]:</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">param</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">params</span><span class="p">:</span>
|
|
<span class="n">result</span> <span class="o">+=</span> <span class="n">param</span><span class="o">.</span><span class="n">vars_read</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_UNTYPED_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_SYSCALL_UNTYPED_SSA</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_TAILCALL_UNTYPED_SSA</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">params</span><span class="o">.</span><span class="n">vars_read</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_PARAM</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_PARAM_SSA</span><span class="p">,</span>
|
|
<span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_VAR_PHI</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">src</span>
|
|
<span class="k">elif</span> <span class="bp">self</span><span class="o">.</span><span class="n">operation</span> <span class="ow">in</span> <span class="p">[</span><span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="o">.</span><span class="n">MLIL_CALL_OUTPUT_SSA</span><span class="p">]:</span>
|
|
<span class="k">return</span> <span class="p">[]</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">operand</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">operands</span><span class="p">:</span>
|
|
<span class="k">if</span> <span class="p">(</span><span class="nb">isinstance</span><span class="p">(</span><span class="n">operand</span><span class="p">,</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="p">))</span> <span class="ow">or</span> <span class="p">(</span><span class="nb">isinstance</span><span class="p">(</span><span class="n">operand</span><span class="p">,</span> <span class="n">SSAVariable</span><span class="p">)):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">operand</span><span class="p">)</span>
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">operand</span><span class="p">,</span> <span class="n">MediumLevelILInstruction</span><span class="p">):</span>
|
|
<span class="n">result</span> <span class="o">+=</span> <span class="n">operand</span><span class="o">.</span><span class="n">vars_read</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">expr_type</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Type of expression"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILExprType</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">expr_index</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span><span class="o">.</span><span class="n">type</span><span class="p">:</span>
|
|
<span class="n">platform</span> <span class="o">=</span> <span class="kc">None</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">:</span>
|
|
<span class="n">platform</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="o">.</span><span class="n">platform</span>
|
|
<span class="k">return</span> <span class="n">types</span><span class="o">.</span><span class="n">Type</span><span class="p">(</span><span class="n">result</span><span class="o">.</span><span class="n">type</span><span class="p">,</span> <span class="n">platform</span> <span class="o">=</span> <span class="n">platform</span><span class="p">,</span> <span class="n">confidence</span> <span class="o">=</span> <span class="n">result</span><span class="o">.</span><span class="n">confidence</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_ssa_var_possible_values"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_ssa_var_possible_values">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_var_possible_values</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">ssa_var</span><span class="p">):</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleSSAVarValues</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">version</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_ssa_var_version"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_ssa_var_version">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_var_version</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">var</span><span class="p">):</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAVarVersionAtILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_var_for_reg"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_var_for_reg">[docs]</a> <span class="k">def</span> <span class="nf">get_var_for_reg</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">reg</span><span class="p">):</span>
|
|
<span class="n">reg</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_reg_index</span><span class="p">(</span><span class="n">reg</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILVariableForRegisterAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">reg</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">type</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">index</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">storage</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_var_for_flag"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_var_for_flag">[docs]</a> <span class="k">def</span> <span class="nf">get_var_for_flag</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">flag</span><span class="p">):</span>
|
|
<span class="n">flag</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_flag_index</span><span class="p">(</span><span class="n">flag</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILVariableForFlagAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">flag</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">type</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">index</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">storage</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_var_for_stack_location"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_var_for_stack_location">[docs]</a> <span class="k">def</span> <span class="nf">get_var_for_stack_location</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">offset</span><span class="p">):</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILVariableForStackLocationAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">function</span><span class="o">.</span><span class="n">Variable</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">source_function</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">type</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">index</span><span class="p">,</span> <span class="n">result</span><span class="o">.</span><span class="n">storage</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_reg_value"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_reg_value">[docs]</a> <span class="k">def</span> <span class="nf">get_reg_value</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">reg</span><span class="p">):</span>
|
|
<span class="n">reg</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_reg_index</span><span class="p">(</span><span class="n">reg</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILRegisterValueAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">reg</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_reg_value_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_reg_value_after">[docs]</a> <span class="k">def</span> <span class="nf">get_reg_value_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">reg</span><span class="p">):</span>
|
|
<span class="n">reg</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_reg_index</span><span class="p">(</span><span class="n">reg</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILRegisterValueAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">reg</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_reg_values"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_reg_values">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_reg_values</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">reg</span><span class="p">):</span>
|
|
<span class="n">reg</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_reg_index</span><span class="p">(</span><span class="n">reg</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleRegisterValuesAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">reg</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_reg_values_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_reg_values_after">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_reg_values_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">reg</span><span class="p">):</span>
|
|
<span class="n">reg</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_reg_index</span><span class="p">(</span><span class="n">reg</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleRegisterValuesAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">reg</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_flag_value"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_flag_value">[docs]</a> <span class="k">def</span> <span class="nf">get_flag_value</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">flag</span><span class="p">):</span>
|
|
<span class="n">flag</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_flag_index</span><span class="p">(</span><span class="n">flag</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILFlagValueAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">flag</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_flag_value_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_flag_value_after">[docs]</a> <span class="k">def</span> <span class="nf">get_flag_value_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">flag</span><span class="p">):</span>
|
|
<span class="n">flag</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_flag_index</span><span class="p">(</span><span class="n">flag</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILFlagValueAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">flag</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_flag_values"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_flag_values">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_flag_values</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">flag</span><span class="p">):</span>
|
|
<span class="n">flag</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_flag_index</span><span class="p">(</span><span class="n">flag</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleFlagValuesAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">flag</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_flag_values_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_flag_values_after">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_flag_values_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">flag</span><span class="p">):</span>
|
|
<span class="n">flag</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">get_flag_index</span><span class="p">(</span><span class="n">flag</span><span class="p">)</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleFlagValuesAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">flag</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_stack_contents"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_stack_contents">[docs]</a> <span class="k">def</span> <span class="nf">get_stack_contents</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">):</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILStackContentsAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_stack_contents_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_stack_contents_after">[docs]</a> <span class="k">def</span> <span class="nf">get_stack_contents_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">):</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILStackContentsAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_stack_contents"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_stack_contents">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_stack_contents</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">):</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleStackContentsAtInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_possible_stack_contents_after"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_possible_stack_contents_after">[docs]</a> <span class="k">def</span> <span class="nf">get_possible_stack_contents_after</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">):</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILPossibleStackContentsAfterInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">offset</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">PossibleValueSet</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreePossibleValueSet</span><span class="p">(</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILInstruction.get_branch_dependence"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILInstruction.get_branch_dependence">[docs]</a> <span class="k">def</span> <span class="nf">get_branch_dependence</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">branch_instr</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="n">ILBranchDependence</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILBranchDependence</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">function</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">instr_index</span><span class="p">,</span> <span class="n">branch_instr</span><span class="p">))</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__setattr__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
|
<span class="k">try</span><span class="p">:</span>
|
|
<span class="nb">object</span><span class="o">.</span><span class="n">__setattr__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">except</span> <span class="ne">AttributeError</span><span class="p">:</span>
|
|
<span class="k">raise</span> <span class="ne">AttributeError</span><span class="p">(</span><span class="s2">"attribute '</span><span class="si">%s</span><span class="s2">' is read only"</span> <span class="o">%</span> <span class="n">name</span><span class="p">)</span></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILExpr"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILExpr.html#binaryninja.mediumlevelil.MediumLevelILExpr">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILExpr</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``class MediumLevelILExpr`` hold the index of IL Expressions.</span>
|
|
|
|
<span class="sd"> .. note:: This class shouldn't be instantiated directly. Rather the helper members of MediumLevelILFunction should be \</span>
|
|
<span class="sd"> used instead.</span>
|
|
<span class="sd"> """</span>
|
|
<div class="viewcode-block" id="MediumLevelILExpr.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILExpr.html#binaryninja.mediumlevelil.MediumLevelILExpr.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">index</span><span class="p">):</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">index</span></div></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILFunction.html#binaryninja.mediumlevelil.MediumLevelILFunction">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILFunction</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``class MediumLevelILFunction`` contains the list of MediumLevelILExpr objects that make up a binaryninja.function. MediumLevelILExpr</span>
|
|
<span class="sd"> objects can be added to the MediumLevelILFunction by calling ``append`` and passing the result of the various class</span>
|
|
<span class="sd"> methods which return MediumLevelILExpr objects.</span>
|
|
<span class="sd"> """</span>
|
|
<div class="viewcode-block" id="MediumLevelILFunction.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILFunction.html#binaryninja.mediumlevelil.MediumLevelILFunction.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">arch</span><span class="p">,</span> <span class="n">handle</span> <span class="o">=</span> <span class="kc">None</span><span class="p">,</span> <span class="n">source_func</span> <span class="o">=</span> <span class="kc">None</span><span class="p">):</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">arch</span> <span class="o">=</span> <span class="n">arch</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">source_function</span> <span class="o">=</span> <span class="n">source_func</span>
|
|
<span class="k">if</span> <span class="n">handle</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">handle</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">handle_of_type</span><span class="p">(</span><span class="n">handle</span><span class="p">,</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILFunction</span><span class="p">)</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="n">func_handle</span> <span class="o">=</span> <span class="kc">None</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="n">func_handle</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="o">.</span><span class="n">handle</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">handle</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNCreateMediumLevelILFunction</span><span class="p">(</span><span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">func_handle</span><span class="p">)</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__del__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeMediumLevelILFunction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__eq__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">value</span><span class="p">,</span> <span class="n">MediumLevelILFunction</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">False</span>
|
|
<span class="k">return</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">addressof</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="o">.</span><span class="n">contents</span><span class="p">)</span> <span class="o">==</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">addressof</span><span class="p">(</span><span class="n">value</span><span class="o">.</span><span class="n">handle</span><span class="o">.</span><span class="n">contents</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__ne__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">value</span><span class="p">,</span> <span class="n">MediumLevelILFunction</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">True</span>
|
|
<span class="k">return</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">addressof</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="o">.</span><span class="n">contents</span><span class="p">)</span> <span class="o">!=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">addressof</span><span class="p">(</span><span class="n">value</span><span class="o">.</span><span class="n">handle</span><span class="o">.</span><span class="n">contents</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">current_address</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Current IL Address (read/write)"""</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetCurrentAddress</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
|
|
<span class="nd">@current_address</span><span class="o">.</span><span class="n">setter</span>
|
|
<span class="k">def</span> <span class="nf">current_address</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILSetCurrentAddress</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.set_current_address"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.set_current_address">[docs]</a> <span class="k">def</span> <span class="nf">set_current_address</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">,</span> <span class="n">arch</span> <span class="o">=</span> <span class="kc">None</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="n">arch</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="n">arch</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">arch</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILSetCurrentAddress</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span></div>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">basic_blocks</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""list of MediumLevelILBasicBlock objects (read-only)"""</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">blocks</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILBasicBlockList</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="n">view</span> <span class="o">=</span> <span class="kc">None</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="n">view</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="o">.</span><span class="n">view</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">MediumLevelILBasicBlock</span><span class="p">(</span><span class="n">view</span><span class="p">,</span> <span class="n">core</span><span class="o">.</span><span class="n">BNNewBasicBlockReference</span><span class="p">(</span><span class="n">blocks</span><span class="p">[</span><span class="n">i</span><span class="p">]),</span> <span class="bp">self</span><span class="p">))</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeBasicBlockList</span><span class="p">(</span><span class="n">blocks</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">ssa_form</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Medium level IL in SSA form (read-only)"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAForm</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">result</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILFunction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">result</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">non_ssa_form</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Medium level IL in non-SSA (default) form (read-only)"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILNonSSAForm</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">result</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILFunction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">result</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="p">)</span>
|
|
|
|
<span class="nd">@property</span>
|
|
<span class="k">def</span> <span class="nf">low_level_il</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""Low level IL for this function"""</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetLowLevelILForMediumLevelIL</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">result</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">lowlevelil</span><span class="o">.</span><span class="n">LowLevelILFunction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">result</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__setattr__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
|
<span class="k">try</span><span class="p">:</span>
|
|
<span class="nb">object</span><span class="o">.</span><span class="n">__setattr__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">except</span> <span class="ne">AttributeError</span><span class="p">:</span>
|
|
<span class="k">raise</span> <span class="ne">AttributeError</span><span class="p">(</span><span class="s2">"attribute '</span><span class="si">%s</span><span class="s2">' is read only"</span> <span class="o">%</span> <span class="n">name</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__len__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="nb">int</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionCount</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">))</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__getitem__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">i</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">i</span><span class="p">,</span> <span class="nb">slice</span><span class="p">)</span> <span class="ow">or</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">i</span><span class="p">,</span> <span class="nb">tuple</span><span class="p">):</span>
|
|
<span class="k">raise</span> <span class="ne">IndexError</span><span class="p">(</span><span class="s2">"expected integer instruction index"</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">i</span><span class="p">,</span> <span class="n">MediumLevelILExpr</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">i</span><span class="o">.</span><span class="n">index</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="p">(</span><span class="n">i</span> <span class="o"><</span> <span class="mi">0</span><span class="p">)</span> <span class="ow">or</span> <span class="p">(</span><span class="n">i</span> <span class="o">>=</span> <span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="p">)):</span>
|
|
<span class="k">raise</span> <span class="ne">IndexError</span><span class="p">(</span><span class="s2">"index out of range"</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILInstruction</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILIndexForInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">i</span><span class="p">),</span> <span class="n">i</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__setitem__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">i</span><span class="p">,</span> <span class="n">j</span><span class="p">):</span>
|
|
<span class="k">raise</span> <span class="ne">IndexError</span><span class="p">(</span><span class="s2">"instruction modification not implemented"</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__iter__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">blocks</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILBasicBlockList</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">view</span> <span class="o">=</span> <span class="kc">None</span>
|
|
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="n">view</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">source_function</span><span class="o">.</span><span class="n">view</span>
|
|
<span class="k">try</span><span class="p">:</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="k">yield</span> <span class="n">MediumLevelILBasicBlock</span><span class="p">(</span><span class="n">view</span><span class="p">,</span> <span class="n">core</span><span class="o">.</span><span class="n">BNNewBasicBlockReference</span><span class="p">(</span><span class="n">blocks</span><span class="p">[</span><span class="n">i</span><span class="p">]),</span> <span class="bp">self</span><span class="p">)</span>
|
|
<span class="k">finally</span><span class="p">:</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeBasicBlockList</span><span class="p">(</span><span class="n">blocks</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">)</span>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_instruction_start"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_instruction_start">[docs]</a> <span class="k">def</span> <span class="nf">get_instruction_start</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">addr</span><span class="p">,</span> <span class="n">arch</span> <span class="o">=</span> <span class="kc">None</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="n">arch</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="n">arch</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">arch</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGetInstructionStart</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">arch</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">addr</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span> <span class="o">>=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionCount</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.expr"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.expr">[docs]</a> <span class="k">def</span> <span class="nf">expr</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">operation</span><span class="p">,</span> <span class="n">a</span> <span class="o">=</span> <span class="mi">0</span><span class="p">,</span> <span class="n">b</span> <span class="o">=</span> <span class="mi">0</span><span class="p">,</span> <span class="n">c</span> <span class="o">=</span> <span class="mi">0</span><span class="p">,</span> <span class="n">d</span> <span class="o">=</span> <span class="mi">0</span><span class="p">,</span> <span class="n">e</span> <span class="o">=</span> <span class="mi">0</span><span class="p">,</span> <span class="n">size</span> <span class="o">=</span> <span class="mi">0</span><span class="p">):</span>
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">operation</span><span class="p">,</span> <span class="nb">str</span><span class="p">):</span>
|
|
<span class="n">operation</span> <span class="o">=</span> <span class="n">MediumLevelILOperation</span><span class="p">[</span><span class="n">operation</span><span class="p">]</span>
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">operation</span><span class="p">,</span> <span class="n">MediumLevelILOperation</span><span class="p">):</span>
|
|
<span class="n">operation</span> <span class="o">=</span> <span class="n">operation</span><span class="o">.</span><span class="n">value</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILExpr</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILAddExpr</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">operation</span><span class="p">,</span> <span class="n">size</span><span class="p">,</span> <span class="n">a</span><span class="p">,</span> <span class="n">b</span><span class="p">,</span> <span class="n">c</span><span class="p">,</span> <span class="n">d</span><span class="p">,</span> <span class="n">e</span><span class="p">))</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.append"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.append">[docs]</a> <span class="k">def</span> <span class="nf">append</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">expr</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``append`` adds the MediumLevelILExpr ``expr`` to the current MediumLevelILFunction.</span>
|
|
|
|
<span class="sd"> :param MediumLevelILExpr expr: the MediumLevelILExpr to add to the current MediumLevelILFunction</span>
|
|
<span class="sd"> :return: number of MediumLevelILExpr in the current function</span>
|
|
<span class="sd"> :rtype: int</span>
|
|
<span class="sd"> """</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILAddInstruction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">expr</span><span class="o">.</span><span class="n">index</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.goto"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.goto">[docs]</a> <span class="k">def</span> <span class="nf">goto</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">label</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``goto`` returns a goto expression which jumps to the provided MediumLevelILLabel.</span>
|
|
|
|
<span class="sd"> :param MediumLevelILLabel label: Label to jump to</span>
|
|
<span class="sd"> :return: the MediumLevelILExpr that jumps to the provided label</span>
|
|
<span class="sd"> :rtype: MediumLevelILExpr</span>
|
|
<span class="sd"> """</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILExpr</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILGoto</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">label</span><span class="o">.</span><span class="n">handle</span><span class="p">))</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.if_expr"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.if_expr">[docs]</a> <span class="k">def</span> <span class="nf">if_expr</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">operand</span><span class="p">,</span> <span class="n">t</span><span class="p">,</span> <span class="n">f</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``if_expr`` returns the ``if`` expression which depending on condition ``operand`` jumps to the MediumLevelILLabel</span>
|
|
<span class="sd"> ``t`` when the condition expression ``operand`` is non-zero and ``f`` when it's zero.</span>
|
|
|
|
<span class="sd"> :param MediumLevelILExpr operand: comparison expression to evaluate.</span>
|
|
<span class="sd"> :param MediumLevelILLabel t: Label for the true branch</span>
|
|
<span class="sd"> :param MediumLevelILLabel f: Label for the false branch</span>
|
|
<span class="sd"> :return: the MediumLevelILExpr for the if expression</span>
|
|
<span class="sd"> :rtype: MediumLevelILExpr</span>
|
|
<span class="sd"> """</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILExpr</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILIf</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">operand</span><span class="o">.</span><span class="n">index</span><span class="p">,</span> <span class="n">t</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">f</span><span class="o">.</span><span class="n">handle</span><span class="p">))</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.mark_label"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.mark_label">[docs]</a> <span class="k">def</span> <span class="nf">mark_label</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">label</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``mark_label`` assigns a MediumLevelILLabel to the current IL address.</span>
|
|
|
|
<span class="sd"> :param MediumLevelILLabel label:</span>
|
|
<span class="sd"> :rtype: None</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILMarkLabel</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">label</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.add_label_list"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.add_label_list">[docs]</a> <span class="k">def</span> <span class="nf">add_label_list</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">labels</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``add_label_list`` returns a label list expression for the given list of MediumLevelILLabel objects.</span>
|
|
|
|
<span class="sd"> :param list(MediumLevelILLabel) lables: the list of MediumLevelILLabel to get a label list expression from</span>
|
|
<span class="sd"> :return: the label list expression</span>
|
|
<span class="sd"> :rtype: MediumLevelILExpr</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">label_list</span> <span class="o">=</span> <span class="p">(</span><span class="n">ctypes</span><span class="o">.</span><span class="n">POINTER</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILLabel</span><span class="p">)</span> <span class="o">*</span> <span class="nb">len</span><span class="p">(</span><span class="n">labels</span><span class="p">))()</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="nb">len</span><span class="p">(</span><span class="n">labels</span><span class="p">)):</span>
|
|
<span class="n">label_list</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="o">=</span> <span class="n">labels</span><span class="p">[</span><span class="n">i</span><span class="p">]</span><span class="o">.</span><span class="n">handle</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILExpr</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILAddLabelList</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">label_list</span><span class="p">,</span> <span class="nb">len</span><span class="p">(</span><span class="n">labels</span><span class="p">)))</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.add_operand_list"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.add_operand_list">[docs]</a> <span class="k">def</span> <span class="nf">add_operand_list</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">operands</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``add_operand_list`` returns an operand list expression for the given list of integer operands.</span>
|
|
|
|
<span class="sd"> :param list(int) operands: list of operand numbers</span>
|
|
<span class="sd"> :return: an operand list expression</span>
|
|
<span class="sd"> :rtype: MediumLevelILExpr</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">operand_list</span> <span class="o">=</span> <span class="p">(</span><span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span> <span class="o">*</span> <span class="nb">len</span><span class="p">(</span><span class="n">operands</span><span class="p">))()</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="nb">len</span><span class="p">(</span><span class="n">operands</span><span class="p">)):</span>
|
|
<span class="n">operand_list</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="o">=</span> <span class="n">operands</span><span class="p">[</span><span class="n">i</span><span class="p">]</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILExpr</span><span class="p">(</span><span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILAddOperandList</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">operand_list</span><span class="p">,</span> <span class="nb">len</span><span class="p">(</span><span class="n">operands</span><span class="p">)))</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.operand"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.operand">[docs]</a> <span class="k">def</span> <span class="nf">operand</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">n</span><span class="p">,</span> <span class="n">expr</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``operand`` sets the operand number of the expression ``expr`` and passes back ``expr`` without modification.</span>
|
|
|
|
<span class="sd"> :param int n:</span>
|
|
<span class="sd"> :param MediumLevelILExpr expr:</span>
|
|
<span class="sd"> :return: returns the expression ``expr`` unmodified</span>
|
|
<span class="sd"> :rtype: MediumLevelILExpr</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNMediumLevelILSetExprSourceOperand</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">expr</span><span class="o">.</span><span class="n">index</span><span class="p">,</span> <span class="n">n</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">expr</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.finalize"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.finalize">[docs]</a> <span class="k">def</span> <span class="nf">finalize</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``finalize`` ends the function and computes the list of basic blocks.</span>
|
|
|
|
<span class="sd"> :rtype: None</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFinalizeMediumLevelILFunction</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_instruction_index"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_instruction_index">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_instruction_index</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">instr</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAInstructionIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">instr</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_non_ssa_instruction_index"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_non_ssa_instruction_index">[docs]</a> <span class="k">def</span> <span class="nf">get_non_ssa_instruction_index</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">instr</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILNonSSAInstructionIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">instr</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_var_definition"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_var_definition">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_var_definition</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">ssa_var</span><span class="p">):</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAVarDefinition</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">version</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span> <span class="o">>=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionCount</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_memory_definition"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_memory_definition">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_memory_definition</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">version</span><span class="p">):</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAMemoryDefinition</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">version</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span> <span class="o">>=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILInstructionCount</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_var_uses"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_var_uses">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_var_uses</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">ssa_var</span><span class="p">):</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">instrs</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAVarUses</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">version</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">instrs</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeILInstructionList</span><span class="p">(</span><span class="n">instrs</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_memory_uses"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_memory_uses">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_memory_uses</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">version</span><span class="p">):</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">instrs</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAMemoryUses</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">version</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">instrs</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeILInstructionList</span><span class="p">(</span><span class="n">instrs</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.is_ssa_var_live"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.is_ssa_var_live">[docs]</a> <span class="k">def</span> <span class="nf">is_ssa_var_live</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">ssa_var</span><span class="p">):</span>
|
|
<span class="sd">"""</span>
|
|
<span class="sd"> ``is_ssa_var_live`` determines if ``ssa_var`` is live at any point in the function</span>
|
|
|
|
<span class="sd"> :param SSAVariable ssa_var: the SSA variable to query</span>
|
|
<span class="sd"> :return: whether the variable is live at any point in the function</span>
|
|
<span class="sd"> :rtype: bool</span>
|
|
<span class="sd"> """</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="k">return</span> <span class="n">core</span><span class="o">.</span><span class="n">BNIsMediumLevelILSSAVarLive</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">version</span><span class="p">)</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_var_definitions"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_var_definitions">[docs]</a> <span class="k">def</span> <span class="nf">get_var_definitions</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">var</span><span class="p">):</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">instrs</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILVariableDefinitions</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">instrs</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeILInstructionList</span><span class="p">(</span><span class="n">instrs</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_var_uses"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_var_uses">[docs]</a> <span class="k">def</span> <span class="nf">get_var_uses</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">var</span><span class="p">):</span>
|
|
<span class="n">count</span> <span class="o">=</span> <span class="n">ctypes</span><span class="o">.</span><span class="n">c_ulonglong</span><span class="p">()</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">instrs</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILVariableUses</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">count</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="p">[]</span>
|
|
<span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span> <span class="n">count</span><span class="o">.</span><span class="n">value</span><span class="p">):</span>
|
|
<span class="n">result</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">instrs</span><span class="p">[</span><span class="n">i</span><span class="p">])</span>
|
|
<span class="n">core</span><span class="o">.</span><span class="n">BNFreeILInstructionList</span><span class="p">(</span><span class="n">instrs</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_ssa_var_value"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_ssa_var_value">[docs]</a> <span class="k">def</span> <span class="nf">get_ssa_var_value</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">ssa_var</span><span class="p">):</span>
|
|
<span class="n">var_data</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNVariable</span><span class="p">()</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">type</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">source_type</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">index</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">index</span>
|
|
<span class="n">var_data</span><span class="o">.</span><span class="n">storage</span> <span class="o">=</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">var</span><span class="o">.</span><span class="n">storage</span>
|
|
<span class="n">value</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetMediumLevelILSSAVarValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">var_data</span><span class="p">,</span> <span class="n">ssa_var</span><span class="o">.</span><span class="n">version</span><span class="p">)</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">function</span><span class="o">.</span><span class="n">RegisterValue</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">arch</span><span class="p">,</span> <span class="n">value</span><span class="p">)</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_low_level_il_instruction_index"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_low_level_il_instruction_index">[docs]</a> <span class="k">def</span> <span class="nf">get_low_level_il_instruction_index</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">instr</span><span class="p">):</span>
|
|
<span class="n">low_il</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">low_level_il</span>
|
|
<span class="k">if</span> <span class="n">low_il</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="n">low_il</span> <span class="o">=</span> <span class="n">low_il</span><span class="o">.</span><span class="n">ssa_form</span>
|
|
<span class="k">if</span> <span class="n">low_il</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetLowLevelILInstructionIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">instr</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span> <span class="o">>=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetLowLevelILInstructionCount</span><span class="p">(</span><span class="n">low_il</span><span class="o">.</span><span class="n">handle</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">result</span></div>
|
|
|
|
<div class="viewcode-block" id="MediumLevelILFunction.get_low_level_il_expr_index"><a class="viewcode-back" href="../../binaryninja.mediumlevelil-module.html#binaryninja.mediumlevelil.MediumLevelILFunction.get_low_level_il_expr_index">[docs]</a> <span class="k">def</span> <span class="nf">get_low_level_il_expr_index</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">expr</span><span class="p">):</span>
|
|
<span class="n">low_il</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">low_level_il</span>
|
|
<span class="k">if</span> <span class="n">low_il</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="n">low_il</span> <span class="o">=</span> <span class="n">low_il</span><span class="o">.</span><span class="n">ssa_form</span>
|
|
<span class="k">if</span> <span class="n">low_il</span> <span class="ow">is</span> <span class="kc">None</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetLowLevelILExprIndex</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">handle</span><span class="p">,</span> <span class="n">expr</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">result</span> <span class="o">>=</span> <span class="n">core</span><span class="o">.</span><span class="n">BNGetLowLevelILExprCount</span><span class="p">(</span><span class="n">low_il</span><span class="o">.</span><span class="n">handle</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="kc">None</span>
|
|
<span class="k">return</span> <span class="n">result</span></div></div>
|
|
|
|
|
|
<div class="viewcode-block" id="MediumLevelILBasicBlock"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILBasicBlock.html#binaryninja.mediumlevelil.MediumLevelILBasicBlock">[docs]</a><span class="k">class</span> <span class="nc">MediumLevelILBasicBlock</span><span class="p">(</span><span class="n">basicblock</span><span class="o">.</span><span class="n">BasicBlock</span><span class="p">):</span>
|
|
<div class="viewcode-block" id="MediumLevelILBasicBlock.__init__"><a class="viewcode-back" href="../../binaryninja.mediumlevelil.MediumLevelILBasicBlock.html#binaryninja.mediumlevelil.MediumLevelILBasicBlock.__init__">[docs]</a> <span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">view</span><span class="p">,</span> <span class="n">handle</span><span class="p">,</span> <span class="n">owner</span><span class="p">):</span>
|
|
<span class="nb">super</span><span class="p">(</span><span class="n">MediumLevelILBasicBlock</span><span class="p">,</span> <span class="bp">self</span><span class="p">)</span><span class="o">.</span><span class="n">__init__</span><span class="p">(</span><span class="n">view</span><span class="p">,</span> <span class="n">handle</span><span class="p">)</span>
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">il_function</span> <span class="o">=</span> <span class="n">owner</span></div>
|
|
|
|
<span class="k">def</span> <span class="nf">__iter__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">for</span> <span class="n">idx</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">start</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">end</span><span class="p">):</span>
|
|
<span class="k">yield</span> <span class="bp">self</span><span class="o">.</span><span class="n">il_function</span><span class="p">[</span><span class="n">idx</span><span class="p">]</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__getitem__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">idx</span><span class="p">):</span>
|
|
<span class="n">size</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">end</span> <span class="o">-</span> <span class="bp">self</span><span class="o">.</span><span class="n">start</span>
|
|
<span class="k">if</span> <span class="n">idx</span> <span class="o">></span> <span class="n">size</span> <span class="ow">or</span> <span class="n">idx</span> <span class="o"><</span> <span class="o">-</span><span class="n">size</span><span class="p">:</span>
|
|
<span class="k">raise</span> <span class="ne">IndexError</span><span class="p">(</span><span class="s2">"list index is out of range"</span><span class="p">)</span>
|
|
<span class="k">if</span> <span class="n">idx</span> <span class="o">>=</span> <span class="mi">0</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">il_function</span><span class="p">[</span><span class="n">idx</span> <span class="o">+</span> <span class="bp">self</span><span class="o">.</span><span class="n">start</span><span class="p">]</span>
|
|
<span class="k">else</span><span class="p">:</span>
|
|
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">il_function</span><span class="p">[</span><span class="bp">self</span><span class="o">.</span><span class="n">end</span> <span class="o">+</span> <span class="n">idx</span><span class="p">]</span>
|
|
|
|
<span class="k">def</span> <span class="nf">_create_instance</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">view</span><span class="p">,</span> <span class="n">handle</span><span class="p">):</span>
|
|
<span class="sd">"""Internal method by super to instantiante child instances"""</span>
|
|
<span class="k">return</span> <span class="n">MediumLevelILBasicBlock</span><span class="p">(</span><span class="n">view</span><span class="p">,</span> <span class="n">handle</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">il_function</span><span class="p">)</span>
|
|
|
|
<span class="k">def</span> <span class="nf">__hash__</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
|
<span class="k">return</span> <span class="nb">hash</span><span class="p">((</span><span class="bp">self</span><span class="o">.</span><span class="n">start</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">end</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">il_function</span><span class="p">))</span></div>
|
|
</pre></div>
|
|
|
|
</div>
|
|
</div>
|
|
<footer>
|
|
|
|
|
|
<hr/>
|
|
|
|
<div role="contentinfo">
|
|
<p>
|
|
© Copyright 2016, Vector 35 LLC.
|
|
|
|
</p>
|
|
</div>
|
|
Built with <a href="http://sphinx-doc.org/">Sphinx</a> using a <a href="https://github.com/snide/sphinx_rtd_theme">theme</a> provided by <a href="https://readthedocs.org">Read the Docs</a>.
|
|
|
|
</footer>
|
|
|
|
</div>
|
|
</div>
|
|
|
|
</section>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
|
|
<script type="text/javascript">
|
|
var DOCUMENTATION_OPTIONS = {
|
|
URL_ROOT:'../../',
|
|
VERSION:'1.1.0',
|
|
COLLAPSE_INDEX:false,
|
|
FILE_SUFFIX:'.html',
|
|
HAS_SOURCE: true
|
|
};
|
|
</script>
|
|
<script type="text/javascript" src="../../_static/jquery.js"></script>
|
|
<script type="text/javascript" src="../../_static/underscore.js"></script>
|
|
<script type="text/javascript" src="../../_static/doctools.js"></script>
|
|
|
|
|
|
|
|
|
|
|
|
<script type="text/javascript" src="../../_static/js/theme.js"></script>
|
|
|
|
|
|
|
|
|
|
<script type="text/javascript">
|
|
jQuery(function () {
|
|
SphinxRtdTheme.StickyNav.enable();
|
|
});
|
|
</script>
|
|
|
|
|
|
</body>
|
|
</html> |