svf-tools 1.0.615 → 1.0.617

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

@@ -101,12 +101,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#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -115,11 +115,13 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>SCC
+: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -868,12 +870,12 @@ $(function() {
 <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>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -898,12 +900,12 @@ $(function() {
 <li>str2Symbol()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">SVF::GrammarBase</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>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1100,12 +1102,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>SVFGNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
-</li>
 <li>svfgNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
 </li>
+<li>SVFGNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1260,7 +1262,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
 </li>
 <li>svfTypes
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9">SVF::SymbolTableInfo</a>
@@ -1303,7 +1305,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

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

@@ -385,12 +385,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>timeStatMap
-: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
-</li>
 <li>TIMEStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
 </li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -283,7 +283,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">SVF::ConstraintEdge</a>
 </li>
 <li>ConstraintNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af2dcf9fd0bc3d353c8582849cdabdf54">SVF::ConstraintGraph</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f">SVF::ConstraintGraph</a>
 </li>
 <li>ConstraintNodeIter
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025">SVF::ConstraintGraph</a>

package/SVF-doxygen/html/html/functions_type_i.html

@@ -72,7 +72,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
 </li>
 <li>ICFGNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b">SVF::ICFG</a>
 </li>
 <li>ICFGNodeSet
 : <a class="el" href="classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84">SVF::ICFGStat</a>
@@ -91,7 +91,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a0371b60485199175b011cf3a42b404aa">SVF::SymbolTableInfo</a>
 </li>
 <li>IDToNodeMapTy
-: <a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>IndexToTermInstMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937">SVF::SaberCondAllocator</a>

package/SVF-doxygen/html/html/functions_type_v.html

@@ -106,7 +106,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765">SVF::VFGEdge</a>
 </li>
 <li>VFGNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1VFG.html#ab2abe2ba4ac9e3e1d326d042d35acbc0">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8">SVF::VFG</a>
 </li>
 <li>VFGNodeIter
 : <a class="el" href="classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea">SVF::VFG</a>

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

@@ -131,24 +131,24 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df">SVF::ValVar</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>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -292,7 +292,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode</a>
 </li>
 <li>VFGNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1VFG.html#ab2abe2ba4ac9e3e1d326d042d35acbc0">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8">SVF::VFG</a>
 </li>
 <li>VFGNodeIter
 : <a class="el" href="classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea">SVF::VFG</a>

package/SVF-doxygen/html/html/functions_vars_m.html

@@ -70,9 +70,6 @@ $(function() {
 <li>m_id
 : <a class="el" href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">SVF::CondVar&lt; Cond &gt;</a>
 </li>
-<li>mainModule
-: <a class="el" href="classSVF_1_1IRAnnotator.html#a01462e9ee84f490514598c68e8c9557b">SVF::IRAnnotator</a>
-</li>
 <li>MallocOnly
 : <a class="el" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">SVF::Options</a>
 </li>

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

@@ -334,9 +334,6 @@ $(function() {
 <li>PTSPrint
 : <a class="el" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">SVF::Options</a>
 </li>
-<li>ptsTo
-: <a class="el" href="classSVF_1_1IRAnnotator.html#afd8770eee0c14386c407cae026ce87b5">SVF::IRAnnotator</a>
-</li>
 <li>ptsToId
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

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

@@ -173,8 +173,8 @@ $(function() {
 <li>writeNodes()
 : <a class="el" href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
-<li>writePAGgepNode()
-: <a class="el" href="classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d">SVF::IRAnnotator</a>
+<li>writeObjVarToFile()
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc">SVF::BVDataPTAImpl</a>
 </li>
 <li>WriteSVFG
 : <a class="el" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">SVF::Options</a>
@@ -183,9 +183,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1">SVF::SVFG</a>
 </li>
-<li>writeToModule()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa0ca07204a31004fb876c6e18d1ac1ca">SVF::BVDataPTAImpl</a>
-</li>
 <li>Wto()
 : <a class="el" href="classSVF_1_1Wto.html#af9cecf6292bcd82a4e41af4857ebaf7c">SVF::Wto</a>
 </li>
@@ -208,7 +205,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WtoCycle.html#ab4c2892088b76cbd8b3afd60cd2bec51">SVF::WtoCycle</a>
 </li>
 <li>WtoComponentVisitor()
-: <a class="el" href="classSVF_1_1WtoComponentVisitor.html#a8b21e414fdf9125ffad277375b3172a9">SVF::WtoComponentVisitor</a>
+: <a class="el" href="classSVF_1_1WtoComponentVisitor.html#a39d4cc064c02fe4145a950ca452372b9">SVF::WtoComponentVisitor</a>
 </li>
 <li>WtoCT
 : <a class="el" href="classSVF_1_1WtoComponent.html#a61379d9c9aafab0f4729f2818d6d2ec5">SVF::WtoComponent</a>
@@ -221,7 +218,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WtoComponentVisitor.html#acd0a64d5777e1defc8ee609305c6930c">SVF::WtoComponentVisitor</a>
 </li>
 <li>WtoNesting()
-: <a class="el" href="classSVF_1_1WtoNesting.html#aed5f8a944a1018c71c4fb78a22795c08">SVF::WtoNesting</a>
+: <a class="el" href="classSVF_1_1WtoNesting.html#a781655082432cd789e282962c6ded5a3">SVF::WtoNesting</a>
 </li>
 <li>WtoNestingPtr
 : <a class="el" href="classSVF_1_1Wto.html#a5a4ab010a4bd8b4fc8a51c0e707d7ab6">SVF::Wto</a>