svf-tools 1.0.427 → 1.0.430

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

@@ -367,7 +367,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a3cb6384160b50bd0a94de3fd2eb6facd">SVF::OfflineConsG</a>
 </li>
 <li>setNumOfElements()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869">SVF::MemObj</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221">SVF::ObjTypeInfo</a>
 </li>
 <li>setNumOfFieldsAndElems()
 : <a class="el" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo</a>
@@ -770,7 +771,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -814,12 +815,12 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
 </li>
-<li>storesToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
-</li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
+<li>storesToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
+</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
@@ -863,7 +864,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>Subset
@@ -900,7 +901,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
 </li>
 <li>svfg
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9">SVF::FlowSensitive</a>
@@ -973,12 +974,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#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
-</li>
 <li>SVFGNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
 </li>
+<li>svfgNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>

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

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>tdAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -365,12 +365,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_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
-</li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
 </li>
+<li>TIMEStatMap
+: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>
@@ -602,11 +602,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
+<li>type
+: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
+</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

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

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

package/SVF-doxygen/html/html/globals.html

@@ -106,6 +106,9 @@ $(function() {
 <li>ALLOC
 : <a class="el" href="util_8h.html#a21755cdb11c76954a33c653579810f3a">util.h</a>
 </li>
+<li>AllocaInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">BasicTypes.h</a>
+</li>
 <li>ALPHA
 : <a class="el" href="cuddInt_8c.html#af5abd28c44c29b7397c84f1fec4b1d84">cuddInt.c</a>
 </li>

package/SVF-doxygen/html/html/globals_b.html

@@ -121,6 +121,9 @@ $(function() {
 <li>BPL
 : <a class="el" href="cuddInt_8c.html#a43a59b49336ac8ad13af90916f2ff4a0">cuddInt.c</a>
 </li>
+<li>BranchInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BasicTypes.h</a>
+</li>
 <li>build_dd()
 : <a class="el" href="cuddInt_8c.html#a12a6eae497f8107110071950a94efb50">cuddInt.c</a>
 </li>

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

@@ -94,6 +94,9 @@ $(function() {
 <li>ResumeInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">BasicTypes.h</a>
 </li>
+<li>ReturnInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">BasicTypes.h</a>
+</li>
 <li>RFINEPT()
 : <a class="el" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">dda.cpp</a>
 </li>

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

@@ -119,13 +119,13 @@ $(function() {
 <li>ST_DEFAULT_REORDER_FLAG
 : <a class="el" href="st_8h.html#a933aaa48b6a156a000befde073a24e4c">st.h</a>
 </li>
-<li>ST_DELETE
-: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
-</li>
 <li>st_delete()
 : <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 , <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
 </li>
+<li>ST_DELETE
+: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
+</li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
 , <a class="el" href="st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57">st.c</a>
@@ -212,13 +212,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>
@@ -327,6 +327,9 @@ $(function() {
 <li>SVF_MAIN_FUNC_NAME
 : <a class="el" href="LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b">LLVMModule.cpp</a>
 </li>
+<li>SwitchInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">BasicTypes.h</a>
+</li>
 <li>system()
 : <a class="el" href="util_8h.html#a6d50e2f4b997abb218cea9a87e543c39">util.h</a>
 </li>

package/SVF-doxygen/html/html/globals_type.html

@@ -61,6 +61,9 @@ $(function() {
  
 
 <h3><a id="index_a"></a>- a -</h3><ul>
+<li>AllocaInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">BasicTypes.h</a>
+</li>
 <li>AtomicCmpXchgInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">BasicTypes.h</a>
 </li>
@@ -80,6 +83,9 @@ $(function() {
 <li>BlockAddress
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">BasicTypes.h</a>
 </li>
+<li>BranchInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BasicTypes.h</a>
+</li>
 </ul>
 
 
@@ -295,6 +301,9 @@ $(function() {
 <li>ResumeInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">BasicTypes.h</a>
 </li>
+<li>ReturnInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">BasicTypes.h</a>
+</li>
 </ul>
 
 
@@ -329,6 +338,9 @@ $(function() {
 <li>StructLayout
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">BasicTypes.h</a>
 </li>
+<li>SwitchInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">BasicTypes.h</a>
+</li>
 </ul>
 
 
@@ -336,6 +348,9 @@ $(function() {
 <li>UnaryOperator
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">BasicTypes.h</a>
 </li>
+<li>UndefValue
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">BasicTypes.h</a>
+</li>
 <li>UnreachableInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">BasicTypes.h</a>
 </li>

package/SVF-doxygen/html/html/globals_u.html

@@ -64,6 +64,9 @@ $(function() {
 <li>UnaryOperator
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">BasicTypes.h</a>
 </li>
+<li>UndefValue
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">BasicTypes.h</a>
+</li>
 <li>UnreachableInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">BasicTypes.h</a>
 </li>
@@ -87,8 +90,8 @@ $(function() {
 : <a class="el" href="util_8h.html#ae1e2057aadd8529c8d1771064cd89be6">util.h</a>
 </li>
 <li>UTIL_UNUSED
-: <a class="el" href="util_8h.html#a87240b9a8c602f39bcbe0246c9e6ec42">util.h</a>
-, <a class="el" href="st_8c.html#a8abfa313efd8b3a3a1ac1c4055e034e1">st.c</a>
+: <a class="el" href="st_8c.html#a8abfa313efd8b3a3a1ac1c4055e034e1">st.c</a>
+, <a class="el" href="util_8h.html#a87240b9a8c602f39bcbe0246c9e6ec42">util.h</a>
 </li>
 </ul>
 </div><!-- contents -->