svf-tools 1.0.481 → 1.0.482

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

@@ -178,9 +178,6 @@ $(function() {
 <li>num_entries
 : <a class="el" href="structst__table.html#a4f720b56253518cde537ade35a3b591a">st_table</a>
 </li>
-<li>numAgg
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a891a5873205bb98ad494a1c07231dc8a">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>NumberOfFieldInsensitiveObj
 : <a class="el" href="classSVF_1_1PTAStat.html#ad1a7e7aec8f272017be7d0b6acda86a4">SVF::PTAStat</a>
 </li>
@@ -197,9 +194,6 @@ $(function() {
 <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>
@@ -567,39 +561,9 @@ $(function() {
 <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>
-<li>numSGAgg
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a28653c7757fc31c4b8c1b31ace17eb50">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numSGInit
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a4d6fc7852fc4bfe1d7ba3c0b8602bc8a">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numSGReuse
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac44c7746d774af420ff2bc5ce98f5add">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numSGTBSSU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a86a51362c35c4a67fc1d4af655504493">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numSGTBSU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a51d2baff54d05cba59fa270c32cce87c">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numSGTBWU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#afca6afa06a1072e7a452ed42bcd666d3">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>numSymbols
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">SVF::NodeIDAllocator</a>
 </li>
-<li>numTBSSU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#af5cf059dea30a0b422321e3a792ea447">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numTBSU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ab3fa2223ad8d8b23d78aa02892f0be2c">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>numTBWU
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad971bec1a044bbb979b96b0d91278afd">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>numTypes
 : <a class="el" href="classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c">SVF::DCHGraph</a>
 </li>

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

@@ -70,21 +70,9 @@ $(function() {
 <li>objSymMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">SVF::SymbolTableInfo</a>
 </li>
-<li>objToAllocation
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a0a768e179a3a0c8c213ecca6f71a64c1">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>objToClones
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a36d5f03d899dd21392c327115ff2f9d9">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>objToGeps
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aa9977ed15f500848b23d4df7a44cd204">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>objToNSRevPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>objToType
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a477492fb699d742c33007a6ca934b5c1">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>oCG
 : <a class="el" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -197,9 +197,6 @@ $(function() {
 <li>postReorderingHook
 : <a class="el" href="structDdManager.html#a051721a550ae2f41b9838b8153d46b30">DdManager</a>
 </li>
-<li>ppag
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>predicate
 : <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
 </li>
@@ -311,7 +308,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">SVF::PTAStat</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04">SVF::TCT</a>
-, <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>ptaCallGraph
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe">SVF::PointerAnalysis</a>

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

@@ -270,9 +270,6 @@ $(function() {
 <li>storeOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">SVF::ConstraintNode</a>
 </li>
-<li>storeReuse
-: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462">SVF::FlowSensitiveTBHC</a>
-</li>
 <li>storeset
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
 </li>

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

@@ -79,12 +79,6 @@ $(function() {
 <li>TaintUninitStack
 : <a class="el" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">SVF::Options</a>
 </li>
-<li>TBHCAllReuse
-: <a class="el" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">SVF::Options</a>
-</li>
-<li>TBHCStoreReuse
-: <a class="el" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">SVF::Options</a>
-</li>
 <li>tcg
 : <a class="el" href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP</a>
 , <a class="el" href="classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa">SVF::MTA</a>

package/SVF-doxygen/html/html/functions_vars_u.html

@@ -64,9 +64,6 @@ $(function() {
 <li>ub
 : <a class="el" href="structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512">DdGen</a>
 </li>
-<li>undefType
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a6363466e64eee4405806568d26206d2e">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>unionCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

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

@@ -79,21 +79,23 @@ $(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#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</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_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</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>
@@ -104,17 +106,19 @@ $(function() {
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <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>
+</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>

package/SVF-doxygen/html/html/globals_func_g.html

@@ -98,9 +98,6 @@ $(function() {
 : <a class="el" href="util_8c.html#a6df944867e592afe693884f4395a7d6b">util.c</a>
 , <a class="el" href="util_8h.html#a483a36453687145fd533bdb6694bad89">util.h</a>
 </li>
-<li>getVTInitType()
-: <a class="el" href="FlowSensitiveTBHC_8cpp.html#af72d866f4ffed004e104b686d4f94cb3">FlowSensitiveTBHC.cpp</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_func_i.html

@@ -65,8 +65,6 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
 , <a class="el" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">CMakeLists.txt</a>
 , <a class="el" href="cJSON_8cpp.html#a4593ce107753e9b7b31ddac97a959994">cJSON.cpp</a>
-, <a class="el" href="tools_2SABER_2CMakeLists_8txt.html#a8090d680f76934d4cad048ea01b7fe8e">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660">cJSON.cpp</a>
 , <a class="el" href="tools_2Example_2CMakeLists_8txt.html#a99a811bf6e0c9c244f0663f312a3ee41">CMakeLists.txt</a>
 , <a class="el" href="cJSON_8cpp.html#add3447abc993c24187f21b06f123ed3b">cJSON.cpp</a>
 </li>
@@ -76,16 +74,13 @@ $(function() {
 <li>initSymmInfo()
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
 </li>
-<li>isAliasTestFunction()
-: <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
-</li>
 <li>IsInfDouble()
 : <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
 , <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
 </li>
 <li>IsNanDouble()
-: <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
-, <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
+: <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
+, <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
 </li>
 <li>IsNanOrInfDouble()
 : <a class="el" href="epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9">epd.c</a>

package/SVF-doxygen/html/html/globals_g.html

@@ -110,11 +110,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a048492e5cad979aad3c0540ff82a4824">cuddInt.c</a>
 </li>
 <li>getSoftDataLimit()
-: <a class="el" href="util_8c.html#a6df944867e592afe693884f4395a7d6b">util.c</a>
-, <a class="el" href="util_8h.html#a483a36453687145fd533bdb6694bad89">util.h</a>
-</li>
-<li>getVTInitType()
-: <a class="el" href="FlowSensitiveTBHC_8cpp.html#af72d866f4ffed004e104b686d4f94cb3">FlowSensitiveTBHC.cpp</a>
+: <a class="el" href="util_8h.html#a483a36453687145fd533bdb6694bad89">util.h</a>
+, <a class="el" href="util_8c.html#a6df944867e592afe693884f4395a7d6b">util.c</a>
 </li>
 <li>global_error
 : <a class="el" href="cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_i.html

@@ -80,8 +80,8 @@ $(function() {
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>
 <li>index
-: <a class="el" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.h</a>
 </li>
 <li>initSymmInfo()
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
@@ -116,9 +116,6 @@ $(function() {
 <li>IRBuilder
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">BasicTypes.h</a>
 </li>
-<li>isAliasTestFunction()
-: <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
-</li>
 <li>isinf
 : <a class="el" href="cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df">cJSON.cpp</a>
 </li>
@@ -141,8 +138,8 @@ $(function() {
 : <a class="el" href="CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175">CPPUtil.cpp</a>
 </li>
 <li>item
-: <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_r.html

@@ -74,12 +74,12 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a788db922597cf2fb6389e278f822e59f">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f">cJSON.cpp</a>
 </li>
-<li>realloc()
-: <a class="el" href="util_8h.html#af6ef63a39a975856bc39bf0f3d13b292">util.h</a>
-</li>
 <li>REALLOC
 : <a class="el" href="util_8h.html#ac3d02b1026db1997f09067d47aed16a8">util.h</a>
 </li>
+<li>realloc()
+: <a class="el" href="util_8h.html#af6ef63a39a975856bc39bf0f3d13b292">util.h</a>
+</li>
 <li>recurse
 : <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_s.html

@@ -206,20 +206,22 @@ $(function() {
 : <a class="el" href="st_8h.html#ab10245506c3e5d053c75a902ec62a074">st.h</a>
 , <a class="el" href="st_8c.html#a958c280b8f24c847ca511eaffd410f04">st.c</a>
 </li>
+<li>st_numcmp()
+: <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
+</li>
 <li>ST_NUMCMP
 : <a class="el" href="st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5">st.c</a>
 </li>
 <li>st_numcmp()
 : <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
-, <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
+</li>
+<li>ST_NUMHASH
+: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
 </li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>
 , <a class="el" href="st_8c.html#aede320ef4713f295a335b4da6e1d8358">st.c</a>
 </li>
-<li>ST_NUMHASH
-: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
-</li>
 <li>ST_OUT_OF_MEM
 : <a class="el" href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">st.h</a>
 </li>
@@ -236,13 +238,13 @@ $(function() {
 : <a class="el" href="st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075">st.c</a>
 , <a class="el" href="st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf">st.h</a>
 </li>
-<li>ST_PTRHASH
-: <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
-</li>
 <li>st_ptrhash()
 : <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
 , <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
 </li>
+<li>ST_PTRHASH
+: <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
+</li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>
 </li>

package/SVF-doxygen/html/html/hierarchy.html

@@ -256,12 +256,9 @@ $(function() {
 <tr id="row_88_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphNode.html" target="_self">SVF::PTACallGraphNode</a></td><td class="desc"></td></tr>
 <tr id="row_88_3_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_88_3_" class="arrow" onclick="toggleFolder('88_3_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVar.html" target="_self">SVF::SVFVar</a></td><td class="desc"></td></tr>
 <tr id="row_88_3_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_88_3_0_" class="arrow" onclick="toggleFolder('88_3_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjVar.html" target="_self">SVF::ObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_88_3_0_0_" class="arrow" onclick="toggleFolder('88_3_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyObjVar.html" target="_self">SVF::DummyObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_0_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneDummyObjVar.html" target="_self">SVF::CloneDummyObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_88_3_0_1_" class="arrow" onclick="toggleFolder('88_3_0_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIObjVar.html" target="_self">SVF::FIObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneFIObjVar.html" target="_self">SVF::CloneFIObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_88_3_0_2_" class="arrow" onclick="toggleFolder('88_3_0_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepObjVar.html" target="_self">SVF::GepObjVar</a></td><td class="desc"></td></tr>
-<tr id="row_88_3_0_2_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneGepObjVar.html" target="_self">SVF::CloneGepObjVar</a></td><td class="desc"></td></tr>
+<tr id="row_88_3_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyObjVar.html" target="_self">SVF::DummyObjVar</a></td><td class="desc"></td></tr>
+<tr id="row_88_3_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIObjVar.html" target="_self">SVF::FIObjVar</a></td><td class="desc"></td></tr>
+<tr id="row_88_3_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepObjVar.html" target="_self">SVF::GepObjVar</a></td><td class="desc"></td></tr>
 <tr id="row_88_3_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_88_3_1_" class="arrow" onclick="toggleFolder('88_3_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ValVar.html" target="_self">SVF::ValVar</a></td><td class="desc"></td></tr>
 <tr id="row_88_3_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyValVar.html" target="_self">SVF::DummyValVar</a></td><td class="desc"></td></tr>
 <tr id="row_88_3_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepValVar.html" target="_self">SVF::GepValVar</a></td><td class="desc"></td></tr>
@@ -456,9 +453,8 @@ $(function() {
 <tr id="row_177_1_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeAnalysis.html" target="_self">SVF::TypeAnalysis</a></td><td class="desc"></td></tr>
 <tr id="row_177_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
 <tr id="row_177_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_177_1_2_" class="arrow" onclick="toggleFolder('177_1_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
-<tr id="row_177_1_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
-<tr id="row_177_1_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
-<tr id="row_177_1_2_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
+<tr id="row_177_1_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
+<tr id="row_177_1_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
 <tr id="row_177_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLAlias.html" target="_self">SVF::CFLAlias</a></td><td class="desc"></td></tr>
 <tr id="row_177_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="desc"></td></tr>
 <tr id="row_178_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">SVF::PointsTo</a></td><td class="desc"></td></tr>
@@ -523,16 +519,14 @@ $(function() {
 <tr id="row_207_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html" target="_self">SVF::GrammarBase::SymbolVectorHash</a></td><td class="desc"></td></tr>
 <tr id="row_208_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymState.html" target="_self">SVF::SymState</a></td><td class="desc"></td></tr>
 <tr id="row_209_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadAPI.html" target="_self">SVF::ThreadAPI</a></td><td class="desc"></td></tr>
-<tr id="row_210_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_210_" class="arrow" onclick="toggleFolder('210_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html" target="_self">SVF::TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
-<tr id="row_210_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
-<tr id="row_211_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
-<tr id="row_212_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_212_" class="arrow" onclick="toggleFolder('212_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_212_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
-<tr id="row_212_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_212_1_" class="arrow" onclick="toggleFolder('212_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_212_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
-<tr id="row_212_1_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_212_1_1_" class="arrow" onclick="toggleFolder('212_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_212_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_213_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">SVF::Z3Expr</a></td><td class="desc"></td></tr>
+<tr id="row_210_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
+<tr id="row_211_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_211_" class="arrow" onclick="toggleFolder('211_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_211_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
+<tr id="row_211_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_211_1_" class="arrow" onclick="toggleFolder('211_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_211_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
+<tr id="row_211_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_211_1_1_" class="arrow" onclick="toggleFolder('211_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_211_1_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_212_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">SVF::Z3Expr</a></td><td class="desc"></td></tr>
 </table>
 </div><!-- directory -->
 </div><!-- contents -->

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -187,12 +187,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html">CHNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneDummyObjVar.html">CloneDummyObjVar</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneFIObjVar.html">CloneFIObjVar</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneGepObjVar.html">CloneGepObjVar</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a></td></tr>
@@ -295,8 +289,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowSensitiveStat.html">FlowSensitiveStat</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowSensitiveTBHC.html">FlowSensitiveTBHC</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ForkJoinAnalysis.html">ForkJoinAnalysis</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a></td></tr>
@@ -642,8 +634,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TypeAnalysis.html">TypeAnalysis</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html">TypeBasedHeapCloning</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">UnaryOPVFGNode</a></td></tr>