svf-tools 1.0.892 → 1.0.894

package/SVF-doxygen/html/functions_func_s.html

@@ -372,8 +372,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d">SVF::SymbolTableInfo</a>
 </li>
 <li>setModule()
-: <a class="el" href="classSVF_1_1AEAPI.html#a5172791c4432a4c4ab0f7e97e7b3b596">SVF::AEAPI</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d">SVF::SymbolTableInfo</a>
 </li>
 <li>setModuleIdentifier()
@@ -586,7 +585,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a928d4adc2af10e2bb36641711b5d57ba">SVF::SingleAbsValue</a>
+: <a class="el" href="classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9">SVF::SingleAbsValue</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -649,13 +648,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e">SVF::SrcSnkDDA</a>
 </li>
 <li>SparseBitVector()
-: <a class="el" href="classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc">SVF::SparseBitVector&lt; ElementSize &gt;</a>
+: <a class="el" href="classSVF_1_1SparseBitVector.html#a9cb4261779da0cbeb8d09b8fbd5cf557">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorElement()
-: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorIterator()
-: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a008d235a4a8163e7bf38718d0fd0e6f7">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>spawneesBegin()
 : <a class="el" href="classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f">SVF::PCG</a>
@@ -677,7 +676,7 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -720,10 +719,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
@@ -743,10 +742,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -761,7 +760,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>strRead()
-: <a class="el" href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7">SVF::AbstractExecution</a>
 </li>
 <li>strToKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase</a>
@@ -813,7 +812,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionType()
 : <a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType</a>
@@ -825,7 +824,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#ac004fb727468898e90673328119b6059">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNodeLockSpan()
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
@@ -843,7 +842,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerType()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#a4caf4cef19b93e06dfa7108a1409c32a">SVF::SVFIntegerType</a>
@@ -870,7 +869,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
@@ -882,7 +881,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a8c87cc7640e4596333e46fa7749cf0b0">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>SVFPointerType()
 : <a class="el" href="classSVF_1_1SVFPointerType.html#a7e876e6f99182e5c5cb23bf2a65110f2">SVF::SVFPointerType</a>
@@ -891,7 +890,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
 <li>SVFStructType()
 : <a class="el" href="classSVF_1_1SVFStructType.html#a92ee752b62e49b7427d3ef51bcb6a6ba">SVF::SVFStructType</a>
