svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/functions_g.html

@@ -138,8 +138,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#a6492c9b80d1cc03732297c38f8a41408">SVF::SVFIRWriter</a>
 </li>
 <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>GepCGEdge()
@@ -205,33 +204,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>
@@ -323,6 +307,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>
@@ -333,9 +320,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>
@@ -359,6 +343,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>
@@ -375,12 +362,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>
@@ -485,21 +466,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>
@@ -623,9 +592,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>
@@ -704,7 +670,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>
@@ -987,7 +952,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>
@@ -999,9 +963,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>
@@ -1138,17 +1099,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>
@@ -1202,7 +1154,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo</a>
 </li>
 <li>getFlattenedElemIdxVec()
-: <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a992be4812dc2315fa0507a933a219250">SVF::StInfo</a>
 </li>
 <li>getFlattenedFieldIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
@@ -1379,7 +1331,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>
@@ -1780,7 +1732,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1911,9 +1863,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>
@@ -2019,12 +1968,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>
@@ -2036,9 +1979,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>
@@ -2137,7 +2077,7 @@ $(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()
@@ -2233,7 +2173,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2242,17 +2182,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()
@@ -2317,20 +2257,20 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <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>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
 </li>
 <li>getPtsMap()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2339,7 +2279,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#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2438,7 +2378,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2521,7 +2461,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>
@@ -2533,9 +2472,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>
@@ -2597,7 +2533,7 @@ $(function() {
 </li>
 <li>getStringArg()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2625,10 +2561,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2647,7 +2583,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2738,7 +2674,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
@@ -2755,7 +2691,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2802,9 +2738,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>
@@ -2819,7 +2752,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>
@@ -2836,7 +2768,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()
@@ -3002,10 +2934,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_h.html

@@ -115,10 +115,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>
@@ -212,9 +209,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>
@@ -307,6 +301,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>
@@ -409,7 +406,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#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -498,7 +495,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_i.html

@@ -825,9 +825,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>
@@ -838,8 +835,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>
@@ -847,9 +847,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>
@@ -863,9 +860,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>
@@ -972,9 +966,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>
@@ -982,7 +973,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9">SVF::VFGEdge</a>
 </li>
 <li>isCandidateFun()
-: <a class="el" href="classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4">SVF::TCT</a>
 </li>
 <li>isCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge</a>
@@ -1003,9 +994,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>
@@ -1144,7 +1132,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -1297,13 +1285,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">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>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1379,9 +1367,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#a5ef7edb1664ab87f00418e7808d00258">SVF::ExtAPI</a>
-</li>
 <li>isParForSite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453">SVF::ThreadCallGraph</a>
 </li>
@@ -1571,7 +1556,7 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
@@ -1583,7 +1568,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
@@ -1640,6 +1625,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>
@@ -1701,13 +1689,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</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_facade_base
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_l.html

@@ -173,7 +173,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>
 </li>
 <li>load()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">SVF::IntervalExeState</a>