svf-tools 1.0.299 → 1.0.300
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.
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp.html +3 -3
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/PathCondAllocator_8h.html +2 -2
- package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +10 -10
- package/SVF-doxygen/html/html/ProgSlice_8h.html +1 -1
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +33 -28
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
- package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +0 -2
- package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +0 -2
- package/SVF-doxygen/html/html/dir_f64ba85ee2ef09a6a63396483e9e686d.html +2 -0
- package/SVF-doxygen/html/html/dir_fdb79cd259bf25322a80ea604c9317b5.html +2 -0
- package/SVF-doxygen/html/html/files.html +25 -25
- package/SVF-doxygen/html/html/functions_c.html +10 -12
- package/SVF-doxygen/html/html/functions_f.html +9 -9
- package/SVF-doxygen/html/html/functions_func_c.html +5 -5
- package/SVF-doxygen/html/html/functions_func_g.html +4 -4
- package/SVF-doxygen/html/html/functions_func_i.html +2 -2
- package/SVF-doxygen/html/html/functions_g.html +4 -4
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +3 -3
- package/SVF-doxygen/html/html/functions_r.html +5 -3
- package/SVF-doxygen/html/html/functions_s.html +12 -10
- package/SVF-doxygen/html/html/functions_t.html +7 -7
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_w.html +6 -8
- package/SVF-doxygen/html/html/search/all_10.js +3 -3
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +9 -9
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +11 -11
- package/SVF-doxygen/html/html/search/all_4.js +2 -2
- package/SVF-doxygen/html/html/search/all_6.js +3 -3
- package/SVF-doxygen/html/html/search/all_7.js +9 -9
- package/SVF-doxygen/html/html/search/all_9.js +3 -3
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +2 -2
- package/SVF-doxygen/html/html/search/functions_2.js +7 -7
- package/SVF-doxygen/html/html/search/functions_3.js +2 -2
- package/SVF-doxygen/html/html/search/functions_6.js +9 -9
- package/SVF-doxygen/html/html/search/functions_8.js +3 -3
- package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/include/{Util → SABER}/PathCondAllocator.h +0 -0
- package/include/SABER/ProgSlice.h +1 -1
- package/lib/{Util → SABER}/PathCondAllocator.cpp +26 -27
- package/package.json +1 -1
|
@@ -112,12 +112,12 @@ $(function() {
|
|
|
112
112
|
<li>PAGEdgeSetTy
|
|
113
113
|
: <a class="el" href="classSVF_1_1PAGEdge.html#a59eb693c90848382efa1cccb56fe82d3">SVF::PAGEdge</a>
|
|
114
114
|
</li>
|
|
115
|
-
<li>pagEdgeToFunMap
|
|
116
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
|
|
117
|
-
</li>
|
|
118
115
|
<li>PAGEdgeToFunMap
|
|
119
116
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
|
|
120
117
|
</li>
|
|
118
|
+
<li>pagEdgeToFunMap
|
|
119
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
|
|
120
|
+
</li>
|
|
121
121
|
<li>PAGEdgeToSetMapTy
|
|
122
122
|
: <a class="el" href="classSVF_1_1PAGEdge.html#a8c1ca8ef92ae08a3a0253c6f29819702">SVF::PAGEdge</a>
|
|
123
123
|
</li>
|
|
@@ -564,12 +564,14 @@ $(function() {
|
|
|
564
564
|
<li>reverseNodeMapping
|
|
565
565
|
: <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
|
|
566
566
|
</li>
|
|
567
|
+
<li>RevPtsMap
|
|
568
|
+
: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
569
|
+
</li>
|
|
567
570
|
<li>revPtsMap
|
|
568
571
|
: <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
569
572
|
</li>
|
|
570
573
|
<li>RevPtsMap
|
|
571
|
-
: <a class="el" href="
|
|
572
|
-
, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
574
|
+
: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
573
575
|
, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
574
576
|
</li>
|
|
575
577
|
<li>revPtsMap
|
|
@@ -616,7 +618,7 @@ $(function() {
|
|
|
616
618
|
, <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
|
|
617
619
|
, <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
|
|
618
620
|
, <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
|
|
619
|
-
, <a class="el" href="classSVF_1_1MTA.html#
|
|
621
|
+
, <a class="el" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA</a>
|
|
620
622
|
, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
|
|
621
623
|
</li>
|
|
622
624
|
<li>runPointerAnalysis()
|
|
@@ -109,11 +109,13 @@ $(function() {
|
|
|
109
109
|
</li>
|
|
110
110
|
<li>SCC
|
|
111
111
|
: <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
|
|
112
|
-
, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
113
112
|
</li>
|
|
114
113
|
<li>scc
|
|
115
114
|
: <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver< GraphType ></a>
|
|
116
115
|
</li>
|
|
116
|
+
<li>SCC
|
|
117
|
+
: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
118
|
+
</li>
|
|
117
119
|
<li>sccCandidates
|
|
118
120
|
: <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
|
|
119
121
|
</li>
|
|
@@ -796,12 +798,12 @@ $(function() {
|
|
|
796
798
|
<li>storeset
|
|
797
799
|
: <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
|
|
798
800
|
</li>
|
|
799
|
-
<li>storesToMRsMap
|
|
800
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
|
|
801
|
-
</li>
|
|
802
801
|
<li>StoresToMRsMap
|
|
803
802
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
|
|
804
803
|
</li>
|
|
804
|
+
<li>storesToMRsMap
|
|
805
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
|
|
806
|
+
</li>
|
|
805
807
|
<li>storesToPointsToMap
|
|
806
808
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
|
|
807
809
|
</li>
|
|
@@ -823,12 +825,12 @@ $(function() {
|
|
|
823
825
|
<li>StoreVFGNode()
|
|
824
826
|
: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
|
|
825
827
|
</li>
|
|
826
|
-
<li>Strategy
|
|
827
|
-
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
|
|
828
|
-
</li>
|
|
829
828
|
<li>strategy
|
|
830
829
|
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
|
|
831
830
|
</li>
|
|
831
|
+
<li>Strategy
|
|
832
|
+
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
|
|
833
|
+
</li>
|
|
832
834
|
<li>strides
|
|
833
835
|
: <a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode</a>
|
|
834
836
|
</li>
|
|
@@ -946,12 +948,12 @@ $(function() {
|
|
|
946
948
|
: <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
|
|
947
949
|
, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
|
|
948
950
|
</li>
|
|
949
|
-
<li>SVFGNodeToCondMap
|
|
950
|
-
: <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
|
|
951
|
-
</li>
|
|
952
951
|
<li>svfgNodeToCondMap
|
|
953
952
|
: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
|
|
954
953
|
</li>
|
|
954
|
+
<li>SVFGNodeToCondMap
|
|
955
|
+
: <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
|
|
956
|
+
</li>
|
|
955
957
|
<li>SVFGNodeToCSIDMap
|
|
956
958
|
: <a class="el" href="classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a">SVF::LeakChecker</a>
|
|
957
959
|
</li>
|
|
@@ -196,18 +196,18 @@ $(function() {
|
|
|
196
196
|
, <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
|
|
197
197
|
, <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
|
|
198
198
|
</li>
|
|
199
|
-
<li>TDAPIMap
|
|
200
|
-
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
|
|
201
|
-
</li>
|
|
202
199
|
<li>tdAPIMap
|
|
203
200
|
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
|
|
204
201
|
</li>
|
|
205
202
|
<li>TDAPIMap
|
|
206
|
-
: <a class="el" href="
|
|
203
|
+
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
|
|
207
204
|
</li>
|
|
208
205
|
<li>tdAPIMap
|
|
209
206
|
: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
|
|
210
207
|
</li>
|
|
208
|
+
<li>TDAPIMap
|
|
209
|
+
: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
|
|
210
|
+
</li>
|
|
211
211
|
<li>TDDead
|
|
212
212
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
|
|
213
213
|
</li>
|
|
@@ -365,12 +365,12 @@ $(function() {
|
|
|
365
365
|
<li>timeOfUpdateCallGraph
|
|
366
366
|
: <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
|
|
367
367
|
</li>
|
|
368
|
-
<li>TIMEStatMap
|
|
369
|
-
: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
|
|
370
|
-
</li>
|
|
371
368
|
<li>timeStatMap
|
|
372
369
|
: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
|
|
373
370
|
</li>
|
|
371
|
+
<li>TIMEStatMap
|
|
372
|
+
: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
|
|
373
|
+
</li>
|
|
374
374
|
<li>TInterPhi
|
|
375
375
|
: <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
|
|
376
376
|
</li>
|
|
@@ -135,12 +135,12 @@ $(function() {
|
|
|
135
135
|
<li>valueNodes
|
|
136
136
|
: <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
|
|
137
137
|
</li>
|
|
138
|
-
<li>valueToEdgeMap
|
|
139
|
-
: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
|
|
140
|
-
</li>
|
|
141
138
|
<li>ValueToEdgeMap
|
|
142
139
|
: <a class="el" href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG</a>
|
|
143
140
|
</li>
|
|
141
|
+
<li>valueToEdgeMap
|
|
142
|
+
: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
|
|
143
|
+
</li>
|
|
144
144
|
<li>ValueToIDMapTy
|
|
145
145
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
|
|
146
146
|
</li>
|
|
@@ -76,27 +76,25 @@ $(function() {
|
|
|
76
76
|
<li>WordSize
|
|
77
77
|
: <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
|
|
78
78
|
</li>
|
|
79
|
+
<li>WorkList
|
|
80
|
+
: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver< GraphType, DPIm ></a>
|
|
81
|
+
</li>
|
|
79
82
|
<li>worklist
|
|
80
83
|
: <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver< GraphType, DPIm ></a>
|
|
81
84
|
</li>
|
|
82
85
|
<li>WorkList
|
|
83
|
-
: <a class="el" href="
|
|
84
|
-
, <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
|
|
86
|
+
: <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
|
|
85
87
|
, <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
|
|
86
88
|
, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
|
|
87
89
|
, <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
|
|
88
90
|
, <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
|
|
89
91
|
, <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
|
|
90
92
|
, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
|
|
93
|
+
, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
|
|
91
94
|
</li>
|
|
92
95
|
<li>worklist
|
|
93
96
|
: <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
|
|
94
|
-
|
|
95
|
-
<li>WorkList
|
|
96
|
-
: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
|
|
97
|
-
</li>
|
|
98
|
-
<li>worklist
|
|
99
|
-
: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver< GraphType ></a>
|
|
97
|
+
, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver< GraphType ></a>
|
|
100
98
|
</li>
|
|
101
99
|
<li>WorkList
|
|
102
100
|
: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver< GraphType ></a>
|
|
@@ -18,7 +18,7 @@ var searchData=
|
|
|
18
18
|
['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb',1,'SVF::ICFGNode']]],
|
|
19
19
|
['pagedgeset',['PAGEdgeSet',['../classSVF_1_1PAG.html#ab18ceda2810981f4d4bb47ac88705577',1,'SVF::PAG::PAGEdgeSet()'],['../classSVF_1_1VFG.html#ade9d05bb026081e9a2c839dd2c56eab9',1,'SVF::VFG::PAGEdgeSet()']]],
|
|
20
20
|
['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1PAGEdge.html#a59eb693c90848382efa1cccb56fe82d3',1,'SVF::PAGEdge']]],
|
|
21
|
-
['pagedgetofunmap',['
|
|
21
|
+
['pagedgetofunmap',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
|
|
22
22
|
['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1PAGEdge.html#a8c1ca8ef92ae08a3a0253c6f29819702',1,'SVF::PAGEdge']]],
|
|
23
23
|
['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
|
|
24
24
|
['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
|
|
@@ -71,7 +71,7 @@ var searchData=
|
|
|
71
71
|
['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
|
|
72
72
|
['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
|
|
73
73
|
['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
|
|
74
|
-
['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../
|
|
74
|
+
['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
|
|
75
75
|
['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
|
|
76
76
|
['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
|
|
77
77
|
['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
|
|
@@ -280,7 +280,7 @@ var searchData=
|
|
|
280
280
|
['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
|
|
281
281
|
['ptatype',['PTAType',['../classSVF_1_1PTAType.html',1,'SVF::PTAType'],['../classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827',1,'SVF::PTAType::PTAType()']]],
|
|
282
282
|
['ptatype_2eh',['PTAType.h',['../PTAType_8h.html',1,'']]],
|
|
283
|
-
['ptavector',['
|
|
283
|
+
['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
|
|
284
284
|
['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
|
|
285
285
|
['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
|
|
286
286
|
['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
|
|
@@ -141,7 +141,7 @@ var searchData=
|
|
|
141
141
|
['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
|
|
142
142
|
['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
|
|
143
143
|
['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
|
|
144
|
-
['ret',['
|
|
144
|
+
['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()']]],
|
|
145
145
|
['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
|
|
146
146
|
['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
|
|
147
147
|
['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
|
|
@@ -155,7 +155,7 @@ var searchData=
|
|
|
155
155
|
['retindsvfgedge',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
|
|
156
156
|
['retindvf',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
|
|
157
157
|
['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
|
|
158
|
-
['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../
|
|
158
|
+
['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()']]],
|
|
159
159
|
['retnode',['RetNode',['../classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda02baa6f73696007a1ed47262491bd26b',1,'SVF::PAGNode']]],
|
|
160
160
|
['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a082c2a11ebff3dd9677b859c851d358f',1,'SVF::RetPE::RetPE(PAGNode *s, PAGNode *d, const CallBlockNode *i, GEdgeKind k=PAGEdge::Ret)']]],
|
|
161
161
|
['retpebegin',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
|
|
@@ -171,7 +171,7 @@ var searchData=
|
|
|
171
171
|
['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
|
|
172
172
|
['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
|
|
173
173
|
['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
|
|
174
|
-
['revptsmap',['
|
|
174
|
+
['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
|
|
175
175
|
['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
|
|
176
176
|
['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
|
|
177
177
|
['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],
|
|
@@ -26,7 +26,7 @@ var searchData=
|
|
|
26
26
|
['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
|
|
27
27
|
['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
|
|
28
28
|
['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
|
|
29
|
-
['scc',['
|
|
29
|
+
['scc',['scc',['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
|
|
30
30
|
['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
|
|
31
31
|
['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
|
|
32
32
|
['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenWaveDiffWithType.html#aef46713e8407e5963c5c8f04ff1545d1',1,'SVF::AndersenWaveDiffWithType::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
|
|
@@ -59,7 +59,7 @@ var searchData=
|
|
|
59
59
|
['setcallgraph',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
|
|
60
60
|
['setcallgraphscc',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
|
|
61
61
|
['setcfcond',['setCFCond',['../classSVF_1_1PathCondAllocator.html#a4cb61914dff693e284091e97ab8c8878',1,'SVF::PathCondAllocator']]],
|
|
62
|
-
['setcondinst',['setCondInst',['../
|
|
62
|
+
['setcondinst',['setCondInst',['../classSVF_1_1PathCondAllocator.html#ab85a1ab3580958361ea5ec29efc75874',1,'SVF::PathCondAllocator::setCondInst()'],['../classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf',1,'SVF::CondManager::setCondInst()']]],
|
|
63
63
|
['setconsume',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
|
|
64
64
|
['setcurevalsvfgnode',['setCurEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a68f93a9271efcbb4728066a8d5639628',1,'SVF::PathCondAllocator']]],
|
|
65
65
|
['setcurnodeid',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
|
|
@@ -290,7 +290,7 @@ var searchData=
|
|
|
290
290
|
['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
|
|
291
291
|
['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
|
|
292
292
|
['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
|
|
293
|
-
['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../
|
|
293
|
+
['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()']]],
|
|
294
294
|
['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c']]],
|
|
295
295
|
['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
|
|
296
296
|
['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1PAGEdge.html#a6086285794f9fcab46458c37a79d962f',1,'SVF::PAGEdge']]],
|
|
@@ -301,8 +301,8 @@ var searchData=
|
|
|
301
301
|
['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
|
|
302
302
|
['storepe',['StorePE',['../classSVF_1_1StorePE.html',1,'SVF::StorePE'],['../classSVF_1_1StorePE.html#a077224fe9876211abacd4f4ff10ed062',1,'SVF::StorePE::StorePE()'],['../classSVF_1_1StorePE.html#aa9afd5b4bdf803c699c7ccdf0043b469',1,'SVF::StorePE::StorePE(const StorePE &)'],['../classSVF_1_1StorePE.html#a5bc3df0d5c7356d5a64037cf4b56ba24',1,'SVF::StorePE::StorePE(PAGNode *s, PAGNode *d, const IntraBlockNode *st)']]],
|
|
303
303
|
['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
|
|
304
|
-
['storeset',['
|
|
305
|
-
['storestomrsmap',['
|
|
304
|
+
['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
|
|
305
|
+
['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
|
|
306
306
|
['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
|
|
307
307
|
['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
|
|
308
308
|
['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
|
|
@@ -310,7 +310,7 @@ var searchData=
|
|
|
310
310
|
['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
|
|
311
311
|
['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
|
|
312
312
|
['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StorePE *edge)']]],
|
|
313
|
-
['strategy',['
|
|
313
|
+
['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
|
|
314
314
|
['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
|
|
315
315
|
['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
|
|
316
316
|
['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
|
|
@@ -361,7 +361,7 @@ var searchData=
|
|
|
361
361
|
['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
|
|
362
362
|
['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
|
|
363
363
|
['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
|
|
364
|
-
['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../
|
|
364
|
+
['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()']]],
|
|
365
365
|
['svfgbuilder_2ecpp',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
|
|
366
366
|
['svfgbuilder_2eh',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
|
|
367
367
|
['svfgedge',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
|
|
@@ -380,7 +380,7 @@ var searchData=
|
|
|
380
380
|
['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
|
|
381
381
|
['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
|
|
382
382
|
['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
|
|
383
|
-
['svfgnodetocondmap',['
|
|
383
|
+
['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
|
|
384
384
|
['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a',1,'SVF::LeakChecker']]],
|
|
385
385
|
['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
|
|
386
386
|
['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
|
|
@@ -392,7 +392,7 @@ var searchData=
|
|
|
392
392
|
['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
|
|
393
393
|
['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
|
|
394
394
|
['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
|
|
395
|
-
['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../
|
|
395
|
+
['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
|
|
396
396
|
['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
|
|
397
397
|
['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
|
|
398
398
|
['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
|
|
@@ -43,7 +43,7 @@ var searchData=
|
|
|
43
43
|
['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
|
|
44
44
|
['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
|
|
45
45
|
['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
|
|
46
|
-
['tdapimap',['
|
|
46
|
+
['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()']]],
|
|
47
47
|
['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
|
|
48
48
|
['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
|
|
49
49
|
['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ad7b4afe5d25993ebbf2a87e3eaddaa40',1,'SVF::TDForkPE::TDForkPE(PAGNode *s, PAGNode *d, const CallBlockNode *i)']]],
|
|
@@ -95,9 +95,9 @@ var searchData=
|
|
|
95
95
|
['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
|
|
96
96
|
['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
|
|
97
97
|
['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
|
|
98
|
-
['timeofssarenaming',['
|
|
98
|
+
['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
|
|
99
99
|
['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
|
|
100
|
-
['timestatmap',['
|
|
100
|
+
['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
|
|
101
101
|
['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
|
|
102
102
|
['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
|
|
103
103
|
['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
|
|
@@ -148,7 +148,7 @@ var searchData=
|
|
|
148
148
|
['treez',['treeZ',['../structDdManager.html#a748a046ca1743d33b4cfaea560cc4d48',1,'DdManager']]],
|
|
149
149
|
['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
|
|
150
150
|
['truecond',['trueCond',['../classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4',1,'SVF::CondManager']]],
|
|
151
|
-
['type',['
|
|
151
|
+
['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b',1,'SVF::PTAType::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
|
|
152
152
|
['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#a994a2914820f7c31b12cc48b180e6e49',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
|
|
153
153
|
['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
|
|
154
154
|
['typeanalysis_2eh',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
|
|
@@ -164,7 +164,7 @@ var searchData=
|
|
|
164
164
|
['typeprint',['TypePrint',['../classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5',1,'SVF::Options']]],
|
|
165
165
|
['typeset',['TypeSet',['../classSVF_1_1TypeSet.html',1,'SVF::TypeSet'],['../classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce',1,'SVF::TypeSet::typeSet()']]],
|
|
166
166
|
['typesetty',['TypeSetTy',['../classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653',1,'SVF::TypeSet']]],
|
|
167
|
-
['typesystem',['TypeSystem',['../classSVF_1_1TypeSystem.html',1,'SVF::TypeSystem'],['../
|
|
167
|
+
['typesystem',['TypeSystem',['../classSVF_1_1TypeSystem.html',1,'SVF::TypeSystem'],['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis::typeSystem()'],['../classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e',1,'SVF::TypeSystem::TypeSystem()']]],
|
|
168
168
|
['typetofieldinfo',['typeToFieldInfo',['../classSVF_1_1SymbolTableInfo.html#ad8b9fa0a4e4b91efb80586e692bd0dcd',1,'SVF::SymbolTableInfo']]],
|
|
169
169
|
['typetofieldinfomap',['TypeToFieldInfoMap',['../classSVF_1_1SymbolTableInfo.html#a9c9a9da876d41ab48e55f25efc266494',1,'SVF::SymbolTableInfo']]],
|
|
170
170
|
['typetovarsmap',['typeToVarsMap',['../classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80',1,'SVF::TypeSystem']]],
|
|
@@ -36,7 +36,7 @@ var searchData=
|
|
|
36
36
|
['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
|
|
37
37
|
['updatecallgraph',['updateCallGraph',['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
|
|
38
38
|
['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a4b8466d2e8e885fea2f41b5713f785bd',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a4f63b6b3a06633675ae99667cbaa6cdc',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
|
|
39
|
-
['updatecallgraphtime',['
|
|
39
|
+
['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
|
|
40
40
|
['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
|
|
41
41
|
['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
|
|
42
42
|
['updatedfinfromout',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
|
|
@@ -14,7 +14,7 @@ var searchData=
|
|
|
14
14
|
['validatesuccesstests',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
|
|
15
15
|
['validatetbhctests',['validateTBHCTests',['../classSVF_1_1TypeBasedHeapCloning.html#ae42ec334a7dfc96a5ead2d2845ca3b22',1,'SVF::TypeBasedHeapCloning']]],
|
|
16
16
|
['validatetct',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator']]],
|
|
17
|
-
['validatetests',['
|
|
17
|
+
['validatetests',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()'],['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()']]],
|
|
18
18
|
['valnode',['ValNode',['../classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda3ec7c7a77326c63c845463e36d278698',1,'SVF::PAGNode']]],
|
|
19
19
|
['valpn',['ValPN',['../classSVF_1_1ValPN.html',1,'SVF::ValPN'],['../classSVF_1_1ValPN.html#a1123ae17ef8497f3baa73b15d19a6cf4',1,'SVF::ValPN::ValPN()']]],
|
|
20
20
|
['valsym',['ValSym',['../namespaceSVF.html#afe243912c982fde7d6beb4d046f9d42ba4981e1f7cdb8b22323295da5b8b774da',1,'SVF']]],
|
|
@@ -24,7 +24,7 @@ var searchData=
|
|
|
24
24
|
['value2string',['value2String',['../namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191',1,'SVF::SVFUtil']]],
|
|
25
25
|
['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
|
|
26
26
|
['valuenodes',['valueNodes',['../classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620',1,'SVF::ExternalPAG']]],
|
|
27
|
-
['valuetoedgemap',['
|
|
27
|
+
['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()'],['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()']]],
|
|
28
28
|
['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
|
|
29
29
|
['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
|
|
30
30
|
['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
|
|
@@ -7,7 +7,7 @@ var searchData=
|
|
|
7
7
|
['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
|
|
8
8
|
['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
|
|
9
9
|
['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
|
|
10
|
-
['worklist',['
|
|
10
|
+
['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
|
|
11
11
|
['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
|
|
12
12
|
['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
|
|
13
13
|
['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
|