@@ -900,7 +899,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a099304f203453cb64cacf5f81c48735f">SVF::SVFType</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>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
@@ -912,7 +911,7 @@ $(function() {
 : <a class="el" href="classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1">SymblicAbstractionTest</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/functions_func_t.html

@@ -301,7 +301,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e">SVF::RelExeState</a>
 </li>
 <li>traceMemoryAllocationSize()
-: <a class="el" href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9">SVF::AbstractExecution</a>
 </li>
 <li>translateAddr()
 : <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVF::SVFIR2ConsExeState</a>

package/SVF-doxygen/html/functions_func_~.html

@@ -76,9 +76,6 @@ $(function() {
 <li>~AddressValue()
 : <a class="el" href="classSVF_1_1AddressValue.html#a02c3b3a09780abe8fdaadf190c2b569e">SVF::AddressValue</a>
 </li>
-<li>~AEAPI()
-: <a class="el" href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a">SVF::AEAPI</a>
-</li>
 <li>~AEStat()
 : <a class="el" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">SVF::AEStat</a>
 </li>

package/SVF-doxygen/html/functions_g.html

@@ -305,7 +305,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR</a>
 </li>
 <li>getAllocaInstByteSize()
-: <a class="el" href="classSVF_1_1AEAPI.html#afe6d49fd36a96bda165654eb393be6f2">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a598cb7b97bae122d0015c03b72beee9d">SVF::AbstractExecution</a>
 </li>
 <li>getAllocLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#af8a7272c33f826f0079d5a31f6c5d547">SVF::BufOverflowException</a>
@@ -1637,7 +1637,6 @@ $(function() {
 </li>
 <li>getKind()
 : <a class="el" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution</a>
-, <a class="el" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType</a>
@@ -1731,7 +1730,7 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa3c4548e8f8e47cd716081bda2574ff3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a3b81d6d51c286adf406d7597f9d51edc">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a758955bf256ab9c16fb9f17e23cc25e0">SVF::ThreadAPI</a>
 </li>
 <li>getLocToAddrs()
 : <a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">SVF::ExeState</a>
@@ -1819,7 +1818,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#a081be672a9fc1b1fd93f00d390b8fc95">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1895,7 +1894,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -2040,7 +2039,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>
@@ -2158,7 +2157,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2233,7 +2232,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a82ab0d35c95aeefbc4dfc8eb59033dca">SVF::MemSSA</a>
 </li>
 <li>getPointeeElement()
-: <a class="el" href="classSVF_1_1AEAPI.html#a112519b672206ac552273666949eeb3b">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a888fd56160afe0d431c47bcf10674dc0">SVF::AbstractExecution</a>
 </li>
 <li>getPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge</a>
@@ -2247,7 +2246,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#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2256,7 +2255,7 @@ $(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>
@@ -2328,20 +2327,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#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &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_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#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &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_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>
@@ -2427,7 +2426,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#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2459,7 +2458,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>
@@ -2617,7 +2616,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
-: <a class="el" href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">SVF::AbstractExecution</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2646,13 +2645,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>
+: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">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>
@@ -2781,7 +2780,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#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2862,7 +2861,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a4eebcc8dc7f23ead07c64bf523d0e68e">SVF::SymbolTableBuilder</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/functions_h.html

@@ -121,8 +121,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph</a>
 </li>
 <li>handleExtAPI()
-: <a class="el" href="classSVF_1_1AEAPI.html#af64d742317f2ddad87b87012225ddaaa">SVF::AEAPI</a>
-, <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a6a4afd9b4546d0a01dc869c6672f6dc6">SVF::BufOverflowCheckerAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde">SVF::BufOverflowChecker</a>
 </li>
 <li>handleExtCall()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b">SVF::SVFIRBuilder</a>
@@ -174,10 +174,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc">SVF::AndersenSCD</a>
 </li>
 <li>handleMemcpy()
-: <a class="el" href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">SVF::AbstractExecution</a>
 </li>
 <li>handleMemset()
-: <a class="el" href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">SVF::AbstractExecution</a>
 </li>
 <li>handleNonCandidateFun()
 : <a class="el" href="classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816">SVF::MHP</a>
@@ -220,10 +220,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05">SVF::MTASVFGBuilder</a>
 </li>
 <li>handleStrcat()
-: <a class="el" href="classSVF_1_1AEAPI.html#a4d160903c3bbedbd486be39c40c2c836">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">SVF::AbstractExecution</a>
 </li>
 <li>handleStrcpy()
-: <a class="el" href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">SVF::AbstractExecution</a>
 </li>
 <li>handleSVFStatement()
 : <a class="el" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution</a>

package/SVF-doxygen/html/functions_i.html

@@ -439,16 +439,12 @@ $(function() {
 <li>initExeState()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea">SVF::ConsExeState</a>
 </li>
-<li>initExtAPI()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution</a>
-, <a class="el" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker</a>
-</li>
 <li>initExtAPIBufOverflowCheckRules()
-: <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a950ff9c290eef3ed8b4343aaa527946e">SVF::BufOverflowCheckerAPI</a>
+: <a class="el" href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">SVF::BufOverflowChecker</a>
 </li>
 <li>initExtFunMap()
-: <a class="el" href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">SVF::AEAPI</a>
-, <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a49a9ee0125f2af00cc55c3224611f28e">SVF::BufOverflowCheckerAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a5715b1a5994715f19b17687b9e91d7c8">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">SVF::BufOverflowChecker</a>
 </li>
 <li>initFromThreadAPI()
 : <a class="el" href="classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896">SVF::PCG</a>
@@ -936,7 +932,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4">SVF::ForkJoinAnalysis</a>
 </li>
 <li>isAliasedLocks()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#abc5b0e65b46d8c0ce973476dca1c94be">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4">SVF::LockAnalysis</a>
 </li>
 <li>isAliasedMR()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">SVF::MRGenerator</a>
@@ -1037,7 +1033,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#aa69b82c888c8193e97f9e95c62ac99d4">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f">SVF::TCT</a>
 </li>
 <li>isCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge</a>
@@ -1132,7 +1128,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1157,7 +1153,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144">SVF::PCG</a>
 </li>
 <li>isFOpen()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a50b572a89b800c3520f77d6f1094c066">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">SVF::ThreadCallGraph</a>
@@ -1202,7 +1198,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab96065dc1bb1cc29f9c37c885f524b34">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -1372,7 +1368,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1629,7 +1625,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
@@ -1639,7 +1635,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1650,11 +1646,11 @@ $(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#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1763,13 +1759,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#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>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_l.html

@@ -233,18 +233,18 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>loadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
-</li>
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+<li>loadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/functions_m.html

@@ -253,7 +253,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">SVF::SVFBugReport</a>
 </li>
 <li>MEMCPY
-: <a class="el" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf">SVF::AbstractExecution</a>
 </li>
 <li>MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342">SVF::MemObj</a>
@@ -289,7 +289,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899">SVF::MemSSA</a>
 </li>
 <li>MEMSET
-: <a class="el" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8">SVF::AbstractExecution</a>
 </li>
 <li>memSSA
 : <a class="el" href="classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8">SVF::CFLVF</a>