svf-tools 1.0.621 → 1.0.623
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/ConditionalPT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +19 -19
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +52 -52
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +17 -15
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PointsTo_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +22 -22
- package/SVF-doxygen/html/html/SVFG_8h_source.html +37 -36
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +83 -83
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +32 -0
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +96 -95
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +157 -121
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +116 -115
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +13 -10
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
- package/SVF-doxygen/html/html/functions_c.html +6 -6
- package/SVF-doxygen/html/html/functions_func_h.html +7 -4
- package/SVF-doxygen/html/html/functions_func_i.html +2 -2
- package/SVF-doxygen/html/html/functions_func_t.html +1 -0
- package/SVF-doxygen/html/html/functions_h.html +5 -2
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +9 -15
- package/SVF-doxygen/html/html/functions_s.html +15 -13
- package/SVF-doxygen/html/html/functions_t.html +7 -6
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +30 -30
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +8 -8
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +2 -2
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_8.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +3 -3
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_12.js +1 -1
- package/SVF-doxygen/html/html/search/functions_7.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/AbstractExecution/IntervalValue.h +5 -0
- package/include/Graphs/SVFG.h +6 -0
- package/include/Util/ExtAPI.h +65 -40
- package/package.json +1 -1
|
@@ -86,12 +86,12 @@ $(function() {
|
|
|
86
86
|
<li>PAGEdgeSetTy
|
|
87
87
|
: <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
|
|
88
88
|
</li>
|
|
89
|
-
<li>pagEdgeToFunMap
|
|
90
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
|
|
91
|
-
</li>
|
|
92
89
|
<li>PAGEdgeToFunMap
|
|
93
90
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
|
|
94
91
|
</li>
|
|
92
|
+
<li>pagEdgeToFunMap
|
|
93
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
|
|
94
|
+
</li>
|
|
95
95
|
<li>PAGEdgeToSetMapTy
|
|
96
96
|
: <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
|
|
97
97
|
</li>
|
|
@@ -850,13 +850,11 @@ $(function() {
|
|
|
850
850
|
</li>
|
|
851
851
|
<li>PTAVector
|
|
852
852
|
: <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
|
|
853
|
+
, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
|
|
853
854
|
</li>
|
|
854
855
|
<li>ptaVector
|
|
855
856
|
: <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
|
|
856
857
|
</li>
|
|
857
|
-
<li>PTAVector
|
|
858
|
-
: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
|
|
859
|
-
</li>
|
|
860
858
|
<li>PTBackingType
|
|
861
859
|
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
|
|
862
860
|
</li>
|
|
@@ -927,12 +925,12 @@ $(function() {
|
|
|
927
925
|
<li>PtrToBVPtsMap
|
|
928
926
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl< Cond ></a>
|
|
929
927
|
</li>
|
|
930
|
-
<li>ptrToCPtsMap
|
|
931
|
-
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl< Cond ></a>
|
|
932
|
-
</li>
|
|
933
928
|
<li>PtrToCPtsMap
|
|
934
929
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl< Cond ></a>
|
|
935
930
|
</li>
|
|
931
|
+
<li>ptrToCPtsMap
|
|
932
|
+
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl< Cond ></a>
|
|
933
|
+
</li>
|
|
936
934
|
<li>PtrToNSMap
|
|
937
935
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl< Cond ></a>
|
|
938
936
|
</li>
|
|
@@ -944,15 +942,11 @@ $(function() {
|
|
|
944
942
|
, <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
|
|
945
943
|
, <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
946
944
|
, <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
945
|
+
, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
947
946
|
</li>
|
|
948
947
|
<li>ptsMap
|
|
949
948
|
: <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
950
|
-
|
|
951
|
-
<li>PtsMap
|
|
952
|
-
: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
953
|
-
</li>
|
|
954
|
-
<li>ptsMap
|
|
955
|
-
: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
949
|
+
, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
956
950
|
</li>
|
|
957
951
|
<li>PtsMapConstIter
|
|
958
952
|
: <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -101,12 +101,12 @@ $(function() {
|
|
|
101
101
|
<li>SB_SLICESOURCE
|
|
102
102
|
: <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
|
|
103
103
|
</li>
|
|
104
|
-
<li>sbv
|
|
105
|
-
: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
|
|
106
|
-
</li>
|
|
107
104
|
<li>SBV
|
|
108
105
|
: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
|
|
109
106
|
</li>
|
|
107
|
+
<li>sbv
|
|
108
|
+
: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
|
|
109
|
+
</li>
|
|
110
110
|
<li>sbvIt
|
|
111
111
|
: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
|
|
112
112
|
</li>
|
|
@@ -115,11 +115,13 @@ $(function() {
|
|
|
115
115
|
</li>
|
|
116
116
|
<li>SCC
|
|
117
117
|
: <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
|
|
118
|
-
, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
119
118
|
</li>
|
|
120
119
|
<li>scc
|
|
121
120
|
: <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver< GraphType ></a>
|
|
122
121
|
</li>
|
|
122
|
+
<li>SCC
|
|
123
|
+
: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
124
|
+
</li>
|
|
123
125
|
<li>sccCandidates
|
|
124
126
|
: <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
|
|
125
127
|
</li>
|
|
@@ -869,12 +871,12 @@ $(function() {
|
|
|
869
871
|
<li>storesToMRsMap
|
|
870
872
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
|
|
871
873
|
</li>
|
|
872
|
-
<li>storesToPointsToMap
|
|
873
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
|
|
874
|
-
</li>
|
|
875
874
|
<li>StoresToPointsToMap
|
|
876
875
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
|
|
877
876
|
</li>
|
|
877
|
+
<li>storesToPointsToMap
|
|
878
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
|
|
879
|
+
</li>
|
|
878
880
|
<li>storeTime
|
|
879
881
|
: <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
|
|
880
882
|
</li>
|
|
@@ -899,12 +901,12 @@ $(function() {
|
|
|
899
901
|
<li>str2Symbol()
|
|
900
902
|
: <a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">SVF::GrammarBase</a>
|
|
901
903
|
</li>
|
|
902
|
-
<li>Strategy
|
|
903
|
-
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
|
|
904
|
-
</li>
|
|
905
904
|
<li>strategy
|
|
906
905
|
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
|
|
907
906
|
</li>
|
|
907
|
+
<li>Strategy
|
|
908
|
+
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
|
|
909
|
+
</li>
|
|
908
910
|
<li>stride
|
|
909
911
|
: <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
|
|
910
912
|
</li>
|
|
@@ -1104,12 +1106,12 @@ $(function() {
|
|
|
1104
1106
|
: <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
|
|
1105
1107
|
, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
|
|
1106
1108
|
</li>
|
|
1107
|
-
<li>svfgNodeToCondMap
|
|
1108
|
-
: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
|
|
1109
|
-
</li>
|
|
1110
1109
|
<li>SVFGNodeToCondMap
|
|
1111
1110
|
: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
|
|
1112
1111
|
</li>
|
|
1112
|
+
<li>svfgNodeToCondMap
|
|
1113
|
+
: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
|
|
1114
|
+
</li>
|
|
1113
1115
|
<li>SVFGNodeToCSIDMap
|
|
1114
1116
|
: <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
|
|
1115
1117
|
</li>
|
|
@@ -187,18 +187,18 @@ $(function() {
|
|
|
187
187
|
, <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
|
|
188
188
|
, <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
|
|
189
189
|
</li>
|
|
190
|
-
<li>TDAPIMap
|
|
191
|
-
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
|
|
192
|
-
</li>
|
|
193
190
|
<li>tdAPIMap
|
|
194
191
|
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
|
|
195
192
|
</li>
|
|
196
193
|
<li>TDAPIMap
|
|
197
|
-
: <a class="el" href="
|
|
194
|
+
: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
|
|
198
195
|
</li>
|
|
199
196
|
<li>tdAPIMap
|
|
200
197
|
: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
|
|
201
198
|
</li>
|
|
199
|
+
<li>TDAPIMap
|
|
200
|
+
: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
|
|
201
|
+
</li>
|
|
202
202
|
<li>TDDead
|
|
203
203
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
|
|
204
204
|
</li>
|
|
@@ -470,6 +470,7 @@ $(function() {
|
|
|
470
470
|
, <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>
|
|
471
471
|
, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">SVF::InterPHIVFGNode</a>
|
|
472
472
|
, <a class="el" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">SVF::IntervalExeState</a>
|
|
473
|
+
, <a class="el" href="classSVF_1_1IntervalValue.html#af5ee3e3b58d9661217ab6f08ffb98bbd">SVF::IntervalValue</a>
|
|
473
474
|
, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de">SVF::IntraCFGEdge</a>
|
|
474
475
|
, <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa">SVF::IntraDirSVFGEdge</a>
|
|
475
476
|
, <a class="el" href="classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5">SVF::IntraICFGNode</a>
|
|
@@ -671,13 +672,13 @@ $(function() {
|
|
|
671
672
|
, <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
|
|
672
673
|
, <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU< Cond ></a>
|
|
673
674
|
, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
|
|
675
|
+
, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
|
|
674
676
|
</li>
|
|
675
677
|
<li>Type
|
|
676
678
|
: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
|
|
677
679
|
</li>
|
|
678
680
|
<li>type
|
|
679
|
-
: <a class="el" href="
|
|
680
|
-
, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer< T, Enable ></a>
|
|
681
|
+
: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer< T, Enable ></a>
|
|
681
682
|
, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > ></a>
|
|
682
683
|
, <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, Enable ></a>
|
|
683
684
|
, <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > ></a>
|
|
@@ -133,12 +133,12 @@ $(function() {
|
|
|
133
133
|
<li>valuestring
|
|
134
134
|
: <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
|
|
135
135
|
</li>
|
|
136
|
-
<li>valueToEdgeMap
|
|
137
|
-
: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
|
|
138
|
-
</li>
|
|
139
136
|
<li>ValueToEdgeMap
|
|
140
137
|
: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
|
|
141
138
|
</li>
|
|
139
|
+
<li>valueToEdgeMap
|
|
140
|
+
: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
|
|
141
|
+
</li>
|
|
142
142
|
<li>ValueToIDMapTy
|
|
143
143
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
|
|
144
144
|
</li>
|