svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/functions_c.html

@@ -75,12 +75,7 @@ $(function() {
 </li>
 <li>call
 : <a class="el" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE</a>
-</li>
-<li>Call
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">SVF::ExtAPI</a>
-</li>
-<li>call
-: <a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE</a>
 </li>
 <li>Call
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
@@ -120,18 +115,6 @@ $(function() {
 <li>calledVal
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst</a>
 </li>
-<li>callee_arguments
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_name
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_return
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>Caller
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent</a>
 </li>
@@ -240,9 +223,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08">SVF::SVFG</a>
 </li>
-<li>callOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>CallPE()
 : <a class="el" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">SVF::CallPE</a>
 </li>
@@ -378,9 +358,6 @@ $(function() {
 <li>CallSiteToVTableSetMap
 : <a class="el" href="classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac">SVF::CHGraph</a>
 </li>
-<li>callStmtNum
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>CallToInstMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb">SVF::ThreadCallGraph</a>
 </li>
@@ -739,7 +716,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
-, <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
@@ -1061,7 +1038,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -1144,7 +1121,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -1238,9 +1215,6 @@ $(function() {
 <li>CondImpl
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292">SVF::PointerAnalysis</a>
 </li>
-<li>condition
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>Condition
 : <a class="el" href="classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a">SVF::MemSSA</a>
@@ -1265,7 +1239,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221">SVF::SaberCondAllocator</a>
@@ -1289,7 +1263,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1360,9 +1334,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">SVF::AliasCFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder</a>
 </li>
-<li>conOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>consCG
 : <a class="el" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase</a>
 </li>
@@ -1373,7 +1344,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1418,7 +1389,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
@@ -1500,7 +1471,7 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a1efd4603f577338128d48c541e5cbddb">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a4319f5b80cf599a9364dfe791adfa2bf">SVF::SVFIRWriter</a>
 </li>
 <li>context
 : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1511,7 +1482,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1524,12 +1495,11 @@ $(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>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1547,10 +1517,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1572,18 +1542,6 @@ $(function() {
 <li>countSumEdges()
 : <a class="el" href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase</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>cpts
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
@@ -1866,7 +1824,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1886,12 +1844,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>cxtLockset
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
 </li>
+<li>cxtLockset
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1901,12 +1859,12 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>cxtLocktoSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
+<li>cxtLocktoSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
@@ -1930,23 +1888,21 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
-<li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1965,7 +1921,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

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>