npm - svf-tools - Versions diffs - 1.0.874 → 1.0.875 - Mend

svf-tools 1.0.874 → 1.0.875

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (796) hide show

package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html ADDED Viewed

@@ -0,0 +1,619 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::BufOverflowChecker Class Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
+<a href="#pri-methods">Private Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
+<a href="classSVF_1_1BufOverflowChecker-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::BufOverflowChecker Class Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::BufOverflowChecker:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1BufOverflowChecker.png" usemap="#SVF::BufOverflowChecker_map" alt=""/>
+  <map id="SVF::BufOverflowChecker_map" name="SVF::BufOverflowChecker_map">
+<area href="classSVF_1_1AE.html" alt="SVF::AE" shape="rect" coords="0,0,162,24"/>
+  </map>
+</div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:adcfa49d892daef07e7d4274ab8d34b6f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">BufOverflowChecker</a> ()</td></tr>
+<tr class="separator:adcfa49d892daef07e7d4274ab8d34b6f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4787d2e56aa374763656b7942f0ed52f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a> () override</td></tr>
+<tr class="separator:a4787d2e56aa374763656b7942f0ed52f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1AE"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AE')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AE.html">SVF::AE</a></td></tr>
+<tr class="memitem:a8fe629685887b4982e50b6764da3f1d8 inherit pub_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8">AE</a> ()</td></tr>
+<tr class="memdesc:a8fe629685887b4982e50b6764da3f1d8 inherit pub_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8">More...</a><br /></td></tr>
+<tr class="separator:a8fe629685887b4982e50b6764da3f1d8 inherit pub_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab404cbecd02b801e4cd660dd3c7e712d inherit pub_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">runOnModule</a> (<a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfModule)</td></tr>
+<tr class="separator:ab404cbecd02b801e4cd660dd3c7e712d inherit pub_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a874c32d2be14eaaac5cd302342f7cf0a inherit pub_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a874c32d2be14eaaac5cd302342f7cf0a">~AE</a> ()</td></tr>
+<tr class="memdesc:a874c32d2be14eaaac5cd302342f7cf0a inherit pub_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1AE.html#a874c32d2be14eaaac5cd302342f7cf0a">More...</a><br /></td></tr>
+<tr class="separator:a874c32d2be14eaaac5cd302342f7cf0a inherit pub_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aebeebd4b20fe3475acd9c90bc83efd92 inherit pub_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#aebeebd4b20fe3475acd9c90bc83efd92">analyse</a> ()</td></tr>
+<tr class="memdesc:aebeebd4b20fe3475acd9c90bc83efd92 inherit pub_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Program entry.  <a href="classSVF_1_1AE.html#aebeebd4b20fe3475acd9c90bc83efd92">More...</a><br /></td></tr>
+<tr class="separator:aebeebd4b20fe3475acd9c90bc83efd92 inherit pub_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07d335f05d024374a51f44ce1d2e1e66 inherit pub_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a07d335f05d024374a51f44ce1d2e1e66">getKind</a> () const</td></tr>
+<tr class="separator:a07d335f05d024374a51f44ce1d2e1e66 inherit pub_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
+Static Public Member Functions</h2></td></tr>
+<tr class="memitem:af8bf39f9fa9dbee39c30fb54e9af7caa"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#af8bf39f9fa9dbee39c30fb54e9af7caa">classof</a> (const <a class="el" href="classSVF_1_1AE.html">AE</a> *ae)</td></tr>
+<tr class="separator:af8bf39f9fa9dbee39c30fb54e9af7caa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_classSVF_1_1AE"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1AE')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1AE.html">SVF::AE</a></td></tr>
+<tr class="memitem:af4fe85e7d6a6d0b928dc4404e06f516d inherit pub_static_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#af4fe85e7d6a6d0b928dc4404e06f516d">classof</a> (const <a class="el" href="classSVF_1_1AE.html">AE</a> *ae)</td></tr>
+<tr class="separator:af4fe85e7d6a6d0b928dc4404e06f516d inherit pub_static_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
+Private Member Functions</h2></td></tr>
+<tr class="memitem:a0b79c3694a08100d2d8d1b8109998131"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">handleSVFStatement</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt) override</td></tr>
+<tr class="separator:a0b79c3694a08100d2d8d1b8109998131"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a13b4beca209f7d306cf0a6065987a489"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a13b4beca209f7d306cf0a6065987a489">handleICFGNode</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a> *node) override</td></tr>
+<tr class="separator:a13b4beca209f7d306cf0a6065987a489"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a52de7d619e8746a70718719306d7c5a1"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">detectBufOverflow</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
+<tr class="separator:a52de7d619e8746a70718719306d7c5a1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7c11b81809cb087317cbea654a589f75"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">addBugToRecoder</a> (const <a class="el" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a> &amp;e, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
+<tr class="separator:a7c11b81809cb087317cbea654a589f75"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:a563fed00ad732985dbe7a7e2c6525e6a"><td class="memItemLeft" align="right" valign="top">friend&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">BufOverflowCheckerAPI</a></td></tr>
+<tr class="separator:a563fed00ad732985dbe7a7e2c6525e6a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1AE"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1AE')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1AE.html">SVF::AE</a></td></tr>
+<tr class="memitem:a038dbdfcc6d78f1263a6766b498ef3f7 inherit pub_types_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SCCDetection.html">SCCDetection</a>&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a038dbdfcc6d78f1263a6766b498ef3f7">CallGraphSCC</a></td></tr>
+<tr class="separator:a038dbdfcc6d78f1263a6766b498ef3f7 inherit pub_types_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classSVF_1_1AE"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1AE')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1AE.html">SVF::AE</a></td></tr>
+<tr class="memitem:a32b4306ddf6c18c03bcd6f76ae08d110 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a32b4306ddf6c18c03bcd6f76ae08d110">handleGlobalNode</a> ()</td></tr>
+<tr class="memdesc:a32b4306ddf6c18c03bcd6f76ae08d110 inherit pro_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Global <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> is handled at the entry of the program,.  <a href="classSVF_1_1AE.html#a32b4306ddf6c18c03bcd6f76ae08d110">More...</a><br /></td></tr>
+<tr class="separator:a32b4306ddf6c18c03bcd6f76ae08d110 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a287d0d18395dd36aaf35219bf1e22abc inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a287d0d18395dd36aaf35219bf1e22abc">markRecursiveFuns</a> ()</td></tr>
+<tr class="memdesc:a287d0d18395dd36aaf35219bf1e22abc inherit pro_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">mark recursive functions by detecting SCC in callgraph  <a href="classSVF_1_1AE.html#a287d0d18395dd36aaf35219bf1e22abc">More...</a><br /></td></tr>
+<tr class="separator:a287d0d18395dd36aaf35219bf1e22abc inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7856903dc023d1b0f6b3d932e15debbb inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a7856903dc023d1b0f6b3d932e15debbb">hasInEdgesES</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *block)</td></tr>
+<tr class="separator:a7856903dc023d1b0f6b3d932e15debbb inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a00ac22eda723a826de3623da11f9c031 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a00ac22eda723a826de3623da11f9c031">hasBranchES</a> (const <a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> *intraEdge, <a class="el" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &amp;es)</td></tr>
+<tr class="separator:a00ac22eda723a826de3623da11f9c031 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a35bf2f790c9f70de415f0e8ed0825f03 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a35bf2f790c9f70de415f0e8ed0825f03">handleBlock</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *block)</td></tr>
+<tr class="memdesc:a35bf2f790c9f70de415f0e8ed0825f03 inherit pro_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">handle instructions in svf basic blocks  <a href="classSVF_1_1AE.html#a35bf2f790c9f70de415f0e8ed0825f03">More...</a><br /></td></tr>
+<tr class="separator:a35bf2f790c9f70de415f0e8ed0825f03 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2932ef96c91842775edfd41ca9f7877a inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a2932ef96c91842775edfd41ca9f7877a">handleCallSite</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
+<tr class="separator:a2932ef96c91842775edfd41ca9f7877a inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a36fa552f80d5b54c6a09b9a42173f049 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a36fa552f80d5b54c6a09b9a42173f049">handleCycle</a> (const <a class="el" href="namespaceSVF.html#a5ddc46fb7b3bba87aad4c58c87487b5e">CFBasicBlockGWTOCycle</a> *cycle)</td></tr>
+<tr class="memdesc:a36fa552f80d5b54c6a09b9a42173f049 inherit pro_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">handle wto cycle (loop)  <a href="classSVF_1_1AE.html#a36fa552f80d5b54c6a09b9a42173f049">More...</a><br /></td></tr>
+<tr class="separator:a36fa552f80d5b54c6a09b9a42173f049 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8954be38503e67915c4a53c45cc6d348 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a8954be38503e67915c4a53c45cc6d348">handleFunc</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func)</td></tr>
+<tr class="memdesc:a8954be38503e67915c4a53c45cc6d348 inherit pro_methods_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">handle user defined function, ext function is not included.  <a href="classSVF_1_1AE.html#a8954be38503e67915c4a53c45cc6d348">More...</a><br /></td></tr>
+<tr class="separator:a8954be38503e67915c4a53c45cc6d348 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd1953cfb43aede834b12f9121137a82 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#acd1953cfb43aede834b12f9121137a82">SkipRecursiveCall</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callnode)</td></tr>
+<tr class="separator:acd1953cfb43aede834b12f9121137a82 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a679dccaead0b6e03d30143f9bf60efb0 inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a679dccaead0b6e03d30143f9bf60efb0">SkipRecursiveFunc</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func)</td></tr>
+<tr class="separator:a679dccaead0b6e03d30143f9bf60efb0 inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab9b3f0404e789f51c20a8c4ec6b85e7d inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#ab9b3f0404e789f51c20a8c4ec6b85e7d">hasCmpBranchES</a> (const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmpStmt, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="el" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &amp;es)</td></tr>
+<tr class="separator:ab9b3f0404e789f51c20a8c4ec6b85e7d inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a897c5a4f35abfc45f3038b27eefdce6a inherit pro_methods_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a897c5a4f35abfc45f3038b27eefdce6a">hasSwitchBranchES</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *var, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="el" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &amp;es)</td></tr>
+<tr class="separator:a897c5a4f35abfc45f3038b27eefdce6a inherit pro_methods_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1AE"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1AE')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1AE.html">SVF::AE</a></td></tr>
+<tr class="memitem:af42ae42a73107e29133c481f94a9161f inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">_svfir</a></td></tr>
+<tr class="memdesc:af42ae42a73107e29133c481f94a9161f inherit pro_attribs_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">protected data members, also used in subclasses  <a href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">More...</a><br /></td></tr>
+<tr class="separator:af42ae42a73107e29133c481f94a9161f inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6af90d43786ee86b68e374840d7ecfa4 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a6af90d43786ee86b68e374840d7ecfa4">_callgraph</a></td></tr>
+<tr class="separator:a6af90d43786ee86b68e374840d7ecfa4 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abea70264606aa7687d4b93e13155f96f inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVFIR2ItvExeState</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a></td></tr>
+<tr class="memdesc:abea70264606aa7687d4b93e13155f96f inherit pro_attribs_classSVF_1_1AE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Execution State, used to store the Interval Value of every <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> variable.  <a href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">More...</a><br /></td></tr>
+<tr class="separator:abea70264606aa7687d4b93e13155f96f inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae421183ec34d08f02a484f3c025e10d7 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AEAPI.html">AEAPI</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">_api</a> {nullptr}</td></tr>
+<tr class="separator:ae421183ec34d08f02a484f3c025e10d7 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a55786c19c8201ac735afa84618a65286 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a55786c19c8201ac735afa84618a65286">_icfg</a></td></tr>
+<tr class="separator:a55786c19c8201ac735afa84618a65286 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae4ad6dac726a01baf3e25d2cc1e35ffc inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AEStat.html">AEStat</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#ae4ad6dac726a01baf3e25d2cc1e35ffc">_stat</a></td></tr>
+<tr class="separator:ae4ad6dac726a01baf3e25d2cc1e35ffc inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2e3ab03a8f75497f9cc4060fb571c76c inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a2e3ab03a8f75497f9cc4060fb571c76c">_kind</a></td></tr>
+<tr class="separator:a2e3ab03a8f75497f9cc4060fb571c76c inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1194ad55118ba76071d858d66c964241 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">_bugLoc</a></td></tr>
+<tr class="separator:a1194ad55118ba76071d858d66c964241 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a73f74f2e9ecfd6870e98edee1ab6889c inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFBugReport.html">SVFBugReport</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a73f74f2e9ecfd6870e98edee1ab6889c">_recoder</a></td></tr>
+<tr class="separator:a73f74f2e9ecfd6870e98edee1ab6889c inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a89e523198459de07937a9961f57db2d1 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top">std::vector&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a89e523198459de07937a9961f57db2d1">_callSiteStack</a></td></tr>
+<tr class="separator:a89e523198459de07937a9961f57db2d1 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4ed21da186c37ab4e6a24ea26db2b5f2 inherit pro_attribs_classSVF_1_1AE"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a></td></tr>
+<tr class="separator:a4ed21da186c37ab4e6a24ea26db2b5f2 inherit pro_attribs_classSVF_1_1AE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8h_source.html#l00170">170</a> of file <a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="adcfa49d892daef07e7d4274ab8d34b6f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adcfa49d892daef07e7d4274ab8d34b6f">&#9670;&nbsp;</a></span>BufOverflowChecker()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::BufOverflowChecker::BufOverflowChecker </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8h_source.html#l00175">175</a> of file <a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                         : <a class="code" href="classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8">AE</a>()</div>
+<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    {</div>
+<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <a class="code" href="classSVF_1_1AE.html#a2e3ab03a8f75497f9cc4060fb571c76c">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
+<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a7c11b81809cb087317cbea654a589f75"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7c11b81809cb087317cbea654a589f75">&#9670;&nbsp;</a></span>addBugToRecoder()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::BufOverflowChecker::addBugToRecoder </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a> &amp;&#160;</td>
+          <td class="paramname"><em>e</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>add buffer overflow bug to recoder</p>
+<dl class="params"><dt>Parameters</dt><dd>
+  <table class="params">
+    <tr><td class="paramname">e</td><td>the exception that is thrown by <a class="el" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a> </td></tr>
+    <tr><td class="paramname">node</td><td><a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> that causes the exception </td></tr>
+  </table>
+  </dd>
+</dl>
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8cpp_source.html#l00560">560</a> of file <a class="el" href="BufOverflowChecker_8cpp_source.html">BufOverflowChecker.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;{</div>
+<div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;    <span class="keyword">const</span> SVFInstruction* inst = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> CallICFGNode* call = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node))</div>
+<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    {</div>
+<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        inst = call-&gt;getCallSite();</div>
+<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;    }</div>
+<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;    {</div>
+<div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;        inst = node-&gt;getSVFStmts().back()-&gt;getInst();</div>
+<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;    }</div>
+<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> eventStack;</div>
+<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;    SVFBugEvent sourceInstEvent(SVFBugEvent::EventType::SourceInst, inst);</div>
+<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;callsite: <a class="code" href="classSVF_1_1AE.html#a89e523198459de07937a9961f57db2d1">_callSiteStack</a>)</div>
+<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;    {</div>
+<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;        SVFBugEvent callSiteEvent(SVFBugEvent::EventType::CallSite, callsite-&gt;getCallSite());</div>
+<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        eventStack.push_back(callSiteEvent);</div>
+<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;    }</div>
+<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    eventStack.push_back(sourceInstEvent);</div>
+<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    <span class="keywordflow">if</span> (eventStack.size() == 0) <span class="keywordflow">return</span>;</div>
+<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> loc = eventStack.back().getEventLoc();</div>
+<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">_bugLoc</a>.find(loc) != <a class="code" href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">_bugLoc</a>.end())</div>
+<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    {</div>
+<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keywordflow">return</span>;</div>
+<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;    }</div>
+<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;    {</div>
+<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;        <a class="code" href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">_bugLoc</a>.insert(loc);</div>
+<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;    }</div>
+<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;    <a class="code" href="classSVF_1_1AE.html#a73f74f2e9ecfd6870e98edee1ab6889c">_recoder</a>.<a class="code" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>, eventStack, e.getAllocLb(), e.getAllocUb(), e.getAccessLb(),</div>
+<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;                           e.getAccessUb());</div>
+<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;    <a class="code" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a>[node] = e.what();</div>
+<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af8bf39f9fa9dbee39c30fb54e9af7caa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af8bf39f9fa9dbee39c30fb54e9af7caa">&#9670;&nbsp;</a></span>classof()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::BufOverflowChecker::classof </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1AE.html">AE</a> *&#160;</td>
+          <td class="paramname"><em>ae</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8h_source.html#l00180">180</a> of file <a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    {</div>
+<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        <span class="keywordflow">return</span> ae-&gt;getKind() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
+<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a52de7d619e8746a70718719306d7c5a1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a52de7d619e8746a70718719306d7c5a1">&#9670;&nbsp;</a></span>detectBufOverflow()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::BufOverflowChecker::detectBufOverflow </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>check buffer overflow at <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> which is a checkpoint</p>
+<dl class="params"><dt>Parameters</dt><dd>
+  <table class="params">
+    <tr><td class="paramname">node</td><td><a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> </td></tr>
+  </table>
+  </dd>
+</dl>
+<dl class="section return"><dt>Returns</dt><dd>true if the buffer overflow is detected </dd></dl>
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8cpp_source.html#l00503">503</a> of file <a class="el" href="BufOverflowChecker_8cpp_source.html">BufOverflowChecker.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;{</div>
+<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160; </div>
+<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    <span class="keyword">auto</span> *extapi = SVFUtil::dyn_cast&lt;BufOverflowCheckerAPI&gt;(<a class="code" href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">_api</a>);</div>
+<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span>* stmt: node-&gt;getSVFStmts())</div>
+<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    {</div>
+<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> GepStmt *gep = SVFUtil::dyn_cast&lt;GepStmt&gt;(stmt))</div>
+<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;        {</div>
+<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;            <span class="keyword">const</span> SVFVar* gepRhs = gep-&gt;getRHSVar();</div>
+<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">const</span> SVFInstruction* inst = SVFUtil::dyn_cast&lt;SVFInstruction&gt;(gepRhs-&gt;getValue()))</div>
+<div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;            {</div>
+<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;                <span class="keyword">const</span> ICFGNode* icfgNode = <a class="code" href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(inst);</div>
+<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> SVFStmt* stmt2: icfgNode-&gt;getSVFStmts())</div>
+<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;                {</div>
+<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;                    <span class="keywordflow">if</span> (<span class="keyword">const</span> GepStmt *gep2 = SVFUtil::dyn_cast&lt;GepStmt&gt;(stmt2))</div>
+<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;                    {</div>
+<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;                        <span class="keywordflow">return</span> extapi-&gt;canSafelyAccessMemory(gep2-&gt;getLHSVar()-&gt;getValue(), IntervalValue(0, 0), node);</div>
+<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;                    }</div>
+<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;                }</div>
+<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            }</div>
+<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;        }</div>
+<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> LoadStmt* load =  SVFUtil::dyn_cast&lt;LoadStmt&gt;(stmt))</div>
+<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;        {</div>
+<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(load-&gt;getRHSVarID()))</div>
+<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;            {</div>
+<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;                <a class="code" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">ExeState::Addrs</a> Addrs = <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">getAddrs</a>(load-&gt;getRHSVarID());</div>
+<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">auto</span> vaddr: Addrs)</div>
+<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                {</div>
+<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;                    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(vaddr);</div>
+<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;                    <span class="keywordflow">if</span> (extapi-&gt;_addrToGep.find(objId) != extapi-&gt;_addrToGep.end())</div>
+<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;                    {</div>
+<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;                        <span class="keyword">const</span> GepStmt* gep = extapi-&gt;_addrToGep.at(objId);</div>
+<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;                        <span class="keywordflow">return</span> extapi-&gt;canSafelyAccessMemory(gep-&gt;getLHSVar()-&gt;getValue(), IntervalValue(0, 0), node);</div>
+<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;                    }</div>
+<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;                }</div>
+<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;            }</div>
+<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;        }</div>
+<div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> StoreStmt* store =  SVFUtil::dyn_cast&lt;StoreStmt&gt;(stmt))</div>
+<div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;        {</div>
+<div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(store-&gt;getLHSVarID()))</div>
+<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;            {</div>
+<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;                <a class="code" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">ExeState::Addrs</a> Addrs = <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">getAddrs</a>(store-&gt;getLHSVarID());</div>
+<div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">auto</span> vaddr: Addrs)</div>
+<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;                {</div>
+<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;                    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(vaddr);</div>
+<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;                    <span class="keywordflow">if</span> (extapi-&gt;_addrToGep.find(objId) != extapi-&gt;_addrToGep.end())</div>
+<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;                    {</div>
+<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;                        <span class="keyword">const</span> GepStmt* gep = extapi-&gt;_addrToGep.at(objId);</div>
+<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;                        <span class="keywordflow">return</span> extapi-&gt;canSafelyAccessMemory(gep-&gt;getLHSVar()-&gt;getValue(), IntervalValue(0, 0), node);</div>
+<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;                    }</div>
+<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;                }</div>
+<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;            }</div>
+<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        }</div>
+<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    }</div>
+<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a13b4beca209f7d306cf0a6065987a489"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a13b4beca209f7d306cf0a6065987a489">&#9670;&nbsp;</a></span>handleICFGNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::BufOverflowChecker::handleICFGNode </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">private</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>handle <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> regarding buffer overflow checking</p>
+<dl class="params"><dt>Parameters</dt><dd>
+  <table class="params">
+    <tr><td class="paramname">node</td><td><a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> </td></tr>
+  </table>
+  </dd>
+</dl>
+<p>Reimplemented from <a class="el" href="classSVF_1_1AE.html#aefab5dde7df823dc4038fe3f1918624d">SVF::AE</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8cpp_source.html#l00496">496</a> of file <a class="el" href="BufOverflowChecker_8cpp_source.html">BufOverflowChecker.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;{</div>
+<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    <a class="code" href="classSVF_1_1AE.html#aefab5dde7df823dc4038fe3f1918624d">AE::handleICFGNode</a>(node);</div>
+<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    <a class="code" href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">detectBufOverflow</a>(node);</div>
+<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0b79c3694a08100d2d8d1b8109998131"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0b79c3694a08100d2d8d1b8109998131">&#9670;&nbsp;</a></span>handleSVFStatement()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::BufOverflowChecker::handleSVFStatement </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *&#160;</td>
+          <td class="paramname"><em>stmt</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">private</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>handle <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> statement regarding buffer overflow checking</p>
+<dl class="params"><dt>Parameters</dt><dd>
+  <table class="params">
+    <tr><td class="paramname">stmt</td><td><a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> statement </td></tr>
+  </table>
+  </dd>
+</dl>
+<p>Reimplemented from <a class="el" href="classSVF_1_1AE.html#a0fdd00ba2e2c826043bb481e67fae397">SVF::AE</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8cpp_source.html#l00061">61</a> of file <a class="el" href="BufOverflowChecker_8cpp_source.html">BufOverflowChecker.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;{</div>
+<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <a class="code" href="classSVF_1_1AE.html#a0fdd00ba2e2c826043bb481e67fae397">AE::handleSVFStatement</a>(stmt);</div>
+<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="comment">// for gep stmt, add the gep stmt to the addrToGep map</span></div>
+<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> GepStmt *gep = SVFUtil::dyn_cast&lt;GepStmt&gt;(stmt))</div>
+<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> addrID: <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">getAddrs</a>(gep-&gt;getLHSVarID()))</div>
+<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        {</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> objId = <a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addrID);</div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">auto</span>* extapi = SVFUtil::dyn_cast&lt;BufOverflowCheckerAPI&gt;(<a class="code" href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">_api</a>))</div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;                extapi-&gt;_addrToGep[objId] = gep;</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        }</div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a4787d2e56aa374763656b7942f0ed52f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4787d2e56aa374763656b7942f0ed52f">&#9670;&nbsp;</a></span>initExtAPI()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::BufOverflowChecker::initExtAPI </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Reimplemented from <a class="el" href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">SVF::AE</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8h_source.html#l00185">185</a> of file <a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;    {</div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <a class="code" href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">_api</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">BufOverflowCheckerAPI</a>(<span class="keyword">this</span>, <a class="code" href="classSVF_1_1AE.html#ae4ad6dac726a01baf3e25d2cc1e35ffc">_stat</a>);</div>
+<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a563fed00ad732985dbe7a7e2c6525e6a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a563fed00ad732985dbe7a7e2c6525e6a">&#9670;&nbsp;</a></span>BufOverflowCheckerAPI</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">friend SVF::BufOverflowChecker::BufOverflowCheckerAPI</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="BufOverflowChecker_8h_source.html#l00172">172</a> of file <a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following files:<ul>
+<li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="BufOverflowChecker_8h_source.html">BufOverflowChecker.h</a></li>
+<li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="BufOverflowChecker_8cpp_source.html">BufOverflowChecker.cpp</a></li>
+</ul>
+</div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a05f395eff23619ed10c31c0acda949e2"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport::addAbsExecBug</a></div><div class="ttdeci">void addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00367">SVFBugReport.h:367</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a73f74f2e9ecfd6870e98edee1ab6889c"><div class="ttname"><a href="classSVF_1_1AE.html#a73f74f2e9ecfd6870e98edee1ab6889c">SVF::AE::_recoder</a></div><div class="ttdeci">SVFBugReport _recoder</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00247">AE.h:247</a></div></div>
+<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExeState_html_a78038dd4884a501cfc94f073021eac96"><div class="ttname"><a href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState::Addrs</a></div><div class="ttdeci">AddressValue Addrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a2e3ab03a8f75497f9cc4060fb571c76c"><div class="ttname"><a href="classSVF_1_1AE.html#a2e3ab03a8f75497f9cc4060fb571c76c">SVF::AE::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00244">AE.h:244</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a4ed21da186c37ab4e6a24ea26db2b5f2"><div class="ttname"><a href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">SVF::AE::_nodeToBugInfo</a></div><div class="ttdeci">Map&lt; const ICFGNode *, std::string &gt; _nodeToBugInfo</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00249">AE.h:249</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericBug_html_acc65b033bfd61257d5b6fdbf932dfafe"><div class="ttname"><a href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">SVF::GenericBug::EventStack</a></div><div class="ttdeci">std::vector&lt; SVFBugEvent &gt; EventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00083">SVFBugReport.h:83</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">SVF::AEKind::BufOverflowChecker</a></div><div class="ttdeci">@ BufOverflowChecker</div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a48fec38aad1c2a9a140ee94e9fdd7e9b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">SVF::SVFIR2ItvExeState::getAddrs</a></div><div class="ttdeci">Addrs &amp; getAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00104">SVFIR2ItvExeState.h:104</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">SVF::GenericBug::FULLBUFOVERFLOW</a></div><div class="ttdeci">@ FULLBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a66c426719f583653cb70189f01d6fda5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">SVF::SVFIR2ItvExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00163">SVFIR2ItvExeState.h:163</a></div></div>
+<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a52de7d619e8746a70718719306d7c5a1"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">SVF::BufOverflowChecker::detectBufOverflow</a></div><div class="ttdeci">bool detectBufOverflow(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00503">BufOverflowChecker.cpp:503</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_abea70264606aa7687d4b93e13155f96f"><div class="ttname"><a href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">SVF::AE::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2ItvExeState * _svfir2ExeState</div><div class="ttdoc">Execution State, used to store the Interval Value of every SVF variable.</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00239">AE.h:239</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_af42ae42a73107e29133c481f94a9161f"><div class="ttname"><a href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">SVF::AE::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00236">AE.h:236</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_ae4ad6dac726a01baf3e25d2cc1e35ffc"><div class="ttname"><a href="classSVF_1_1AE.html#ae4ad6dac726a01baf3e25d2cc1e35ffc">SVF::AE::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00243">AE.h:243</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a563fed00ad732985dbe7a7e2c6525e6a"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">SVF::BufOverflowChecker::BufOverflowCheckerAPI</a></div><div class="ttdeci">friend BufOverflowCheckerAPI</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00172">BufOverflowChecker.h:172</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_ae421183ec34d08f02a484f3c025e10d7"><div class="ttname"><a href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">SVF::AE::_api</a></div><div class="ttdeci">AEAPI * _api</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00240">AE.h:240</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_aefab5dde7df823dc4038fe3f1918624d"><div class="ttname"><a href="classSVF_1_1AE.html#aefab5dde7df823dc4038fe3f1918624d">SVF::AE::handleICFGNode</a></div><div class="ttdeci">virtual void handleICFGNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00746">AE.cpp:746</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a8fe629685887b4982e50b6764da3f1d8"><div class="ttname"><a href="classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8">SVF::AE::AE</a></div><div class="ttdeci">AE()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00138">AE.cpp:138</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a1194ad55118ba76071d858d66c964241"><div class="ttname"><a href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">SVF::AE::_bugLoc</a></div><div class="ttdeci">Set&lt; std::string &gt; _bugLoc</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00246">AE.h:246</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a0fdd00ba2e2c826043bb481e67fae397"><div class="ttname"><a href="classSVF_1_1AE.html#a0fdd00ba2e2c826043bb481e67fae397">SVF::AE::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt)</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00899">AE.cpp:899</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AE_html_a89e523198459de07937a9961f57db2d1"><div class="ttname"><a href="classSVF_1_1AE.html#a89e523198459de07937a9961f57db2d1">SVF::AE::_callSiteStack</a></div><div class="ttdeci">std::vector&lt; const CallICFGNode * &gt; _callSiteStack</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00248">AE.h:248</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a999c358b80dd07591b0432eaa41c20c9"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">SVF::SVFIR2ItvExeState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00120">SVFIR2ItvExeState.h:120</a></div></div>
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.17
+</small></address>
+</body>
+</html>