svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/functions_func_e.html

@@ -206,7 +206,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#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState</a>
 </li>
 <li>existsVar()
 : <a class="el" href="classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052">SVF::RelExeState</a>
@@ -227,15 +227,6 @@ $(function() {
 <li>extendTo()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349">SVF::CoreBitVector</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#a8decc1ccc19d604d9e0aca09044ee381">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>extractAttributeStrFromSymbolStr()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">SVF::GrammarBase</a>
 </li>
@@ -254,9 +245,6 @@ $(function() {
 <li>extractSubVars()
 : <a class="el" href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">SVF::RelExeState</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_func_g.html

@@ -139,33 +139,18 @@ $(function() {
 <li>get_cond()
 : <a class="el" href="classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe">SVF::CondVar&lt; Cond &gt;</a>
 </li>
-<li>get_FunJson()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">SVF::ExtAPI</a>
-</li>
 <li>get_id()
 : <a class="el" href="classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a">SVF::CondVar&lt; Cond &gt;</a>
 </li>
-<li>get_name()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac3e34227968d6a2835d63b1052da3c1a">SVF::ExtAPI</a>
-</li>
 <li>get_numeral_int()
 : <a class="el" href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr</a>
 </li>
 <li>get_numeral_int64()
 : <a class="el" href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr</a>
 </li>
-<li>get_opArgs()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23">SVF::ExtAPI</a>
-</li>
-<li>get_opName()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a1930d622cd47f7fd875e1964b65ec506">SVF::ExtAPI</a>
-</li>
 <li>get_sort()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
 </li>
-<li>get_type()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41">SVF::ExtAPI</a>
-</li>
 <li>getAbstractState()
 : <a class="el" href="classSVF_1_1SymState.html#ace7b6c80e86443e8bda390d8281be250">SVF::SymState</a>
 </li>
@@ -257,6 +242,9 @@ $(function() {
 <li>getAndersenAnalysis()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>getAnnotations()
+: <a class="el" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">SVF::SVFFunction</a>
+</li>
 <li>getArg()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVF::SVFFunction</a>
 </li>
@@ -267,9 +255,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a93c083aa8f3f3ef28fe80e9aaf70dfb5">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst</a>
 </li>
-<li>getArgPos()
-: <a class="el" href="classSVF_1_1ExtAPI.html#af9462a56a96fcbf93252b9b51166987d">SVF::ExtAPI</a>
-</li>
 <li>getArgument()
 : <a class="el" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">SVF::CallSite</a>
 </li>
@@ -293,6 +278,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR</a>
 </li>
+<li>getBaseTypeAndFlattenedFields()
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa7e7b3dba00201972783f93c35cadad9">SVF::SVFIRBuilder</a>
+</li>
 <li>getBaseValueForExtArg()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a892ab8cad098e9e9d8425e7f05e35c59">SVF::SVFIRBuilder</a>
 </li>
@@ -309,12 +297,6 @@ $(function() {
 <li>getBasicBlockList()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">SVF::SVFFunction</a>
 </li>
-<li>getBasicOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aa30cad33a0459e1eb06a0d0bc6dd0874">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>getBasicOperation()
-: <a class="el" href="classSVF_1_1ExtAPI.html#af3356452592b0c37fa0cf29d21dcab6b">SVF::ExtAPI</a>
-</li>
 <li>getBB()
 : <a class="el" href="classSVF_1_1ICFGNode.html#ae7e734f4ceca40c6cf46f16d088780ca">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a456aaaef63d384d9789efbbec2837a33">SVF::SVFStmt</a>
@@ -419,21 +401,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a5a537e2f89e8cfe10a2d16ae1654be6e">SVF::MHP</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a3817cef291fee72ca902b0196225231e">SVF::ThreadAPI</a>
 </li>
-<li>getCalleeArguments()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a09e9f394960dd2907efdff66e6d7c274">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>getCalleeName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a821c6f857dec6dc7ed85b918b86d304b">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>getCalleeOfCallSite()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">SVF::PTACallGraph</a>
 </li>
-<li>getCalleeOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#afbb3c0d51624c3cfce2ef0e70dff5dcd">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>getCalleeReturn()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a4475c0c82773f5437d6b870c42719fe8">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>getCallees()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec">SVF::PTACallGraph</a>
 </li>
@@ -557,9 +527,6 @@ $(function() {
 <li>getCallSiteToMuSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">SVF::MemSSA</a>
 </li>
-<li>getCallStmtNum()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a3d284974561e173762d173d4ae466817">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>getCandidateQueries()
 : <a class="el" href="classSVF_1_1DDAClient.html#a6f50b9a26f66e716acf163cc77030e5f">SVF::DDAClient</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -638,7 +605,6 @@ $(function() {
 </li>
 <li>getCondition()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a3899beb4ec601b3b1d2c488ef35b5a8a">SVF::ExtAPI::ExtOperation</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt</a>
 </li>
@@ -921,7 +887,6 @@ $(function() {
 <li>getDstID()
 : <a class="el" href="classSVF_1_1AssignStmt.html#a99963aa3c401031b040168284eee5f2e">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#ad188174084e4d1e641de4c7270e15d71">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a400b778765605f10be2b01b21ef3d129">SVF::ExtAPI::Operand</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#a4b5273864f38ae2e7337cdd624a351ab">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#ab6bbdbe6674680665f0f4b68169c81c1">SVF::UnaryOPStmt</a>
@@ -933,9 +898,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#aebcdd46f666ae9e6f0b0bf1a792a145a">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce">SVF::UnaryOPStmt</a>
 </li>
-<li>getDstValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#acb1ed4536708a8d254b045529ba8205e">SVF::ExtAPI::Operand</a>
-</li>
 <li>getEBNFSigns()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">SVF::GrammarBase</a>
 </li>
@@ -1072,17 +1034,8 @@ $(function() {
 <li>getExternalNode()
 : <a class="el" href="classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626">SVF::PointsTo</a>
 </li>
-<li>getExtFunctionOps()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a8f7e26509cb873841e84fa7116774cbe">SVF::ExtAPI</a>
-</li>
-<li>getExtFunName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aa18e4ecbaa50231f99b49bc5ef9f1331">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
-<li>getExtID()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a22303cbfa377e75a9ca6f80fe3090837">SVF::SVFIRBuilder</a>
-</li>
-<li>getFalseBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a7729a39bec854fb5b5347397d9f04b">SVF::ExtAPI::ExtOperation</a>
+<li>getExtFuncAnnotation()
+: <a class="el" href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI</a>
 </li>
 <li>getFalseCond()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a9d81f792b6a8b15395a63d06daf56573">SVF::ProgSlice</a>
@@ -1313,7 +1266,7 @@ $(function() {
 </li>
 <li>getGepValVar()
 : <a class="el" href="classSVF_1_1SVFIR.html#ad0977d55d947bdccd98d61c66d3f0cc7">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0c2e8a7b9aeabf88618775d1ae57f276">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae4516ec05eabece1bc8e0cad1ec8cf1c">SVF::SVFIRBuilder</a>
 </li>
 <li>getGlobalICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0">SVF::ICFG</a>
@@ -1645,7 +1598,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntervalExeState.html#aea4e2221b11824ac6b37667ac0bf25f3">SVF::IntervalExeState</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
 </li>
 <li>getLoopAndDomInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">SVF::SVFFunction</a>
@@ -1713,8 +1666,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1845,9 +1798,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
-<li>getNodeIDType()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a2531eb3ef37af4aff095db0cef438934">SVF::ExtAPI</a>
-</li>
 <li>getNodeKind()
 : <a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
@@ -1938,7 +1888,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">SVF::IRGraph</a>
@@ -1953,12 +1903,6 @@ $(function() {
 <li>getObjSym()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a7cf19b236d4e44f8ae8da9b303466b36">SVF::SymbolTableInfo</a>
 </li>
-<li>getOffsetOrSize()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a88ced5673e794a9dbc486cc5b15d1932">SVF::ExtAPI::Operand</a>
-</li>
-<li>getOffsetOrSizeStr()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#af3fe2b022c36d228e9bc7050ea39118e">SVF::ExtAPI::Operand</a>
-</li>
 <li>getOffsetVarAndGepTypePairVec()
 : <a class="el" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">SVF::AccessPath</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#acce9e813dbca30e0264dac6c89ea72af">SVF::GepStmt</a>
@@ -1970,9 +1914,6 @@ $(function() {
 <li>getOperand()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
-<li>getOperations()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a7922ddef3872e958d629b6d691b9cc4f">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>getOpICFGNode()
 : <a class="el" href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt</a>
 </li>
@@ -2071,11 +2012,11 @@ $(function() {
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2173,17 +2114,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
 </li>
 <li>getPreds()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177">SVF::POCRSolver</a>
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
@@ -2256,7 +2197,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2270,7 +2211,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2337,7 +2278,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2452,7 +2393,6 @@ $(function() {
 <li>getSrcID()
 : <a class="el" href="classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a672e8dd7a153def307b566ad65724230">SVF::ExtAPI::Operand</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d">SVF::UnaryOPStmt</a>
@@ -2464,9 +2404,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92">SVF::UnaryOPStmt</a>
 </li>
-<li>getSrcValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#acf56f7ccd727d97f3de1de30f86cc6fb">SVF::ExtAPI::Operand</a>
-</li>
 <li>getSSAVersion()
 : <a class="el" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer</a>
 </li>
@@ -2553,13 +2490,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2733,9 +2670,6 @@ $(function() {
 <li>getTotalSymNum()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5">SVF::SymbolTableInfo</a>
 </li>
-<li>getTrueBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ab705c6e7a1969a8276a96b7159bc294d">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>getTrueCond()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a59cbb196069a863830b05904f16a190e">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#ab9d7f1f5c5f22b190ec34255dead41b3">SVF::SaberCondAllocator</a>
@@ -2750,7 +2684,6 @@ $(function() {
 <li>getType()
 : <a class="el" href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
-, <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ae266107bc7a98aee85b30e25bb8f0fc0">SVF::ExtAPI::Operand</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#a1134621fcfa81732f882784aa4197e11">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a1e2309d2f36422a15216f9916325e554">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">SVF::MemObj</a>
@@ -2767,7 +2700,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()

package/SVF-doxygen/html/html/functions_func_h.html

@@ -112,10 +112,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph</a>
 </li>
 <li>handleExtCall()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a72df6ed8720f609607c8a00a254d881f">SVF::SVFIRBuilder</a>
-</li>
-<li>handleExtCallStat()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaa6191fa37723bba849e6eae2decc7b9">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b">SVF::SVFIRBuilder</a>
 </li>
 <li>handleFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561">SVF::ForkJoinAnalysis</a>
@@ -205,9 +202,6 @@ $(function() {
 <li>has_static()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI</a>
 </li>
-<li>has_static2()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5">SVF::ExtAPI</a>
-</li>
 <li>hasActualINSVFGNodes()
 : <a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">SVF::SVFG</a>
 </li>
@@ -300,6 +294,9 @@ $(function() {
 <li>hasEdgeDestLabels()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>hasExtFuncAnnotation()
+: <a class="el" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI</a>
+</li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode</a>
@@ -386,10 +383,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
 </li>
 <li>hasLoopInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">SVF::SVFFunction</a>
@@ -402,7 +399,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -417,7 +414,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -488,7 +485,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -453,9 +453,6 @@ $(function() {
 <li>is_bool()
 : <a class="el" href="classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900">SVF::Z3Expr</a>
 </li>
-<li>is_dealloc()
-: <a class="el" href="classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1">SVF::ExtAPI</a>
-</li>
 <li>is_ext()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI</a>
 </li>
@@ -466,8 +463,11 @@ $(function() {
 <li>is_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral</a>
 </li>
-<li>is_memset_or_memcpy()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0">SVF::ExtAPI</a>
+<li>is_memcpy()
+: <a class="el" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI</a>
+</li>
+<li>is_memset()
+: <a class="el" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI</a>
 </li>
 <li>is_minus_infinite()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr</a>
@@ -475,9 +475,6 @@ $(function() {
 <li>is_minus_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral</a>
 </li>
-<li>is_noop()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f">SVF::ExtAPI</a>
-</li>
 <li>is_numeral()
 : <a class="el" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr</a>
@@ -491,9 +488,6 @@ $(function() {
 <li>is_realloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI</a>
 </li>
-<li>is_sameSignature()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b">SVF::ExtAPI</a>
-</li>
 <li>is_true()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr</a>
 </li>
@@ -597,9 +591,6 @@ $(function() {
 <li>isCallIndirectVFGEdge()
 : <a class="el" href="classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077">SVF::VFGEdge</a>
 </li>
-<li>isCallOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>isCallSiteRetSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">SVF::SVFG</a>
 </li>
@@ -628,9 +619,6 @@ $(function() {
 <li>isConnectingTwoCallSites()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d">SVF::SVFGOPT</a>
 </li>
-<li>isConOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>isConstantArray()
 : <a class="el" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">SVF::ObjTypeInfo</a>
@@ -822,7 +810,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -912,7 +900,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -991,9 +979,6 @@ $(function() {
 <li>isOutOfBudgetQuery()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>isOverwrittenAppFunction()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a370b7d654a2f48226a848a5f1d7fb234">SVF::ExtAPI</a>
-</li>
 <li>isParForSite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453">SVF::ThreadCallGraph</a>
 </li>
@@ -1016,7 +1001,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1168,13 +1153,13 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1185,7 +1170,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
@@ -1231,6 +1216,9 @@ $(function() {
 <li>isUnreachable()
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4">SVF::SVFLoopAndDomInfo</a>
 </li>
+<li>isUsedExtFunction()
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#aa259d688db36387c824ebfa741d4692d">SVF::LLVMModuleSet</a>
+</li>
 <li>isValidPointer()
 : <a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">SVF::SVFIR</a>
 </li>
@@ -1283,10 +1271,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_func_n.html

@@ -103,9 +103,6 @@ $(function() {
 <li>nextSetIndex()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383">SVF::CoreBitVector</a>
 </li>
-<li>no_struct_alloc()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe">SVF::ExtAPI</a>
-</li>
 <li>node()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode</a>
 </li>