svf-tools 1.0.892 → 1.0.894

package/SVF-doxygen/html/namespaceSVF.html

@@ -112,8 +112,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrVFGNode.html">AddrVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html">AEAPI</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html">AEStat</a></td></tr>
 <tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE.  <a href="classSVF_1_1AEStat.html#details">More...</a><br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -158,8 +156,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html">BufOverflowCheckerAPI</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a></td></tr>
@@ -5254,11 +5250,11 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 <tr><td class="fieldname"><a id="a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd"></a>BufOverflowChecker&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00050">50</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;{</div>
-<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AbstractExecution</a>,</div>
-<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">BufOverflowChecker</a>,</div>
-<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;};</div>
+<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00046">46</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;{</div>
+<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AbstractExecution</a>,</div>
+<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">BufOverflowChecker</a>,</div>
+<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;};</div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/search/all_0.js

@@ -16,8 +16,8 @@ var searchData=
   ['_5faccesslb_13',['_accessLb',['../structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0',1,'SVF::BufOverflowException']]],
   ['_5faccessub_14',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
   ['_5faddrs_15',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5faddrtogep_16',['_addrToGep',['../classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03',1,'SVF::BufOverflowCheckerAPI']]],
-  ['_5fae_17',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat::_ae()'],['../classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded',1,'SVF::AEAPI::_ae()']]],
+  ['_5faddrtogep_16',['_addrToGep',['../classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037',1,'SVF::BufOverflowChecker']]],
+  ['_5fae_17',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat']]],
   ['_5fallcomponents_18',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
   ['_5falloclb_19',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
   ['_5fallocub_20',['_allocUb',['../structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca',1,'SVF::BufOverflowException']]],
@@ -38,8 +38,8 @@ var searchData=
   ['_5fcallgraph_35',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
   ['_5fcallgraphscc_36',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
   ['_5fcallsitestack_37',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
-  ['_5fcheckpoint_5fnames_38',['_checkpoint_names',['../classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f',1,'SVF::AEAPI']]],
-  ['_5fcheckpoints_39',['_checkpoints',['../classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361',1,'SVF::AEAPI']]],
+  ['_5fcheckpoint_5fnames_38',['_checkpoint_names',['../classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3',1,'SVF::AbstractExecution']]],
+  ['_5fcheckpoints_39',['_checkpoints',['../classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9',1,'SVF::AbstractExecution']]],
   ['_5fclient_40',['_client',['../classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b',1,'SVF::ContextDDA::_client()'],['../classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f',1,'SVF::DDAPass::_client()'],['../classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9',1,'SVF::FlowDDA::_client()']]],
   ['_5fcomponents_41',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
   ['_5fcondpts_42',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
@@ -53,9 +53,9 @@ var searchData=
   ['_5fentry_50',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
   ['_5fes_51',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
   ['_5fexestate_52',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fextapibufoverflowcheckrules_53',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc',1,'SVF::BufOverflowCheckerAPI']]],
-  ['_5ffunc_5fmap_54',['_func_map',['../classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f',1,'SVF::AEAPI']]],
-  ['_5ffunctowto_55',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#abe2d42c3c107d54aa89ee8e6ea718dfc',1,'SVF::AbstractExecution']]],
+  ['_5fextapibufoverflowcheckrules_53',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d',1,'SVF::BufOverflowChecker']]],
+  ['_5ffunc_5fmap_54',['_func_map',['../classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135',1,'SVF::AbstractExecution']]],
+  ['_5ffunctowto_55',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f',1,'SVF::AbstractExecution']]],
   ['_5fgraph_56',['_graph',['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47',1,'SVF::WTO::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
   ['_5fhead_57',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
   ['_5fheads_58',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
@@ -65,7 +65,7 @@ var searchData=
   ['_5finscc_62',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
   ['_5fispwcnode_63',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
   ['_5fkeynodesset_64',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_65',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70',1,'SVF::AbstractExecution::_kind()'],['../classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492',1,'SVF::AEAPI::_kind()']]],
+  ['_5fkind_65',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70',1,'SVF::AbstractExecution::_kind()']]],
   ['_5fla_66',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
   ['_5flb_67',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
   ['_5floctoaddrs_68',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
@@ -88,7 +88,7 @@ var searchData=
   ['_5fnodecontrolmap_85',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
   ['_5fnodedependentonmap_86',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
   ['_5fnodesccauxinfo_87',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetobuginfo_88',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1',1,'SVF::AbstractExecution']]],
+  ['_5fnodetobuginfo_88',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96',1,'SVF::AbstractExecution']]],
   ['_5fnodetocdn_89',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
   ['_5fnodetodepth_90',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
   ['_5fnodetowtocycledepth_91',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
@@ -147,14 +147,14 @@ var searchData=
   ['_5fscc_144',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
   ['_5fss_145',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
   ['_5fstack_146',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
-  ['_5fstat_147',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution::_stat()'],['../classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3',1,'SVF::AEAPI::_stat()']]],
+  ['_5fstat_147',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution']]],
   ['_5fstrongupdatestores_148',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
   ['_5fsubnodes_149',['_subNodes',['../classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7',1,'SVF::ICFG::_subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo::_subNodes()']]],
   ['_5fsvfcontrolmap_150',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
   ['_5fsvfdependentonmap_151',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
   ['_5fsvfg_152',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
   ['_5fsvfgscc_153',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_154',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60',1,'SVF::AEAPI::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
+  ['_5fsvfir_154',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
   ['_5fsvfir2exestate_155',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
   ['_5fswitch_5flhsrhs_5fpredicate_156',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
   ['_5ft_157',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],

package/SVF-doxygen/html/search/all_1.js

@@ -15,10 +15,10 @@ var searchData=
   ['accept_202',['accept',['../classSVF_1_1WTOComponent.html#a2b92d79dd17e8d89f2441c5655157b80',1,'SVF::WTOComponent::accept()'],['../classSVF_1_1WTONode.html#a26f8f157a0661fff8d9f4f38d21a6445',1,'SVF::WTONode::accept()'],['../classSVF_1_1WTOCycle.html#acb7a52e66c5ef16f01cf6b7637578fcd',1,'SVF::WTOCycle::accept()'],['../classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4',1,'SVF::WTO::accept()']]],
   ['accessglobal_203',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
   ['accesslowerbound_204',['accessLowerBound',['../classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c',1,'SVF::BufferOverflowBug']]],
-  ['accessmemoryviacallargs_205',['AccessMemoryViaCallArgs',['../classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f',1,'SVF::AEAPI']]],
-  ['accessmemoryviacopystmt_206',['AccessMemoryViaCopyStmt',['../classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70',1,'SVF::AEAPI']]],
-  ['accessmemoryvialoadstmt_207',['AccessMemoryViaLoadStmt',['../classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8',1,'SVF::AEAPI']]],
-  ['accessmemoryviaretnode_208',['AccessMemoryViaRetNode',['../classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde',1,'SVF::AEAPI']]],
+  ['accessmemoryviacallargs_205',['AccessMemoryViaCallArgs',['../classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f',1,'SVF::AbstractExecution']]],
+  ['accessmemoryviacopystmt_206',['AccessMemoryViaCopyStmt',['../classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801',1,'SVF::AbstractExecution']]],
+  ['accessmemoryvialoadstmt_207',['AccessMemoryViaLoadStmt',['../classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60',1,'SVF::AbstractExecution']]],
+  ['accessmemoryviaretnode_208',['AccessMemoryViaRetNode',['../classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5',1,'SVF::AbstractExecution']]],
   ['accesspair_209',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator::AccessPair'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)']]],
   ['accesspairs_210',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a90f7d527816acf808e3e54c2a4ed0532',1,'SVF::RaceResultValidator']]],
   ['accesspath_211',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF::AccessPath'],['../classSVF_1_1AccessPath.html#abf31f0f9dfc65634e3054bdbec69de81',1,'SVF::AccessPath::AccessPath(APOffset o=0, const SVFType *srcTy=nullptr)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
@@ -368,7 +368,7 @@ var searchData=
   ['advancetofirstnonzero_555',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
   ['advancetonextnonzero_556',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
   ['ae_2ecpp_557',['ae.cpp',['../ae_8cpp.html',1,'']]],
-  ['aeapi_558',['AEAPI',['../classSVF_1_1AEAPI.html',1,'SVF::AEAPI'],['../classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9',1,'SVF::AbstractExecution::AEAPI()'],['../classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a',1,'SVF::AEAPI::AEAPI()']]],
+  ['aeapi_558',['AEAPI',['../classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9',1,'SVF::AbstractExecution']]],
   ['aekind_559',['AEKind',['../namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88',1,'SVF']]],
   ['aestat_560',['AEStat',['../classSVF_1_1AEStat.html',1,'SVF::AEStat'],['../classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208',1,'SVF::AbstractExecution::AEStat()'],['../classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d',1,'SVF::AEStat::AEStat()']]],
   ['after_5finserted_561',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],