npm - svf-tools - Versions diffs - 1.0.281 → 1.0.285 - Mend

svf-tools 1.0.281 → 1.0.285

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 (392) hide show

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

@@ -159,7 +159,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b">SVF::DCHGraph</a>
 </li>
 <li>getAliasMemRegions()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a6426e7a9a6324b8b2f8a9bcf4aab1fc1">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02">SVF::MRGenerator</a>
 </li>
 <li>getAllCallSitesInvokingCallee()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph</a>
@@ -173,6 +173,9 @@ $(function() {
 <li>getAllocationSite()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683">SVF::TypeBasedHeapCloning</a>
 </li>
+<li>getAllPts()
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
 <li>getAllValidPtrs()
 : <a class="el" href="classSVF_1_1PAG.html#af771436bf36e2831d9c945c4dbc0be16">SVF::PAG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc">SVF::PointerAnalysis</a>
@@ -992,7 +995,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA</a>
 </li>
 <li>getFunToPointsToList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator</a>
 </li>
 <li>getFunToRetMuSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA</a>
@@ -1346,11 +1349,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5">SVF::SymbolTableInfo</a>
 </li>
 <li>getModInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a1658aacb68aacb4785266263c1641a6a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
@@ -1381,7 +1384,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
 </li>
 <li>getMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7ecde80ed05d425a19bf7fe0c5feff84">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU&lt; Cond &gt;</a>
@@ -1399,18 +1402,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">SVF::MRGenerator</a>
 </li>
 <li>getMRsForCallSiteRef()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3">SVF::DistinctMRG</a>
-, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175">SVF::IntraDisjointMRG</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#af4eda1f51e3f58c8cccddee474972fe9">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1">SVF::DistinctMRG</a>
+, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272">SVF::IntraDisjointMRG</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#a02c60ceb7c9c37bcf83c739aa4083acc">SVF::MRGenerator</a>
 </li>
 <li>getMRsForLoad()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993">SVF::DistinctMRG</a>
-, <a class="el" href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">SVF::InterDisjointMRG</a>
-, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">SVF::IntraDisjointMRG</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#a2a7012e9f2e84ac1c5f7ed61daa67ac7">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b">SVF::DistinctMRG</a>
+, <a class="el" href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">SVF::InterDisjointMRG</a>
+, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">SVF::IntraDisjointMRG</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#abe8d6217250d227e743e4b581497aae8">SVF::MRGenerator</a>
 </li>
 <li>getMRsForLoadFromInterList()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">SVF::IntraDisjointMRG</a>
 </li>
 <li>getMRVer()
 : <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode</a>
@@ -1532,7 +1535,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1PAG.html#a2b288fce8efa1b0b1b620efec2c96eb6">SVF::PAG</a>
+, <a class="el" href="classSVF_1_1PAG.html#a45017000af4946b27878bd1fbf58050f">SVF::PAG</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1PAG.html#a9e35f1d6a30c6200fb3c0c43ba4f36cb">SVF::PAG</a>
@@ -1648,7 +1651,7 @@ $(function() {
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#aa49dfc2672a66c9f9593ff8bd6ac5118">SVF::FSMPTA</a>
-, <a class="el" href="classSVF_1_1MemSSA.html#a37ba6ead86bce47f97adeff1e8cdb564">SVF::MemSSA</a>
+, <a class="el" href="classSVF_1_1MemSSA.html#a1374ee572c9043d183f25bb96648cd7a">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1PAG.html#ac8910c7330638bdf31c23d4cc03ba9c5">SVF::PAG</a>
 , <a class="el" href="classSVF_1_1PAGBuilder.html#ac037265d15e76801cdf45ae5682ccef8">SVF::PAGBuilder</a>
 , <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#aaca740bbe278cceaa257757aa8b94989">SVF::PAGBuilderFromFile</a>
@@ -1679,7 +1682,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a37239391028cd313eab7110626444682">SVF::VFG</a>
 </li>
 <li>getPAGEdgesFromInst()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2eda764e59d9b5e7620d2cf26562615a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a5875a7f064e468d5eceba737eeb44791">SVF::MRGenerator</a>
 </li>
 <li>getPAGNode()
 : <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
@@ -1740,7 +1743,7 @@ $(function() {
 </li>
 <li>getPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#abfabfa0478515d18e43ae47214e38cc6">SVF::IndirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1MemRegion.html#ad6d4a3ed0f7a118cc38fad0c37ecc54a">SVF::MemRegion</a>
+, <a class="el" href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">SVF::MRSVFGNode</a>
 </li>
 <li>getPointsToList()
@@ -1778,7 +1781,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#ae5125dd33403e055078e1c9d6ce6d778">SVF::PAG</a>
 </li>
 <li>getPtCache()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#add718c1056936a4dba6979252a1a36bf">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">SVF::BVDataPTAImpl</a>
 </li>
 <li>getPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81">SVF::BVDataPTAImpl</a>
@@ -1795,15 +1798,15 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">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#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">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>
@@ -1816,7 +1819,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1826,7 +1829,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12">SVF::OfflineConsG</a>
 </li>
 <li>getRefInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#afc17f566f57656cf17c08665602b4849">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77">SVF::MRGenerator</a>
 </li>
 <li>getRefSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">SVF::MRGenerator</a>
@@ -1847,7 +1850,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>getRepPointsTo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">SVF::MRGenerator</a>
 </li>
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
@@ -1870,7 +1873,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1892,7 +1895,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</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>
@@ -2060,7 +2063,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2144,7 +2147,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">SVF::TypeSystem</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
@@ -2283,10 +2286,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalBlockNode()
 : <a class="el" href="classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e">SVF::GlobalBlockNode</a>

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

@@ -387,7 +387,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAGNode.html#aa311aaac0f8fbb8650fac9d7662ec795">SVF::PAGNode</a>
 </li>
 <li>hasPAGEdgeList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#abe76a16b9eedc9f8ffca6bc39cfb5c7e">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1PAG.html#a8b498249185812b2bd1e9bd2aac50e4e">SVF::PAG</a>
 </li>
 <li>hasParentThread()

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

@@ -332,7 +332,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4">SVF::LockAnalysis</a>
 </li>
 <li>isAliasedMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#acd1759ce72edc748e6628d7e82458473">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">SVF::MRGenerator</a>
 </li>
 <li>isAllPathReachable()
 : <a class="el" href="classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51">SVF::CondManager</a>

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

@@ -145,7 +145,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ab22373574ae9dff2f8ffbef16d5b339c">SVF::MemObj</a>
 </li>
 <li>MemRegion()
-: <a class="el" href="classSVF_1_1MemRegion.html#afa13fe7a084ff1f896b5d5294d14f880">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b">SVF::MemRegion</a>
 </li>
 <li>MemSSA()
 : <a class="el" href="classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15">SVF::MemSSA</a>
@@ -211,7 +211,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59">SVF::ConstraintGraph</a>
 </li>
 <li>MRGenerator()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a1023eb17f1a46eee9a948490a4c8fdd5">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46">SVF::MRGenerator</a>
 </li>
 <li>MRSVFGNode()
 : <a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">SVF::MRSVFGNode</a>

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

@@ -132,7 +132,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash&lt; NodePair &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b">SVF::MemRegion::equalMemRegion</a>
-, <a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html#af18d76bf57c17927f1ef4926e16e90e6">SVF::MemRegion::equalPointsTo</a>
+, <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e">SVF::SVFUtil::equalNodeBS</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9">SVF::SVFUtil::equalPointsTo</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa">SVF::SVFValue</a>
 </li>
@@ -292,10 +292,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</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#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

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

@@ -174,7 +174,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PersistentPointsToCache()
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a63b6d7f44773394db09f75042db46f21">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PersistentPTData()
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

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

@@ -441,7 +441,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>sortPointsTo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4d20ddfe5cb90d91fd86276a3f010b87">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd">SVF::MRGenerator</a>
 </li>
 <li>sourcesBegin()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137">SVF::SrcSnkDDA</a>

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

@@ -235,7 +235,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b">SVF::DCHGraph</a>
 </li>
 <li>getAliasMemRegions()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a6426e7a9a6324b8b2f8a9bcf4aab1fc1">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02">SVF::MRGenerator</a>
 </li>
 <li>getAllCallSitesInvokingCallee()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph</a>
@@ -249,6 +249,9 @@ $(function() {
 <li>getAllocationSite()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683">SVF::TypeBasedHeapCloning</a>
 </li>
+<li>getAllPts()
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
 <li>getAllValidPtrs()
 : <a class="el" href="classSVF_1_1PAG.html#af771436bf36e2831d9c945c4dbc0be16">SVF::PAG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc">SVF::PointerAnalysis</a>
@@ -1068,7 +1071,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA</a>
 </li>
 <li>getFunToPointsToList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator</a>
 </li>
 <li>getFunToRetMuSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA</a>
@@ -1364,7 +1367,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
 </li>
 <li>getLoopInfo()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
@@ -1422,7 +1425,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5">SVF::SymbolTableInfo</a>
 </li>
 <li>getModInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a1658aacb68aacb4785266263c1641a6a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
@@ -1457,7 +1460,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
 </li>
 <li>getMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7ecde80ed05d425a19bf7fe0c5feff84">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU&lt; Cond &gt;</a>
@@ -1475,18 +1478,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">SVF::MRGenerator</a>
 </li>
 <li>getMRsForCallSiteRef()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3">SVF::DistinctMRG</a>
-, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175">SVF::IntraDisjointMRG</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#af4eda1f51e3f58c8cccddee474972fe9">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1">SVF::DistinctMRG</a>
+, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272">SVF::IntraDisjointMRG</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#a02c60ceb7c9c37bcf83c739aa4083acc">SVF::MRGenerator</a>
 </li>
 <li>getMRsForLoad()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993">SVF::DistinctMRG</a>
-, <a class="el" href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">SVF::InterDisjointMRG</a>
-, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">SVF::IntraDisjointMRG</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#a2a7012e9f2e84ac1c5f7ed61daa67ac7">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b">SVF::DistinctMRG</a>
+, <a class="el" href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">SVF::InterDisjointMRG</a>
+, <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">SVF::IntraDisjointMRG</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#abe8d6217250d227e743e4b581497aae8">SVF::MRGenerator</a>
 </li>
 <li>getMRsForLoadFromInterList()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">SVF::IntraDisjointMRG</a>
 </li>
 <li>getMRVer()
 : <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode</a>
@@ -1501,7 +1504,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#a59392ba4cc987f5fefa4eca0ebe411fe">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1724,7 +1727,7 @@ $(function() {
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#aa49dfc2672a66c9f9593ff8bd6ac5118">SVF::FSMPTA</a>
-, <a class="el" href="classSVF_1_1MemSSA.html#a37ba6ead86bce47f97adeff1e8cdb564">SVF::MemSSA</a>
+, <a class="el" href="classSVF_1_1MemSSA.html#a1374ee572c9043d183f25bb96648cd7a">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1PAG.html#ac8910c7330638bdf31c23d4cc03ba9c5">SVF::PAG</a>
 , <a class="el" href="classSVF_1_1PAGBuilder.html#ac037265d15e76801cdf45ae5682ccef8">SVF::PAGBuilder</a>
 , <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#aaca740bbe278cceaa257757aa8b94989">SVF::PAGBuilderFromFile</a>
@@ -1755,7 +1758,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a37239391028cd313eab7110626444682">SVF::VFG</a>
 </li>
 <li>getPAGEdgesFromInst()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2eda764e59d9b5e7620d2cf26562615a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a5875a7f064e468d5eceba737eeb44791">SVF::MRGenerator</a>
 </li>
 <li>getPAGNode()
 : <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
@@ -1816,7 +1819,7 @@ $(function() {
 </li>
 <li>getPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#abfabfa0478515d18e43ae47214e38cc6">SVF::IndirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1MemRegion.html#ad6d4a3ed0f7a118cc38fad0c37ecc54a">SVF::MemRegion</a>
+, <a class="el" href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">SVF::MRSVFGNode</a>
 </li>
 <li>getPointsToList()
@@ -1854,7 +1857,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#ae5125dd33403e055078e1c9d6ce6d778">SVF::PAG</a>
 </li>
 <li>getPtCache()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#add718c1056936a4dba6979252a1a36bf">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">SVF::BVDataPTAImpl</a>
 </li>
 <li>getPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81">SVF::BVDataPTAImpl</a>
@@ -1879,7 +1882,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">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>
@@ -1892,7 +1895,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1902,7 +1905,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12">SVF::OfflineConsG</a>
 </li>
 <li>getRefInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#afc17f566f57656cf17c08665602b4849">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77">SVF::MRGenerator</a>
 </li>
 <li>getRefSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">SVF::MRGenerator</a>
@@ -1923,7 +1926,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>getRepPointsTo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">SVF::MRGenerator</a>
 </li>
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
@@ -1946,7 +1949,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1968,7 +1971,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">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>
@@ -2091,7 +2094,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2150,7 +2153,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2359,7 +2362,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>

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

@@ -400,7 +400,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAGNode.html#aa311aaac0f8fbb8650fac9d7662ec795">SVF::PAGNode</a>
 </li>
 <li>hasPAGEdgeList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#abe76a16b9eedc9f8ffca6bc39cfb5c7e">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1PAG.html#a8b498249185812b2bd1e9bd2aac50e4e">SVF::PAG</a>
 </li>
 <li>hasParentThread()

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

@@ -161,7 +161,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo</a>
 </li>
 <li>idToPts
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac15f8dc2bd850d275c692c3001751c9e">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>IDToSymTyMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9353c7d2c0d6ae7dc495911b1ce24e06">SVF::SymbolTableInfo</a>
@@ -381,18 +381,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
-<li>inst2LabelMap
-: <a class="el" href="classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56">SVF::PAGEdge</a>
-</li>
 <li>Inst2LabelMap
 : <a class="el" href="classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1">SVF::PAGEdge</a>
 </li>
-<li>inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
+<li>inst2LabelMap
+: <a class="el" href="classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56">SVF::PAGEdge</a>
 </li>
 <li>Inst2PAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7">SVF::PAG</a>
 </li>
+<li>inst2PAGEdgesMap
+: <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
+</li>
 <li>inst2PTAPAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6">SVF::PAG</a>
 </li>
@@ -632,7 +632,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4">SVF::LockAnalysis</a>
 </li>
 <li>isAliasedMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#acd1759ce72edc748e6628d7e82458473">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">SVF::MRGenerator</a>
 </li>
 <li>isAllPathReachable()
 : <a class="el" href="classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51">SVF::CondManager</a>

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

@@ -121,12 +121,12 @@ $(function() {
 <li>llvmFunEnd()
 : <a class="el" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule</a>
 </li>
-<li>llvmModuleSet
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">SVF::LLVMModuleSet</a>
-</li>
 <li>LLVMModuleSet()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
 </li>
+<li>llvmModuleSet
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">SVF::LLVMModuleSet</a>
+</li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a8fcebc849a231c3c87dddbf0ab5a2167">SVF::PAGEdge</a>
@@ -188,7 +188,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
 <li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
 </li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>

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

@@ -336,7 +336,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671">SVF::MemSSA</a>
 </li>
 <li>MemRegion()
-: <a class="el" href="classSVF_1_1MemRegion.html#afa13fe7a084ff1f896b5d5294d14f880">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b">SVF::MemRegion</a>
 </li>
 <li>memRegSet
 : <a class="el" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator</a>
@@ -515,7 +515,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5">SVF::MemSSA</a>
 </li>
 <li>MRGenerator()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a1023eb17f1a46eee9a948490a4c8fdd5">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46">SVF::MRGenerator</a>
 </li>
 <li>mrs
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">SVF::IndirectSVFGEdge</a>