svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/functions_d.html

@@ -452,11 +452,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1">SVF::Annotator</a>
 </li>
 <li>dst
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">SVF::ExtAPI::Operand</a>
-, <a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">SVF::GenericEdge&lt; NodeTy &gt;</a>
-</li>
-<li>dstID
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">SVF::ExtAPI::Operand</a>
+: <a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>dtBBsMap
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3">SVF::SVFLoopAndDomInfo</a>
@@ -468,7 +464,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar</a>
 </li>
 <li>DummyObjVar()
-: <a class="el" href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">SVF::DummyObjVar</a>
+: <a class="el" href="classSVF_1_1DummyObjVar.html#ae5e65493edff2eca47a901b15ee0dff7">SVF::DummyObjVar</a>
 </li>
 <li>DummyValNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar</a>
@@ -550,7 +546,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>DumpFree

package/SVF-doxygen/html/html/functions_e.html

@@ -136,102 +136,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853">SVF::GenericGraphWriter&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
-<li>EFT_A0R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">SVF::ExtAPI</a>
-</li>
-<li>EFT_A11R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_A0R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">SVF::ExtAPI</a>
-</li>
-<li>EFT_A2R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">SVF::ExtAPI</a>
-</li>
-<li>EFT_A2R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">SVF::ExtAPI</a>
-</li>
-<li>EFT_A3R_A1R_NS
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">SVF::ExtAPI</a>
-</li>
-<li>EFT_A4R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">SVF::ExtAPI</a>
-</li>
-<li>EFT_A4R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">SVF::ExtAPI</a>
-</li>
-<li>EFT_ALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">SVF::ExtAPI</a>
-</li>
-<li>EFT_CXA_BEGIN_CATCH
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">SVF::ExtAPI</a>
-</li>
-<li>EFT_FREE
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">SVF::ExtAPI</a>
-</li>
-<li>EFT_FREE_MULTILEVEL
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A0R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A0R_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A1_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A2R_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A1__FunPtr
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A2
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A8
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">SVF::ExtAPI</a>
-</li>
-<li>EFT_NOOP
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">SVF::ExtAPI</a>
-</li>
-<li>EFT_NOSTRUCT_ALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">SVF::ExtAPI</a>
-</li>
-<li>EFT_NULL
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">SVF::ExtAPI</a>
-</li>
-<li>EFT_REALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">SVF::ExtAPI</a>
-</li>
-<li>EFT_STAT
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">SVF::ExtAPI</a>
-</li>
-<li>EFT_STAT2
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_LIST_HOOK
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_RB_TREE_INCREMENT
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_RB_TREE_INSERT_AND_REBALANCE
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">SVF::ExtAPI</a>
-</li>
 <li>ElementIndex
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
@@ -315,7 +219,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">SVF::iter_range&lt; IteratorT &gt;</a>
 , <a class="el" href="classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef">SVF::POCRSolver</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a">SVF::PointsTo</a>
@@ -448,7 +352,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
 </li>
 <li>ExeState_TYPE
 : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState</a>
