GitHub/ImmunityDebugger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
ImmunityDebugger/1.73/Documentation/Ref/Libs.libcontrolflow.DominatorTree-class.html
T
Kiran Bandla d4d64da866 Added 1.73
2013-03-25 21:58:56 -04:00

589 lines
22 KiB
HTML
Executable File
Raw Permalink Blame History

<?xml version="1.0" encoding="ascii"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>Libs.libcontrolflow.DominatorTree</title>
<link rel="stylesheet" href="epydoc.css" type="text/css" />
<script type="text/javascript" src="epydoc.js"></script>
</head>
<body bgcolor="white" text="black" link="blue" vlink="#204080"
alink="#204080">
<!-- ==================== NAVIGATION BAR ==================== -->
<table class="navbar" border="0" width="100%" cellpadding="0"
bgcolor="#a0c0ff" cellspacing="0">
<tr valign="middle">
<!-- Tree link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="module-tree.html">Trees</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Index link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="identifier-index.html">Indices</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Help link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="help.html">Help</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Project homepage -->
<th class="navbar" align="right" width="100%">
<table border="0" cellpadding="0" cellspacing="0">
<tr><th class="navbar" align="center"
>Immunity Debugger API Reference</th>
</tr></table></th>
</tr>
</table>
<table width="100%" cellpadding="0" cellspacing="0">
<tr valign="top">
<td width="100%">
<span class="breadcrumbs">
Package&nbsp;Libs ::
<a href="Libs.libcontrolflow-module.html">Module&nbsp;libcontrolflow</a> ::
Class&nbsp;DominatorTree
</span>
</td>
<td>
<table cellpadding="0" cellspacing="0">
<!-- hide/show private -->
<tr><td align="right"><span class="options">[<a href="javascript: void(0);" class="privatelink"
onclick="toggle_private();">hide private</a>]</span></td></tr>
<tr><td align="right"><span class="options"
>[<a href="frames.html" target="_top">frames</a
>]&nbsp;|&nbsp;<a href="Libs.libcontrolflow.DominatorTree-class.html"
target="_top">no&nbsp;frames</a>]</span></td></tr>
</table>
</td>
</tr>
</table>
<!-- ==================== CLASS DESCRIPTION ==================== -->
<h1 class="epydoc">Class DominatorTree</h1><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree">source&nbsp;code</a></span><br /><br />
<!-- ==================== INSTANCE METHODS ==================== -->
<a name="section-InstanceMethods"></a>
<table class="summary" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr bgcolor="#70b0f0" class="table-header">
<td colspan="2" class="table-header">
<table border="0" cellpadding="0" cellspacing="0" width="100%">
<tr valign="top">
<td align="left"><span class="table-header">Instance Methods</span></td>
<td align="right" valign="top"
><span class="options">[<a href="#section-InstanceMethods"
class="privatelink" onclick="toggle_private();"
>hide private</a>]</span></td>
</tr>
</table>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#__init__" class="summary-sig-name">__init__</a>(<span class="summary-sig-arg">self</span>,
<span class="summary-sig-arg">imm</span>,
<span class="summary-sig-arg">addr</span>,
<span class="summary-sig-arg">blocks</span>=<span class="summary-sig-default">False</span>,
<span class="summary-sig-arg">recursion</span>=<span class="summary-sig-default">False</span>)</span><br />
This class takes a function start address and calculate all Dominator Tree related tables:
- Predecessors
- Iterated Predecessors
- Dominators
- Immediate Dominators
- Post Dominators
- Immediate Post Dominators
@type imm: Debbuger OBJECT
@param imm: Debbuger
@type addr: DWORD
@param addr: function start address
@type blocks: DICTIONARY|False
@param blocks: Optionally you can provide a dictionary with the node address as key and a list of edges (mainly for testing purposes).
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#Initializate" class="summary-sig-name">Initializate</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#CalculatePredecessors" class="summary-sig-name">CalculatePredecessors</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#CalculateIterativePredecessors" class="summary-sig-name">CalculateIterativePredecessors</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr class="private">
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#__iterative_predecessors_helper" class="summary-sig-name">__iterative_predecessors_helper</a>(<span class="summary-sig-arg">self</span>,
<span class="summary-sig-arg">base</span>,
<span class="summary-sig-arg">newbase</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#CalculateDominators" class="summary-sig-name">CalculateDominators</a>(<span class="summary-sig-arg">self</span>)</span><br />
Based in algorithm from &quot;Advanced COMPILER DESIGN
IMPLEMENTATION&quot;
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#CalculateImmediateDominators" class="summary-sig-name">CalculateImmediateDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#CalculatePostAndImmediatePostDominators" class="summary-sig-name">CalculatePostAndImmediatePostDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getDominators" class="summary-sig-name">getDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getImmediateDominators" class="summary-sig-name">getImmediateDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getPostDominators" class="summary-sig-name">getPostDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getImmediatePostDominators" class="summary-sig-name">getImmediatePostDominators</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getPredecessors" class="summary-sig-name">getPredecessors</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getIteratedPredecessors" class="summary-sig-name">getIteratedPredecessors</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
<tr>
<td width="15%" align="right" valign="top" class="summary">
<code class="summary-type">&nbsp;</code>
</td><td class="summary">
<span class="summary-sig"><a href="Libs.libcontrolflow.DominatorTree-class.html#getControlFlowGraph" class="summary-sig-name">getControlFlowGraph</a>(<span class="summary-sig-arg">self</span>)</span>
</td>
</tr>
</table>
<br />
<!-- ==================== METHOD DETAILS ==================== -->
<a name="section-MethodDetails"></a>
<table class="summary" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr bgcolor="#70b0f0" class="table-header">
<td colspan="2" class="table-header">
<table border="0" cellpadding="0" cellspacing="0" width="100%">
<tr valign="top">
<td align="left"><span class="table-header">Method Details</span></td>
<td align="right" valign="top"
><span class="options">[<a href="#section-MethodDetails"
class="privatelink" onclick="toggle_private();"
>hide private</a>]</span></td>
</tr>
</table>
</td>
</tr>
</table>
<a name="__init__"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">__init__</span>(<span class="sig-arg">self</span>,
<span class="sig-arg">imm</span>,
<span class="sig-arg">addr</span>,
<span class="sig-arg">blocks</span>=<span class="sig-default">False</span>,
<span class="sig-arg">recursion</span>=<span class="sig-default">False</span>)</span>
<br /><em class="fname">(Constructor)</em>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.__init__">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
<pre class="literalblock">
This class takes a function start address and calculate all Dominator Tree related tables:
- Predecessors
- Iterated Predecessors
- Dominators
- Immediate Dominators
- Post Dominators
- Immediate Post Dominators
@type imm: Debbuger OBJECT
@param imm: Debbuger
@type addr: DWORD
@param addr: function start address
@type blocks: DICTIONARY|False
@param blocks: Optionally you can provide a dictionary with the node address as key and a list of edges (mainly for testing purposes).
</pre>
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="Initializate"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">Initializate</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.Initializate">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="CalculatePredecessors"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">CalculatePredecessors</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.CalculatePredecessors">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="CalculateIterativePredecessors"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">CalculateIterativePredecessors</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.CalculateIterativePredecessors">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="__iterative_predecessors_helper"></a>
<div class="private">
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">__iterative_predecessors_helper</span>(<span class="sig-arg">self</span>,
<span class="sig-arg">base</span>,
<span class="sig-arg">newbase</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.__iterative_predecessors_helper">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="CalculateDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">CalculateDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.CalculateDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
Based in algorithm from &quot;Advanced COMPILER DESIGN
IMPLEMENTATION&quot;
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="CalculateImmediateDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">CalculateImmediateDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.CalculateImmediateDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="CalculatePostAndImmediatePostDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">CalculatePostAndImmediatePostDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.CalculatePostAndImmediatePostDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getImmediateDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getImmediateDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getImmediateDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getPostDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getPostDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getPostDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getImmediatePostDominators"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getImmediatePostDominators</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getImmediatePostDominators">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getPredecessors"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getPredecessors</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getPredecessors">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getIteratedPredecessors"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getIteratedPredecessors</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getIteratedPredecessors">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<a name="getControlFlowGraph"></a>
<div>
<table class="details" border="1" cellpadding="3"
cellspacing="0" width="100%" bgcolor="white">
<tr><td>
<table width="100%" cellpadding="0" cellspacing="0" border="0">
<tr valign="top"><td>
<h3 class="epydoc"><span class="sig"><span class="sig-name">getControlFlowGraph</span>(<span class="sig-arg">self</span>)</span>
</h3>
</td><td align="right" valign="top"
><span class="codelink"><a href="Libs.libcontrolflow-pysrc.html#DominatorTree.getControlFlowGraph">source&nbsp;code</a></span>&nbsp;</span
></td>
</table>
None
<dl><dt></dt><dd>
</dd></dl>
</td></tr></table>
</div>
<br />
<!-- ==================== NAVIGATION BAR ==================== -->
<table class="navbar" border="0" width="100%" cellpadding="0"
bgcolor="#a0c0ff" cellspacing="0">
<tr valign="middle">
<!-- Tree link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="module-tree.html">Trees</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Index link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="identifier-index.html">Indices</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Help link -->
<th>&nbsp;&nbsp;&nbsp;<a
href="help.html">Help</a>&nbsp;&nbsp;&nbsp;</th>
<!-- Project homepage -->
<th class="navbar" align="right" width="100%">
<table border="0" cellpadding="0" cellspacing="0">
<tr><th class="navbar" align="center"
>Immunity Debugger API Reference</th>
</tr></table></th>
</tr>
</table>
<table border="0" cellpadding="0" cellspacing="0" width="100%%">
<tr>
<td align="left" class="footer">Generated by Epydoc
3.0alpha3 on Thu May 29 13:03:08 2008</td>
<td align="right" class="footer">
<a href="http://epydoc.sourceforge.net">http://epydoc.sourceforge.net</a>
</td>
</tr>
</table>
<script type="text/javascript">
<!--
// Private objects are initially displayed (because if
// javascript is turned off then we want them to be
// visible); but by default, we want to hide them. So hide
// them unless we have a cookie that says to show them.
checkCookie()
// -->
</script>
</body>
</html>
Reference in New Issue View Git Blame Copy Permalink