svf-tools 1.0.289 → 1.0.293

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

@@ -135,12 +135,12 @@ $(function() {
 <li>valueNodes
 : <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>

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

@@ -97,6 +97,9 @@ $(function() {
 <li>bbToCondMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24">SVF::PathCondAllocator</a>
 </li>
+<li>BestCandidate
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>binaryNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#ac312c15d6c41f4c97e1a5f66b0036c06">SVF::PAG</a>
 </li>

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

@@ -183,6 +183,9 @@ $(function() {
 <li>candidateFuncSet
 : <a class="el" href="classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d">SVF::TCT</a>
 </li>
+<li>candidateMappings
+: <a class="el" href="classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b">SVF::FlowSensitive</a>
+</li>
 <li>candidatePointers
 : <a class="el" href="classSVF_1_1PAG.html#aada10ac92c40951586031271478248c2">SVF::PAG</a>
 </li>

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

@@ -104,6 +104,9 @@ $(function() {
 <li>defNodes
 : <a class="el" href="classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b">SVF::SVFGOPT</a>
 </li>
+<li>DendrogramTraversalTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>derefFnName
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212">SVF::TypeBasedHeapCloning</a>
 </li>
@@ -158,6 +161,9 @@ $(function() {
 <li>DisableWarn
 : <a class="el" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">SVF::Options</a>
 </li>
+<li>DistanceMatrixTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>diType
 : <a class="el" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">SVF::DCHNode</a>
 </li>

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

@@ -132,6 +132,9 @@ $(function() {
 <li>errorCode
 : <a class="el" href="structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37">DdManager</a>
 </li>
+<li>EvalTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>exponent
 : <a class="el" href="structEpDoubleStruct.html#ae626888fe53c8c26d65d4fa519b906c6">EpDoubleStruct</a>
 , <a class="el" href="structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2">IeeeDoubleStruct</a>

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

@@ -68,6 +68,9 @@ $(function() {
 <li>falseCond
 : <a class="el" href="classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90">SVF::CondManager</a>
 </li>
+<li>FastClusterTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>fieldIdx
 : <a class="el" href="classSVF_1_1GepValPN.html#a91f678b8dcbac8cc21424074de492569">SVF::GepValPN</a>
 </li>

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

@@ -64,6 +64,9 @@ $(function() {
 <li>l
 : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#abbc4b4beea4318f9ccb81dbdeed239b7">SVF::VersionedFlowSensitive::VersionCache</a>
 </li>
+<li>LargestRegion
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>last
 : <a class="el" href="structDdLevelQueue.html#acf28d01edde7bf6634b4213299f487b3">DdLevelQueue</a>
 </li>

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

@@ -67,9 +67,15 @@ $(function() {
 <li>neg
 : <a class="el" href="structcuddPathPair.html#a968dc3d34b592da2876517a687873281">cuddPathPair</a>
 </li>
+<li>NewBvNumWords
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>newExpand
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">SVF::ConstraintNode</a>
 </li>
+<li>NewSbvNumWords
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>next
 : <a class="el" href="structDdHashItem.html#a8552215a502b76f939920236cf86a20f">DdHashItem</a>
 , <a class="el" href="structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038">DdHook</a>
@@ -175,12 +181,21 @@ $(function() {
 : <a class="el" href="structDdHashTable.html#a99ecb46b5e08f1344e8f122f1ae11d9b">DdHashTable</a>
 , <a class="el" href="structDdLevelQueue.html#a7d8e6f7c9adc1e662c568782f73cd222">DdLevelQueue</a>
 </li>
+<li>NumGtIntRegions
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>numInit
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>numNodes
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62">SVF::NodeIDAllocator</a>
 </li>
+<li>NumNonTrivialRegionObjects
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f">SVF::NodeIDAllocator::Clusterer</a>
+</li>
+<li>NumObjects
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>numObjects
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f">SVF::NodeIDAllocator</a>
 </li>
@@ -530,6 +545,9 @@ $(function() {
 <li>numPrelabelVersions
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9235db71172dcdf277050f6ca5f344c6">SVF::VersionedFlowSensitive</a>
 </li>
+<li>NumRegions
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>numReuse
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a0b14eb60ddc73654bec24cd8142e447b">SVF::TypeBasedHeapCloning</a>
 </li>

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

@@ -127,6 +127,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
+<li>OriginalBvNumWords
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9">SVF::NodeIDAllocator::Clusterer</a>
+</li>
+<li>OriginalSbvNumWords
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>out
 : <a class="el" href="structDdManager.html#af318bea3248f8e99d7889f028be4ec8f">DdManager</a>
 </li>

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

@@ -130,6 +130,9 @@ $(function() {
 <li>RegionedClustering
 : <a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">SVF::Options</a>
 </li>
+<li>RegioningTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>relianceTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257">SVF::VersionedFlowSensitive</a>
 </li>

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

@@ -128,6 +128,9 @@ $(function() {
 <li>templateNameToInstancesMap
 : <a class="el" href="classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8">SVF::CHGraph</a>
 </li>
+<li>TheoreticalNumWords
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>threadStmtToInterLeaving
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e">SVF::MTAResultValidator</a>
 </li>
@@ -259,6 +262,9 @@ $(function() {
 <li>totalSymNum
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd">SVF::SymbolTableInfo</a>
 </li>
+<li>TotalTime
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964">SVF::NodeIDAllocator::Clusterer</a>
+</li>
 <li>TotalTimeOfConstructMemSSA
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">SVF::MemSSAStat</a>
 </li>

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

@@ -76,25 +76,27 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/globals_f.html

@@ -79,12 +79,12 @@ $(function() {
 <li>fixVarTree()
 : <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
 </li>
-<li>FREE
-: <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
-</li>
 <li>free()
 : <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
 </li>
+<li>FREE
+: <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>