@@ -484,27 +388,12 @@ $(function() {
 <li>ExternalPAG
 : <a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">SVF::SVFIR</a>
 </li>
-<li>extFuncAtomaticOperation()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a33321283ca9940fd83117321b8589328">SVF::SVFIRBuilder</a>
-</li>
-<li>extFuncInitialization()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa54b7593a2b66bd881006e505012dd50">SVF::SVFIRBuilder</a>
-</li>
-<li>ExtFunctionOps()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#afba152f0852b4be4fcb6467de911f94a">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
-<li>extFunName
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
-<li>extFunToOps
-: <a class="el" href="classSVF_1_1ExtAPI.html#a3668c1a820ab11263e3cf646580e6e06">SVF::ExtAPI</a>
+<li>ExtFuncsVec
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd">SVF::LLVMModuleSet</a>
 </li>
 <li>extOp
 : <a class="el" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">SVF::ExtAPI</a>
 </li>
-<li>extOperations
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>extractAttributeStrFromSymbolStr()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">SVF::GrammarBase</a>
 </li>
@@ -523,12 +412,6 @@ $(function() {
 <li>extractSubVars()
 : <a class="el" href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">SVF::RelExeState</a>
 </li>
-<li>extType
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">SVF::ExtAPI</a>
-</li>
-<li>extType_toString()
-: <a class="el" href="classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7">SVF::ExtAPI</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_enum.html

@@ -127,9 +127,6 @@ $(function() {
 <li>ExeState_TYPE
 : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState</a>
 </li>
-<li>extType
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">SVF::ExtAPI</a>
-</li>
 </ul>
 
 
@@ -171,9 +168,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
 </li>
-<li>OperationType
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">SVF::ExtAPI</a>
-</li>
 </ul>
 
 

package/SVF-doxygen/html/html/functions_eval.html

@@ -69,7 +69,6 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_c.html

@@ -65,8 +65,7 @@ $(function() {
 
 <h3><a id="index_c"></a>- c -</h3><ul>
 <li>Call
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">SVF::ExtAPI</a>
-, <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
 </li>
 <li>CallCF
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge</a>
@@ -155,22 +154,9 @@ $(function() {
 </li>
 <li>Copy
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
-<li>CPP_EFT_A0R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_A0R_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_DYNAMIC_CAST
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">SVF::ExtAPI</a>
-</li>
 <li>CPU
 : <a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">SVF::SVFStat</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_e.html

@@ -64,102 +64,6 @@ $(function() {
  
 
 <h3><a id="index_e"></a>- e -</h3><ul>
-<li>EFT_A0R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">SVF::ExtAPI</a>
-</li>
-<li>EFT_A11R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_A0R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">SVF::ExtAPI</a>
-</li>
-<li>EFT_A1R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">SVF::ExtAPI</a>
-</li>
-<li>EFT_A2R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">SVF::ExtAPI</a>
-</li>
-<li>EFT_A2R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">SVF::ExtAPI</a>
-</li>
-<li>EFT_A3R_A1R_NS
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">SVF::ExtAPI</a>
-</li>
-<li>EFT_A4R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">SVF::ExtAPI</a>
-</li>
-<li>EFT_A4R_NEW
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">SVF::ExtAPI</a>
-</li>
-<li>EFT_ALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">SVF::ExtAPI</a>
-</li>
-<li>EFT_CXA_BEGIN_CATCH
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">SVF::ExtAPI</a>
-</li>
-<li>EFT_FREE
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">SVF::ExtAPI</a>
-</li>
-<li>EFT_FREE_MULTILEVEL
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A0R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A0R_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A1_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A0__A2R_A0
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A1__FunPtr
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A2
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">SVF::ExtAPI</a>
-</li>
-<li>EFT_L_A8
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">SVF::ExtAPI</a>
-</li>
-<li>EFT_NOOP
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">SVF::ExtAPI</a>
-</li>
-<li>EFT_NOSTRUCT_ALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">SVF::ExtAPI</a>
-</li>
-<li>EFT_NULL
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">SVF::ExtAPI</a>
-</li>
-<li>EFT_REALLOC
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">SVF::ExtAPI</a>
-</li>
-<li>EFT_STAT
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">SVF::ExtAPI</a>
-</li>
-<li>EFT_STAT2
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_LIST_HOOK
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_RB_TREE_INCREMENT
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">SVF::ExtAPI</a>
-</li>
-<li>EFT_STD_RB_TREE_INSERT_AND_REBALANCE
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">SVF::ExtAPI</a>
-</li>
 <li>Empty
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_eval_g.html

@@ -65,8 +65,7 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa528f93a449ef05e1d6ba18ed6a17e20">SVF::ExtAPI</a>
-, <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">SVF::VFGNode</a>
 </li>
 <li>GepObjNode

package/SVF-doxygen/html/html/functions_eval_l.html

@@ -72,7 +72,6 @@ $(function() {
 </li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa80b7a3e8a139a8103058d46c202ad33a">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_m.html

@@ -64,12 +64,6 @@ $(function() {
  
 
 <h3><a id="index_m"></a>- m -</h3><ul>
-<li>Memcpy_like
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa61473326a2a8621017c18b623033de02">SVF::ExtAPI</a>
-</li>
-<li>Memset_like
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa42c4f01de6680140a7a5fb4aa7ace9ed">SVF::ExtAPI</a>
-</li>
 <li>MInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_o.html

@@ -73,9 +73,6 @@ $(function() {
 <li>Or
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
 </li>
-<li>Other
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa9d11849e025411eb0566cadcf40c7a0">SVF::ExtAPI</a>
-</li>
 <li>OUT
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5">SVF::FlowSensitiveStat</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_r.html

@@ -64,9 +64,6 @@ $(function() {
  
 
 <h3><a id="index_r"></a>- r -</h3><ul>
-<li>Rb_tree_ops
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e">SVF::ExtAPI</a>
-</li>
 <li>Ret
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt</a>
 </li>
@@ -88,9 +85,6 @@ $(function() {
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>
 </li>
-<li>Return
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742">SVF::ExtAPI</a>
-</li>
 <li>REVERSE_DENSE
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6">SVF::NodeIDAllocator</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_s.html

@@ -117,7 +117,6 @@ $(function() {
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_f.html

@@ -70,9 +70,6 @@ $(function() {
 <li>FAdd
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">SVF::BinaryOPStmt</a>
 </li>
-<li>falseBranch_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -130,12 +127,12 @@ $(function() {
 <li>fieldExpand()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129">SVF::AndersenSFR</a>
 </li>
-<li>fieldReps
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
-</li>
 <li>FieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
 </li>
+<li>fieldReps
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
+</li>
 <li>FieldS_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61">SVF::PointerAnalysis</a>
 </li>
@@ -167,7 +164,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3">SVF::FilePartialCloseBug</a>
 </li>
 <li>fill()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#a176a1ff069006c017494f91ad05642bc">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#acf9e9edfa997b49db0ddcc8bee88de85">SVF::SVFIRReader</a>
 </li>
 <li>fillAttribute()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">SVF::CFGNormalizer</a>
@@ -212,7 +209,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31">SVF::List&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>find_first()
 : <a class="el" href="classSVF_1_1PointsTo.html#a17c66a466bbea93598bca73d82c95479">SVF::PointsTo</a>
@@ -563,7 +560,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994">SVF::ICFGNode</a>
 </li>
 <li>FunEntryICFGNode()
-: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31">SVF::FunEntryICFGNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a7dd691564b9d7f760678a99977a2d655">SVF::FunEntryICFGNode</a>
 </li>
 <li>funEntryNode
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61">SVF::FormalINSVFGNode</a>
@@ -572,7 +569,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8">SVF::ICFGNode</a>
 </li>
 <li>FunExitICFGNode()
-: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b">SVF::FunExitICFGNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a6abaea905a008e27d61ef31bd877dc0e">SVF::FunExitICFGNode</a>
 </li>
 <li>funExitNode
 : <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748">SVF::FormalOUTSVFGNode</a>
@@ -610,24 +607,24 @@ $(function() {
 <li>FunToArgsListMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">SVF::SVFIR</a>
 </li>
-<li>funToCallGraphNodeMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
-</li>
 <li>FunToCallGraphNodeMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
 </li>
+<li>funToCallGraphNodeMap
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
+</li>
 <li>funToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
 <li>FunToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
 </li>
-<li>funToExitBBsMap
-: <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3">SVF::SaberCondAllocator</a>
-</li>
 <li>FunToExitBBsMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678">SVF::SaberCondAllocator</a>
 </li>
+<li>funToExitBBsMap
+: <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3">SVF::SaberCondAllocator</a>
+</li>
 <li>funToFormalINMap
 : <a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG</a>
 </li>
@@ -667,12 +664,12 @@ $(function() {
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html

@@ -106,9 +106,6 @@ $(function() {
 <li>ActualRetVFGNode()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode</a>
 </li>
-<li>add_entry()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a112b27cba6b2be4f4c1f452d5ee627b4">SVF::ExtAPI</a>
-</li>
 <li>addAbsExecBug()
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport</a>
 </li>
@@ -267,7 +264,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f62f737be41d8b275d82bcb8112d2d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder</a>
 </li>
 <li>addCondIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585">SVF::LockAnalysis</a>
@@ -860,15 +857,6 @@ $(function() {
 <li>addSUStat()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>addSVFExtCallInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac241e1fb02c2705120d726ca19505385">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6f6a19eebec1a76b84bd6a2c5604026e">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtRetInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab0066684423d972c3d4e768fdb172c19">SVF::SVFIRBuilder</a>
-</li>
 <li>addSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG</a>
 </li>
@@ -983,7 +971,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
@@ -1020,12 +1008,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()