svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/functions_s.html

@@ -224,9 +224,6 @@ $(function() {
 <li>setBaseNode()
 : <a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">SVF::GepObjVar</a>
 </li>
-<li>setBasicOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ad855d88d7bb5ad8cc830bc16c68c8e0c">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setBB()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d">SVF::SVFStmt</a>
 </li>
@@ -243,30 +240,12 @@ $(function() {
 <li>setCalledOperand()
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91">SVF::SVFCallInst</a>
 </li>
-<li>setCalleeArguments()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a226fdc0e1a042362ddb4932985380bb9">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ae02f2ece898788fba63be881f6933737">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#acd6c8f25a60553838da38cd95c511df4">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeReturn()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a30442030f29343602c7beb9ff7b86b">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setCallGraph()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>setCallGraphSCC()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>setCallOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7f91d7cc64fc7a201abd8f2a50bd8515">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCallStmtNum()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8ae0261c6840d7fd168b7ca9492b573e">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>setCDN()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -279,12 +258,6 @@ $(function() {
 <li>setCondInst()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb">SVF::SaberCondAllocator</a>
 </li>
-<li>setCondition()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a9c704685bd6e4e6c14ebbec6a9154200">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setConOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a0f01a1637d9aa0c75ef25df0566ecf7f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setConstDataOrAggData()
 : <a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">SVF::SVFValue</a>
 </li>
@@ -334,12 +307,6 @@ $(function() {
 <li>setDetectPWC()
 : <a class="el" href="classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794">SVF::Andersen</a>
 </li>
-<li>setDstID()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac55f2f1e2618664fa1997f998a6c52d5">SVF::ExtAPI::Operand</a>
-</li>
-<li>setDstValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a798ee2bb519bb26c71afbb3bfa524df5">SVF::ExtAPI::Operand</a>
-</li>
 <li>setEBNFSigns()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">SVF::GrammarBase</a>
 </li>
@@ -353,12 +320,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>setExtFunName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ad4dffa55424ae06f1d3fba4654a0a107">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
-<li>setFalseBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af629e2baaa18f5663fe4c17565629ed6">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setFieldInsensitive()
 : <a class="el" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj</a>
 </li>
@@ -500,15 +461,6 @@ $(function() {
 <li>setOffset()
 : <a class="el" href="classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977">SVF::DCHEdge</a>
 </li>
-<li>setOffsetOrSize()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ae768fbf44ca01515e3ef553c41d10c22">SVF::ExtAPI::Operand</a>
-</li>
-<li>setOffsetOrSizeStr()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac1ba5035a89a7d4070d928b3c29826de">SVF::ExtAPI::Operand</a>
-</li>
-<li>setOperations()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a972a0ef112f58f2aa28c00d3b5db82b2">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>setOpVer()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236">SVF::CmpVFGNode</a>
@@ -521,9 +473,6 @@ $(function() {
 <li>setOpVerAndBB()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882">SVF::IntraPHIVFGNode</a>
 </li>
-<li>setOverWrittenAppFunction()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ab8d480022352929fe193ef21617c440c">SVF::ExtAPI</a>
-</li>
 <li>setPAG()
 : <a class="el" href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">SVF::DDAClient</a>
 </li>
@@ -583,12 +532,6 @@ $(function() {
 <li>setSourceLoc()
 : <a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">SVF::SVFValue</a>
 </li>
-<li>setSrcID()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ab0e1b9953acf05220df3337df55fbe95">SVF::ExtAPI::Operand</a>
-</li>
-<li>setSrcValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a5a81ebcd4b8633fce7fed83e7c92cc5d">SVF::ExtAPI::Operand</a>
-</li>
 <li>setStartKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase</a>
 </li>
@@ -617,12 +560,6 @@ $(function() {
 <li>setTotalKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase</a>
 </li>
-<li>setTrueBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a61db2bb411165cd5e5dd9cb73392db51">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setType()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#afb4a1cdc9aa9836ed3bd2384cf119d05">SVF::ExtAPI::Operand</a>
-</li>
 <li>setTypeInfo()
 : <a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">SVF::SVFType</a>
 </li>
@@ -855,11 +792,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>src
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">SVF::ExtAPI::Operand</a>
-, <a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge&lt; NodeTy &gt;</a>
-</li>
-<li>srcID
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">SVF::ExtAPI::Operand</a>
+: <a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -974,7 +907,6 @@ $(function() {
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e">SVF::ExtAPI</a>
 </li>
 <li>store()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
@@ -1026,18 +958,18 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
-<li>StoresToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
-</li>
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
-<li>storesToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+<li>StoresToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -1056,12 +988,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
-</li>
 <li>Strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
+<li>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1178,7 +1110,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
@@ -1199,7 +1131,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType</a>
@@ -1562,7 +1494,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1603,7 +1535,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
@@ -1643,7 +1575,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFTypeLocSetsPair
 : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1665,7 +1597,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFValue2LLVMValue
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>
@@ -1678,7 +1610,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
 </li>
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>

package/SVF-doxygen/html/html/functions_t.html

@@ -190,18 +190,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -688,9 +688,6 @@ $(function() {
 <li>TreeNode()
 : <a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030">SVF::POCRHybridSolver::TreeNode</a>
 </li>
-<li>trueBranch_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>type
 : <a class="el" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">cJSON</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
@@ -715,9 +712,6 @@ $(function() {
 <li>Type2TypeInfoMap
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116">SVF::LLVMModuleSet</a>
 </li>
-<li>type_pair
-: <a class="el" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">SVF::ExtAPI</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_v.html

@@ -137,12 +137,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_a.html

@@ -226,6 +226,9 @@ $(function() {
 <li>AnnoFlag
 : <a class="el" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options</a>
 </li>
+<li>annotations
+: <a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">SVF::SVFFunction</a>
+</li>
 <li>AnnotationTime
 : <a class="el" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_b.html

@@ -85,9 +85,6 @@ $(function() {
 <li>basicBlock
 : <a class="el" href="classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f">SVF::SVFStmt</a>
 </li>
-<li>basicOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>bb
 : <a class="el" href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da">SVF::LoadMU&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -80,18 +80,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>callgraph
 : <a class="el" href="classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6">SVF::CallGraphBuilder</a>
 </li>
@@ -128,9 +116,6 @@ $(function() {
 <li>callinstToThreadJoinEdgesMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60">SVF::ThreadCallGraph</a>
 </li>
-<li>callOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>callPEs
 : <a class="el" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode</a>
@@ -177,9 +162,6 @@ $(function() {
 <li>callsiteToRefPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10">SVF::MRGenerator</a>
 </li>
-<li>callStmtNum
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>candidateFuncSet
 : <a class="el" href="classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d">SVF::TCT</a>
 </li>
@@ -308,8 +290,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>condition
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">SVF::ExtAPI::ExtOperation</a>
-, <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
+: <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
 <li>conditionVar
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d">SVF::IntraCFGEdge</a>
@@ -332,9 +313,6 @@ $(function() {
 <li>ConnectVCallOnCHA
 : <a class="el" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options</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>

package/SVF-doxygen/html/html/functions_vars_d.html

@@ -184,11 +184,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>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -161,18 +161,12 @@ $(function() {
 <li>extended
 : <a class="el" href="classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e">SVF::DCHGraph</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>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -67,9 +67,6 @@ $(function() {
 <li>F
 : <a class="el" href="classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
 </li>
-<li>falseBranch_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_o.html

@@ -88,12 +88,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493">SVF::DCHEdge</a>
 </li>
-<li>offsetOrSize
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">SVF::ExtAPI::Operand</a>
-</li>
-<li>offsetOrSizeStr
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">SVF::ExtAPI::Operand</a>
-</li>
 <li>offsetVarAndGepTypePairs
 : <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
 </li>
@@ -122,9 +116,6 @@ $(function() {
 <li>OPTSVFG
 : <a class="el" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options</a>
 </li>
-<li>opType
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">SVF::ExtAPI::Operand</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_r.html

@@ -178,8 +178,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>
 <li>root
-: <a class="el" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">SVF::ExtAPI</a>
-, <a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">SVF::ProgSlice</a>
+: <a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">SVF::ProgSlice</a>
 </li>
 <li>rthdToChildren
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555">SVF::MTAResultValidator</a>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -165,11 +165,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223">SVF::PCG</a>
 </li>
 <li>src
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">SVF::ExtAPI::Operand</a>
-, <a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge&lt; NodeTy &gt;</a>
-</li>
-<li>srcID
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">SVF::ExtAPI::Operand</a>
+: <a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>srcToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852">SVF::LeakChecker</a>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -280,9 +280,6 @@ $(function() {
 <li>totalVFGNode
 : <a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG</a>
 </li>
-<li>trueBranch_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>type
 : <a class="el" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">cJSON</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
@@ -294,9 +291,6 @@ $(function() {
 <li>Type2TypeInfo
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486">SVF::LLVMModuleSet</a>
 </li>
-<li>type_pair
-: <a class="el" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">SVF::ExtAPI</a>
-</li>
 <li>typeAndInfoFlag
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">SVF::SVFBugEvent</a>
 </li>

package/SVF-doxygen/html/html/globals.html

@@ -64,17 +64,35 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 
 <h3><a id="index__5F"></a>- _ -</h3><ul>
+<li>__attribute__()
+: <a class="el" href="extapi_8c.html#a605c932bc9e318024b90b57f957d603a">extapi.c</a>
+</li>
+<li>__dynamic_cast()
+: <a class="el" href="extapi_8c.html#a92b16d30ba9908c9b2218dad2f2247b3">extapi.c</a>
+</li>
 <li>__pad0__
-: <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
+, <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
 </li>
 <li>__pad1__
-: <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
-, <a class="el" href="PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464">PEGGrammar.txt</a>
+, <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
 </li>
 <li>__pad2__
 : <a class="el" href="VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48">VFGGrammar.txt</a>
 </li>
+<li>__rawmemchr()
+: <a class="el" href="extapi_8c.html#a1eb5371072d8bf51775205ee35058949">extapi.c</a>
+</li>
+<li>_ZNSsC1EPKcRKSaIcE()
+: <a class="el" href="extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e">extapi.c</a>
+</li>
+<li>_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_()
+: <a class="el" href="extapi_8c.html#a6b628494b34855b545b4d1837ddf5048">extapi.c</a>
+</li>
+<li>_ZNSt8__detail15_List_node_base7_M_hookEPS0_()
+: <a class="el" href="extapi_8c.html#a8722c08a7fc65863c500bd0f71307382">extapi.c</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_a.html

@@ -91,6 +91,9 @@ $(function() {
 <li>aliasQuery()
 : <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
 </li>
+<li>asctime_r()
+: <a class="el" href="extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70">extapi.c</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_b.html

@@ -75,6 +75,9 @@ $(function() {
 <li>BRANCHFLAGMASK
 : <a class="el" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">SVFBugReport.h</a>
 </li>
+<li>bsearch()
+: <a class="el" href="extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522">extapi.c</a>
+</li>
 <li>buffer
 : <a class="el" href="cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746">cJSON.cpp</a>
 , <a class="el" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">cJSON.h</a>

package/SVF-doxygen/html/html/globals_defs.html

@@ -251,9 +251,6 @@ $(function() {
 <li>EVENTTYPEMASK
 : <a class="el" href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">SVFBugReport.h</a>
 </li>
-<li>EXTAPI_JSON_PATH
-: <a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">ExtAPI.h</a>
-</li>
 </ul>
 
 
@@ -315,12 +312,6 @@ $(function() {
 <li>JSON_KEY
 : <a class="el" href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">SVFFileSystem.h</a>
 </li>
-<li>JSON_OPT_FUNCTIONTYPE
-: <a class="el" href="ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e">ExtAPI.h</a>
-</li>
-<li>JSON_OPT_OVERWRITE
-: <a class="el" href="ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874">ExtAPI.h</a>
-</li>
 <li>JSON_READ_FIELD_FWD
 : <a class="el" href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">SVFFileSystem.h</a>
 </li>
@@ -400,6 +391,9 @@ $(function() {
 <li>NATIVE_INT_SIZE
 : <a class="el" href="SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022">SVFType.h</a>
 </li>
+<li>NULL
+: <a class="el" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">extapi.c</a>
+</li>
 </ul>
 
 

package/SVF-doxygen/html/html/globals_e.html

@@ -92,9 +92,6 @@ $(function() {
 <li>EVENTTYPEMASK
 : <a class="el" href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">SVFBugReport.h</a>
 </li>
-<li>EXTAPI_JSON_PATH
-: <a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">ExtAPI.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->