npm - svf-tools - Versions diffs - 1.0.327 → 1.0.331 - Mend

svf-tools 1.0.327 → 1.0.331

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (270) hide show

package/SVF-doxygen/html/html/functions_o.html CHANGED Viewed

@@ -116,8 +116,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1DCHEdge.html#a16869c90d4e735bc09b8bceda90b99ed">SVF::DCHEdge</a>
 </li>
-<li>offset2TypeMap
-: <a class="el" href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">SVF::StInfo</a>
+<li>offsetValues
+: <a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet</a>
+</li>
+<li>OffsetValueVec
+: <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet</a>
 </li>
 <li>one
 : <a class="el" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">DdManager</a>
@@ -307,8 +310,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -364,12 +367,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -385,12 +388,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>opVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
-</li>
 <li>OPVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
 </li>
+<li>opVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -413,26 +416,28 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
-</li>
 <li>opVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+</li>
+<li>OPVers
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+</li>
+<li>opVers
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
@@ -464,10 +469,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5">SVF::FlowSensitiveStat</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>

package/SVF-doxygen/html/html/functions_p.html CHANGED Viewed

@@ -89,12 +89,12 @@ $(function() {
 <li>PAGEdgeSetTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
-<li>pagEdgeToFunMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
-</li>
 <li>PAGEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
 </li>
+<li>pagEdgeToFunMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
+</li>
 <li>PAGEdgeToSetMapTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
@@ -864,12 +864,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -961,12 +961,12 @@ $(function() {
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -981,15 +981,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>PtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>ptsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1041,7 +1037,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>

package/SVF-doxygen/html/html/functions_r.html CHANGED Viewed

@@ -218,15 +218,15 @@ $(function() {
 <li>releaseMemory()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5">SVF::SVFGBuilder</a>
 </li>
-<li>releasePAG()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6dd18b030ae6fee4b4a8260ce9fd97fd">SVF::SVFIR</a>
-</li>
 <li>releaseSteensgaard()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d">SVF::Steensgaard</a>
 </li>
 <li>releaseSVFG()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a9767f95253f02901da757076e3010b37">SVF::SVFGBuilder</a>
 </li>
+<li>releaseSVFIR()
+: <a class="el" href="classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e">SVF::SVFIR</a>
+</li>
 <li>releaseSymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec">SVF::SymbolTableInfo</a>
 </li>
@@ -612,7 +612,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
 , <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>

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

@@ -98,12 +98,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>sbv
-: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
-</li>
 <li>SBV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
 </li>
+<li>sbv
+: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -195,7 +195,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd">SVF::ProgSlice</a>
 </li>
 <li>setBaseNode()
-: <a class="el" href="classSVF_1_1GepObjPN.html#acf31acd60973d04b047fbc2e8d4ad4bf">SVF::GepObjPN</a>
+: <a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">SVF::GepObjVar</a>
 </li>
 <li>setBB()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">SVF::SVFStmt</a>
@@ -206,9 +206,6 @@ $(function() {
 <li>setBranchCondtion()
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a97402e3c122618d5be189dce1b58cd8f">SVF::IntraCFGEdge</a>
 </li>
-<li>setByteOffset()
-: <a class="el" href="classSVF_1_1LocationSet.html#a6c5b8c1a9f765de8bcbefb681ca6a92c">SVF::LocationSet</a>
-</li>
 <li>setCallGraph()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -638,7 +635,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>src
@@ -663,7 +660,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a271c20725d49dd65b95c062938ffde4c">SVF::MemSSA</a>
 </li>
 <li>stack
-: <a class="el" href="structDdGen.html#af405420fc6648aa758b180a7a1b5f557">DdGen</a>
+: <a class="el" href="structDdGen.html#a50762b8a4bc39e9094a414d41da2613b">DdGen</a>
 , <a class="el" href="structDdManager.html#af99ce33d5dcd3dcf67f10bd7da6a5aa5">DdManager</a>
 </li>
 <li>STACK_OBJ
@@ -761,7 +758,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -805,12 +802,12 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb">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>StoresToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
+</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
@@ -830,14 +827,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
-</li>
-<li>Strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+: <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>strides
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode</a>
 </li>
@@ -885,7 +882,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#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVF::SVFFunction</a>
 </li>
 <li>svfg
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9">SVF::FlowSensitive</a>

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

@@ -430,7 +430,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751">SVF::FunEntryBlockNode</a>
 , <a class="el" href="classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65">SVF::FunExitBlockNode</a>
-, <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">SVF::GepVFGNode</a>

package/SVF-doxygen/html/html/functions_type_e.html CHANGED Viewed

@@ -74,10 +74,6 @@ $(function() {
 <li>ElementSet
 : <a class="el" href="classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
-<li>ElemNumStridePairVec
-: <a class="el" href="classSVF_1_1FieldInfo.html#aba172e9c0989824c8ff79134d7952197">SVF::FieldInfo</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet</a>
-</li>
 <li>ENTRYCHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_type_o.html CHANGED Viewed

@@ -64,6 +64,9 @@ $(function() {
 <li>ObjToVersionMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0">SVF::VersionedFlowSensitive</a>
 </li>
+<li>OffsetValueVec
+: <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet</a>
+</li>
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

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

@@ -141,12 +141,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
 </li>
-<li>Var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
-</li>
 <li>var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
 </li>
+<li>Var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>

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

@@ -74,7 +74,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>base
-: <a class="el" href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">SVF::GepObjPN</a>
+: <a class="el" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar</a>
 </li>
 <li>baseIds
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">SVF::ConstraintNode</a>
@@ -155,10 +155,6 @@ $(function() {
 <li>bvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>byteOffset
-: <a class="el" href="classSVF_1_1FieldInfo.html#a9625e4618046dd38ebd78ee2d134bc71">SVF::FieldInfo</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

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

@@ -225,7 +225,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc">SVF::CHGBuilder</a>
 </li>
 <li>chgraph
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33">SVF::PointerAnalysis</a>
 </li>
 <li>child
 : <a class="el" href="structMtrNode.html#aa5cced262e32e3b5c0f01277dbad6db0">MtrNode</a>

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

@@ -101,12 +101,6 @@ $(function() {
 <li>elements
 : <a class="el" href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
-<li>elemNumStridePair
-: <a class="el" href="classSVF_1_1FieldInfo.html#a270bc2b3a3b7aaf1e1bfbbadd1130d86">SVF::FieldInfo</a>
-</li>
-<li>elemTy
-: <a class="el" href="classSVF_1_1FieldInfo.html#acb93501d8250ae4c7ff6046c9fb1183d">SVF::FieldInfo</a>
-</li>
 <li>EnableAliasCheck
 : <a class="el" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">SVF::Options</a>
 </li>

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

@@ -90,7 +90,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a06d79a32f9f550b068813324dac41460">SVF::ProgSlice</a>
 </li>
 <li>finfo
-: <a class="el" href="classSVF_1_1StInfo.html#ae4b2805df04f7fd4ea636460f8048a88">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo</a>
 </li>
 <li>first
 : <a class="el" href="structDdLevelQueue.html#abeda70ee389be7223f6a0ac4eb6cca82">DdLevelQueue</a>
@@ -112,12 +112,17 @@ $(function() {
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe">SVF::ObjTypeInfo</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9">SVF::RaceResultValidator::AccessPair</a>
 </li>
+<li>flattenedElemTy
+: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a186f54bc7c43d9ca8c6d1ab152fb36fe">SVF::FlattenedFieldInfo</a>
+</li>
+<li>flattenedFldIdx
+: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a14d271fe9ce4a7d989871088d9daf83a">SVF::FlattenedFieldInfo</a>
+</li>
 <li>fldIdx
-: <a class="el" href="classSVF_1_1FieldInfo.html#a153c0796c619ff5b7c84c6c742851a7a">SVF::FieldInfo</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet</a>
 </li>
 <li>fldIdx2TypeMap
-: <a class="el" href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo</a>
 </li>
 <li>fldIdxVec
 : <a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo</a>
@@ -129,9 +134,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">SVF::DDAStat</a>
 </li>
-<li>foffset
-: <a class="el" href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">SVF::StInfo</a>
-</li>
 <li>followers
 : <a class="el" href="classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea">SVF::PCG</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_l.html CHANGED Viewed

@@ -203,7 +203,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
 <li>ls
-: <a class="el" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN</a>
+: <a class="el" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd">SVF::NormalGepStmt</a>

package/SVF-doxygen/html/html/functions_vars_n.html CHANGED Viewed

@@ -572,9 +572,6 @@ $(function() {
 <li>numSGTBWU
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#afca6afa06a1072e7a452ed42bcd666d3">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>numStridePair
-: <a class="el" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet</a>
-</li>
 <li>numSymbols
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">SVF::NodeIDAllocator</a>
 </li>

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

@@ -95,8 +95,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1DCHEdge.html#a16869c90d4e735bc09b8bceda90b99ed">SVF::DCHEdge</a>
 </li>
-<li>offset2TypeMap
-: <a class="el" href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">SVF::StInfo</a>
+<li>offsetValues
+: <a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet</a>
 </li>
 <li>one
 : <a class="el" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">DdManager</a>

package/SVF-doxygen/html/html/functions_w.html CHANGED Viewed

@@ -133,7 +133,7 @@ $(function() {
 : <a class="el" href="classllvm_1_1GraphPrinter.html#a53b3809728c30389a594076097884b82">llvm::GraphPrinter</a>
 </li>
 <li>writePAGgepNode()
-: <a class="el" href="classSVF_1_1IRAnnotator.html#a9499823922861d3d150daa41f6f5dd6b">SVF::IRAnnotator</a>
+: <a class="el" href="classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d">SVF::IRAnnotator</a>
 </li>
 <li>writeToFile()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b">SVF::BVDataPTAImpl</a>