svf-tools 1.0.811 → 1.0.813
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/AccessPath_8cpp_source.html +159 -136
- package/SVF-doxygen/html/AccessPath_8h_source.html +45 -42
- package/SVF-doxygen/html/ConsExeState_8cpp_source.html +21 -21
- package/SVF-doxygen/html/ConsExeState_8h_source.html +384 -385
- package/SVF-doxygen/html/ConsG_8cpp_source.html +8 -8
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ExeState_8cpp_source.html +24 -24
- package/SVF-doxygen/html/ExeState_8h_source.html +227 -217
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/ICFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +8 -8
- package/SVF-doxygen/html/IntervalExeState_8h_source.html +412 -408
- package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +13 -13
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +11 -11
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +273 -272
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +28 -28
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +980 -973
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +169 -169
- package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +33 -33
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +11 -11
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +14 -14
- package/SVF-doxygen/html/SVFIR_8h_source.html +11 -11
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +19 -19
- package/SVF-doxygen/html/SVFStatements_8h_source.html +829 -830
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
- package/SVF-doxygen/html/SymState_8h_source.html +1 -1
- package/SVF-doxygen/html/VFGNode_8h_source.html +7 -7
- package/SVF-doxygen/html/VFG_8cpp_source.html +15 -15
- package/SVF-doxygen/html/VFG_8h_source.html +10 -10
- package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +18 -17
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +206 -153
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
- package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
- package/SVF-doxygen/html/classSVF_1_1ConsExeState-members.html +74 -74
- package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +412 -394
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ExeState-members.html +34 -34
- package/SVF-doxygen/html/classSVF_1_1ExeState.html +287 -272
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +37 -37
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +78 -78
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +445 -434
- package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
- package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState-members.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +296 -295
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +15 -16
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1087 -1128
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
- package/SVF-doxygen/html/classSVF_1_1SymState.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
- package/SVF-doxygen/html/classSVF_1_1VFG.html +15 -15
- package/SVF-doxygen/html/functions.html +6 -6
- package/SVF-doxygen/html/functions_a.html +13 -8
- package/SVF-doxygen/html/functions_b.html +3 -3
- package/SVF-doxygen/html/functions_e.html +2 -2
- package/SVF-doxygen/html/functions_func_e.html +2 -2
- package/SVF-doxygen/html/functions_func_g.html +44 -45
- package/SVF-doxygen/html/functions_func_i.html +12 -22
- package/SVF-doxygen/html/functions_func_l.html +6 -6
- package/SVF-doxygen/html/functions_func_n.html +3 -3
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_func_s.html +7 -7
- package/SVF-doxygen/html/functions_func_w.html +3 -3
- package/SVF-doxygen/html/functions_g.html +42 -43
- package/SVF-doxygen/html/functions_i.html +30 -37
- package/SVF-doxygen/html/functions_l.html +8 -8
- package/SVF-doxygen/html/functions_n.html +7 -7
- package/SVF-doxygen/html/functions_o.html +20 -21
- package/SVF-doxygen/html/functions_p.html +12 -12
- package/SVF-doxygen/html/functions_r.html +3 -1
- package/SVF-doxygen/html/functions_s.html +18 -20
- package/SVF-doxygen/html/functions_t.html +10 -10
- package/SVF-doxygen/html/functions_type.html +5 -0
- package/SVF-doxygen/html/functions_type_i.html +4 -4
- package/SVF-doxygen/html/functions_type_v.html +3 -8
- package/SVF-doxygen/html/functions_v.html +10 -13
- package/SVF-doxygen/html/functions_vars.html +6 -6
- package/SVF-doxygen/html/functions_vars_g.html +2 -2
- package/SVF-doxygen/html/functions_vars_i.html +3 -0
- package/SVF-doxygen/html/functions_vars_o.html +0 -3
- package/SVF-doxygen/html/functions_w.html +11 -11
- package/SVF-doxygen/html/search/all_0.js +4 -4
- package/SVF-doxygen/html/search/all_1.js +210 -209
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +544 -544
- package/SVF-doxygen/html/search/all_13.js +191 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -169
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_2.js +169 -169
- package/SVF-doxygen/html/search/all_3.js +642 -642
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +868 -868
- package/SVF-doxygen/html/search/all_8.js +197 -197
- package/SVF-doxygen/html/search/all_9.js +606 -611
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +115 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +279 -279
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +87 -87
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +852 -852
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -428
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -34
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -77
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +29 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +9 -9
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
- package/SVF-doxygen/html/svf-ex_8cpp.html +17 -17
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +17 -17
- package/package.json +1 -1
- package/svf/include/AbstractExecution/ConsExeState.h +99 -96
- package/svf/include/AbstractExecution/ExeState.h +66 -53
- package/svf/include/AbstractExecution/IntervalExeState.h +66 -61
- package/svf/include/AbstractExecution/SVFIR2ConsExeState.h +7 -7
- package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +22 -19
- package/svf/include/MemoryModel/AccessPath.h +13 -11
- package/svf/include/SVFIR/SVFStatements.h +2 -3
- package/svf/lib/AbstractExecution/ConsExeState.cpp +13 -13
- package/svf/lib/AbstractExecution/ExeState.cpp +19 -19
- package/svf/lib/AbstractExecution/IntervalExeState.cpp +4 -4
- package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +38 -37
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +273 -287
- package/svf/lib/MemoryModel/AccessPath.cpp +39 -17
- package/svf/lib/SVFIR/SVFFileSystem.cpp +2 -2
|
@@ -106,9 +106,9 @@ $(function() {
|
|
|
106
106
|
<div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421"> 35</a></span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">SVFIR2ConsExeState::~SVFIR2ConsExeState</a>()</div>
|
|
107
107
|
<div class="line"><a name="l00036"></a><span class="lineno"> 36</span> {</div>
|
|
108
108
|
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.clear();</div>
|
|
109
|
-
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#
|
|
109
|
+
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.clear();</div>
|
|
110
110
|
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.clear();</div>
|
|
111
|
-
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#
|
|
111
|
+
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.clear();</div>
|
|
112
112
|
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span> }</div>
|
|
113
113
|
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span> <span class="comment">//{%</span></div>
|
|
114
114
|
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2"> 49</a></span> <span class="comment"></span><span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVFIR2ConsExeState::translateAddr</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr)</div>
|
|
@@ -120,7 +120,7 @@ $(function() {
|
|
|
120
120
|
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  }</div>
|
|
121
121
|
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()))</div>
|
|
122
122
|
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  {</div>
|
|
123
|
-
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  _es->globalConsES.
|
|
123
|
+
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  _es->globalConsES._varToAddrs[addr-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()] = _es->globalConsES._varToAddrs[addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()];</div>
|
|
124
124
|
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  }</div>
|
|
125
125
|
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keywordflow">else</span></div>
|
|
126
126
|
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  {</div>
|
|
@@ -134,7 +134,7 @@ $(function() {
|
|
|
134
134
|
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op1 = binary-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1);</div>
|
|
135
135
|
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = binary-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
|
|
136
136
|
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <span class="comment">// rhs is not initialized</span></div>
|
|
137
|
-
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (!_es->
|
|
137
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (!_es->inVarToValTable(op0) || !_es->inVarToValTable(op1))</div>
|
|
138
138
|
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keywordflow">return</span>;</div>
|
|
139
139
|
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  </div>
|
|
140
140
|
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <a class="code" href="classSVF_1_1SingleAbsValue.html">SingleAbsValue</a> &lhs = (*_es)[op0], &rhs = (*_es)[op1];</div>
|
|
@@ -251,7 +251,7 @@ $(function() {
|
|
|
251
251
|
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(op0) && inVarToAddrsTable(op1))</div>
|
|
252
252
|
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  {</div>
|
|
253
253
|
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  </div>
|
|
254
|
-
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <a class="code" href="classSVF_1_1AddressValue.html">
|
|
254
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &lhs = _es->getAddrs(op0), &rhs = _es->getAddrs(op1);</div>
|
|
255
255
|
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
|
|
256
256
|
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div>
|
|
257
257
|
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  (*_es)[res] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
@@ -396,7 +396,7 @@ $(function() {
|
|
|
396
396
|
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = load-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
397
397
|
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
398
398
|
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  {</div>
|
|
399
|
-
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">
|
|
399
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = _es->getAddrs(rhs);</div>
|
|
400
400
|
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
401
401
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  {</div>
|
|
402
402
|
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  assert(isVirtualMemAddress(addr) && <span class="stringliteral">"not addr?"</span>);</div>
|
|
@@ -405,13 +405,13 @@ $(function() {
|
|
|
405
405
|
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  {</div>
|
|
406
406
|
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
|
|
407
407
|
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  {</div>
|
|
408
|
-
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  _es->
|
|
408
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  _es->getAddrs(lhs).setBottom();</div>
|
|
409
409
|
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  }</div>
|
|
410
410
|
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <span class="keywordflow">break</span>;</div>
|
|
411
411
|
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  }</div>
|
|
412
412
|
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!load-><a class="code" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>()-><a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>() && inLocToAddrsTable(objId))</div>
|
|
413
413
|
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div>
|
|
414
|
-
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  _es->
|
|
414
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  _es->getAddrs(lhs).setBottom();</div>
|
|
415
415
|
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">break</span>;</div>
|
|
416
416
|
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div>
|
|
417
417
|
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToValTable(objId))</div>
|
|
@@ -431,11 +431,11 @@ $(function() {
|
|
|
431
431
|
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  {</div>
|
|
432
432
|
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
|
|
433
433
|
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div>
|
|
434
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  _es->
|
|
434
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  _es->getAddrs(lhs) = _es->loadAddrs(addr);</div>
|
|
435
435
|
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  }</div>
|
|
436
436
|
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">else</span></div>
|
|
437
437
|
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div>
|
|
438
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  _es->
|
|
438
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  _es->getAddrs(lhs).join_with(_es->loadAddrs(addr));</div>
|
|
439
439
|
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  }</div>
|
|
440
440
|
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  }</div>
|
|
441
441
|
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  }</div>
|
|
@@ -443,11 +443,11 @@ $(function() {
|
|
|
443
443
|
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  {</div>
|
|
444
444
|
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
|
|
445
445
|
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  {</div>
|
|
446
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  _es->
|
|
446
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  _es->getAddrs(lhs) = _es->loadAddrs(addr);</div>
|
|
447
447
|
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div>
|
|
448
448
|
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  <span class="keywordflow">else</span></div>
|
|
449
449
|
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  {</div>
|
|
450
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  _es->
|
|
450
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  _es->getAddrs(lhs).join_with(_es->loadAddrs(addr));</div>
|
|
451
451
|
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  }</div>
|
|
452
452
|
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  }</div>
|
|
453
453
|
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToValTable(objId))</div>
|
|
@@ -473,7 +473,7 @@ $(function() {
|
|
|
473
473
|
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  {</div>
|
|
474
474
|
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
|
|
475
475
|
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  {</div>
|
|
476
|
-
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">
|
|
476
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = _es->getAddrs(lhs);</div>
|
|
477
477
|
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
478
478
|
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  {</div>
|
|
479
479
|
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  assert(isVirtualMemAddress(addr) && <span class="stringliteral">"not addr?"</span>);</div>
|
|
@@ -482,11 +482,11 @@ $(function() {
|
|
|
482
482
|
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div>
|
|
483
483
|
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
484
484
|
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  {</div>
|
|
485
|
-
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">
|
|
485
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = _es->getAddrs(lhs);</div>
|
|
486
486
|
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
487
487
|
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  {</div>
|
|
488
488
|
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  assert(isVirtualMemAddress(addr) && <span class="stringliteral">"not addr?"</span>);</div>
|
|
489
|
-
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  _es->
|
|
489
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  _es->storeAddrs(addr, _es->getAddrs(rhs));</div>
|
|
490
490
|
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  }</div>
|
|
491
491
|
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  }</div>
|
|
492
492
|
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  }</div>
|
|
@@ -508,7 +508,7 @@ $(function() {
|
|
|
508
508
|
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  }</div>
|
|
509
509
|
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
510
510
|
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  {</div>
|
|
511
|
-
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  _es->
|
|
511
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  _es->getAddrs(lhs) = _es->getAddrs(rhs);</div>
|
|
512
512
|
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  }</div>
|
|
513
513
|
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  }</div>
|
|
514
514
|
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span> }</div>
|
|
@@ -523,7 +523,7 @@ $(function() {
|
|
|
523
523
|
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  }</div>
|
|
524
524
|
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
525
525
|
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  {</div>
|
|
526
|
-
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  _es->
|
|
526
|
+
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  _es->getAddrs(lhs) = _es->getAddrs(rhs);</div>
|
|
527
527
|
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  }</div>
|
|
528
528
|
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span> }</div>
|
|
529
529
|
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  </div>
|
|
@@ -537,7 +537,7 @@ $(function() {
|
|
|
537
537
|
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  }</div>
|
|
538
538
|
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
539
539
|
<div class="line"><a name="l00504"></a><span class="lineno"> 504</span>  {</div>
|
|
540
|
-
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  _es->
|
|
540
|
+
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  _es->getAddrs(lhs) = _es->getAddrs(rhs);</div>
|
|
541
541
|
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  }</div>
|
|
542
542
|
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> }</div>
|
|
543
543
|
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  </div>
|
|
@@ -547,7 +547,7 @@ $(function() {
|
|
|
547
547
|
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = gep-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
548
548
|
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  <span class="comment">// rhs is not initialized</span></div>
|
|
549
549
|
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(rhs)) <span class="keywordflow">return</span>;</div>
|
|
550
|
-
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">
|
|
550
|
+
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &rhsVal = _es->getAddrs(rhs);</div>
|
|
551
551
|
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  <span class="keywordflow">if</span> (rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
552
552
|
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  std::pair<s32_t, s32_t> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = getGepOffset(gep);</div>
|
|
553
553
|
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.first == -1 && <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second == -1) <span class="keywordflow">return</span>;</div>
|
|
@@ -555,7 +555,7 @@ $(function() {
|
|
|
555
555
|
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  {</div>
|
|
556
556
|
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  <span class="keywordflow">return</span>;</div>
|
|
557
557
|
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  }</div>
|
|
558
|
-
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  <a class="code" href="classSVF_1_1AddressValue.html">
|
|
558
|
+
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> gepAddrs;</div>
|
|
559
559
|
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> ub = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second;</div>
|
|
560
560
|
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second > (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1)</div>
|
|
561
561
|
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  {</div>
|
|
@@ -566,7 +566,7 @@ $(function() {
|
|
|
566
566
|
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span>  gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(getGepObjAddress(rhs, i));</div>
|
|
567
567
|
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  }</div>
|
|
568
568
|
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  <span class="keywordflow">if</span> (gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
569
|
-
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  _es->
|
|
569
|
+
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  _es->getAddrs(lhs) = gepAddrs;</div>
|
|
570
570
|
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span>  <span class="keywordflow">return</span>;</div>
|
|
571
571
|
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span> }</div>
|
|
572
572
|
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  </div>
|
|
@@ -593,10 +593,10 @@ $(function() {
|
|
|
593
593
|
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span> <span class="comment">//%}</span></div>
|
|
594
594
|
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span> <span class="comment">//%}</span></div>
|
|
595
595
|
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  </div>
|
|
596
|
-
<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
596
|
+
<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f"> 582</a></span> <a class="code" href="classSVF_1_1AddressValue.html">SVFIR2ConsExeState::Addrs</a> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVFIR2ConsExeState::getGepObjAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> base, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>)</div>
|
|
597
597
|
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span> {</div>
|
|
598
|
-
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">
|
|
599
|
-
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  <a class="code" href="classSVF_1_1AddressValue.html">
|
|
598
|
+
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = _es->getAddrs(base);</div>
|
|
599
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> ret;</div>
|
|
600
600
|
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
601
601
|
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  {</div>
|
|
602
602
|
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span>  int64_t baseObj = getInternalID(addr);</div>
|
|
@@ -608,7 +608,7 @@ $(function() {
|
|
|
608
608
|
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span>  assert(SVFUtil::isa<ObjVar>(<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()->getGNode(baseObj)) && <span class="stringliteral">"Fail to get the base object address!"</span>);</div>
|
|
609
609
|
<div class="line"><a name="l00595"></a><span class="lineno"> 595</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> gepObj = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-><a class="code" href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">getGepObjVar</a>(baseObj, <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
|
|
610
610
|
<div class="line"><a name="l00596"></a><span class="lineno"> 596</span>  initSVFVar(gepObj);</div>
|
|
611
|
-
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> == 0 && baseObj != gepObj) _es->
|
|
611
|
+
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> == 0 && baseObj != gepObj) _es->getAddrs(gepObj) = _es->getAddrs(base);</div>
|
|
612
612
|
<div class="line"><a name="l00598"></a><span class="lineno"> 598</span>  ret.<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(getVirtualMemAddress(gepObj));</div>
|
|
613
613
|
<div class="line"><a name="l00599"></a><span class="lineno"> 599</span>  }</div>
|
|
614
614
|
<div class="line"><a name="l00600"></a><span class="lineno"> 600</span>  <span class="keywordflow">return</span> ret;</div>
|
|
@@ -616,282 +616,284 @@ $(function() {
|
|
|
616
616
|
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span>  </div>
|
|
617
617
|
<div class="line"><a name="l00608"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684"> 608</a></span> std::pair<s32_t, s32_t> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684">SVFIR2ConsExeState::getGepOffset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a> *gep)</div>
|
|
618
618
|
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span> {</div>
|
|
619
|
-
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  <span class="keywordflow">if</span> (gep-><a class="code" href="classSVF_1_1GepStmt.html#
|
|
619
|
+
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  <span class="keywordflow">if</span> (gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>().empty())</div>
|
|
620
620
|
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span>  <span class="keywordflow">return</span> std::make_pair(gep-><a class="code" href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">getConstantFieldIdx</a>(), gep-><a class="code" href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">getConstantFieldIdx</a>());</div>
|
|
621
621
|
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  </div>
|
|
622
622
|
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span>  <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> totalOffset = 0;</div>
|
|
623
623
|
<div class="line"><a name="l00616"></a><span class="lineno"> 616</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxFieldLimit = <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1;</div>
|
|
624
|
-
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span>  <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = gep-><a class="code" href="classSVF_1_1GepStmt.html#
|
|
624
|
+
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span>  <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>().size() - 1; i >= 0; i--)</div>
|
|
625
625
|
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span>  {</div>
|
|
626
|
-
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value
|
|
627
|
-
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span> 
|
|
628
|
-
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  <span class="keyword">const</span> <a class="code" href="
|
|
629
|
-
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  <
|
|
630
|
-
<div class="line"><a name="
|
|
631
|
-
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span> 
|
|
632
|
-
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span> 
|
|
633
|
-
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span> 
|
|
634
|
-
<div class="line"><a name="
|
|
635
|
-
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span> 
|
|
636
|
-
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span> 
|
|
637
|
-
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  <
|
|
638
|
-
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  <span class="keywordflow">if</span> ((
|
|
639
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span> 
|
|
640
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
641
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span> 
|
|
642
|
-
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> 
|
|
643
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span> 
|
|
644
|
-
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <
|
|
645
|
-
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span> 
|
|
646
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
647
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
648
|
-
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span> 
|
|
649
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
650
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span> 
|
|
651
|
-
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span> 
|
|
652
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
653
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
654
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span> 
|
|
655
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span> 
|
|
656
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span> 
|
|
657
|
-
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span> 
|
|
658
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span> 
|
|
659
|
-
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span> 
|
|
660
|
-
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span> 
|
|
661
|
-
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span> 
|
|
662
|
-
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span> 
|
|
663
|
-
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span> 
|
|
664
|
-
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> 
|
|
665
|
-
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span> 
|
|
666
|
-
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span> 
|
|
667
|
-
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span> 
|
|
668
|
-
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span> 
|
|
669
|
-
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span> 
|
|
670
|
-
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span> 
|
|
671
|
-
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span> 
|
|
672
|
-
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span> 
|
|
673
|
-
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span> 
|
|
674
|
-
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span> 
|
|
675
|
-
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span> 
|
|
676
|
-
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span> 
|
|
677
|
-
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span> 
|
|
678
|
-
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span> 
|
|
679
|
-
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span> 
|
|
680
|
-
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span> 
|
|
681
|
-
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span> 
|
|
682
|
-
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  offSetPair.
|
|
683
|
-
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span> 
|
|
684
|
-
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span> 
|
|
685
|
-
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> 
|
|
626
|
+
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value =</div>
|
|
627
|
+
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span>  gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>()[i].first->getValue();</div>
|
|
628
|
+
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>()[i].second;</div>
|
|
629
|
+
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a> *op = SVFUtil::dyn_cast<SVFConstantInt>(value);</div>
|
|
630
|
+
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span>  <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = 0;</div>
|
|
631
|
+
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span>  <span class="keywordflow">if</span> (op)</div>
|
|
632
|
+
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  {</div>
|
|
633
|
+
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-><a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
|
|
634
|
+
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span>  }</div>
|
|
635
|
+
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  <span class="keywordflow">else</span></div>
|
|
636
|
+
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  {</div>
|
|
637
|
+
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(value);</div>
|
|
638
|
+
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  <span class="keywordflow">if</span> (!inVarToValTable(idx)) <span class="keywordflow">return</span> std::make_pair(-1, -1);</div>
|
|
639
|
+
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span>  <span class="keywordflow">if</span> ((*_es)[idx].isBottom() || (*_es)[idx].isTop() || (*_es)[idx].isSym())</div>
|
|
640
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  {</div>
|
|
641
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  <span class="keywordflow">return</span> std::make_pair(0, (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>());</div>
|
|
642
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span>  }</div>
|
|
643
|
+
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  </div>
|
|
644
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
645
|
+
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">ConsExeState::z3Expr2NumValue</a>((*_es)[idx]);</div>
|
|
646
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  }</div>
|
|
647
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> == <span class="keyword">nullptr</span>)</div>
|
|
648
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  {</div>
|
|
649
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  <span class="keywordflow">if</span> ((<span class="keywordtype">long</span> <span class="keywordtype">long</span>) (totalOffset + <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>) > maxFieldLimit)</div>
|
|
650
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  {</div>
|
|
651
|
+
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  totalOffset = maxFieldLimit;</div>
|
|
652
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  }</div>
|
|
653
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  <span class="keywordflow">else</span></div>
|
|
654
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  {</div>
|
|
655
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  totalOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
|
|
656
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  }</div>
|
|
657
|
+
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  <span class="keywordflow">continue</span>;</div>
|
|
658
|
+
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  }</div>
|
|
659
|
+
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  </div>
|
|
660
|
+
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a> *pty = SVFUtil::dyn_cast<SVFPointerType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
661
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  {</div>
|
|
662
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> * gep-><a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">getElementNum</a>(pty->getPtrElementType());</div>
|
|
663
|
+
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  }</div>
|
|
664
|
+
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  <span class="keywordflow">else</span></div>
|
|
665
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  {</div>
|
|
666
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  <span class="keyword">const</span> std::vector<u32_t> &so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(</div>
|
|
667
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)-><a class="code" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">getFlattenedElemIdxVec</a>();</div>
|
|
668
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  <span class="keywordflow">if</span> (so.empty() || (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> >= so.size())</div>
|
|
669
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  <span class="keywordflow">return</span> std::make_pair(-1, -1);</div>
|
|
670
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
|
|
671
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  }</div>
|
|
672
|
+
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  <span class="keywordflow">if</span> ((<span class="keywordtype">long</span> <span class="keywordtype">long</span>) (totalOffset + <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>) > maxFieldLimit)</div>
|
|
673
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  {</div>
|
|
674
|
+
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  totalOffset = maxFieldLimit;</div>
|
|
675
|
+
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span>  }</div>
|
|
676
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  <span class="keywordflow">else</span></div>
|
|
677
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  {</div>
|
|
678
|
+
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  totalOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
|
|
679
|
+
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  }</div>
|
|
680
|
+
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  }</div>
|
|
681
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  std::pair<s32_t, s32_t> offSetPair;</div>
|
|
682
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  offSetPair.first = totalOffset;</div>
|
|
683
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  offSetPair.second = totalOffset;</div>
|
|
684
|
+
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  <span class="keywordflow">return</span> offSetPair;</div>
|
|
685
|
+
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> }</div>
|
|
686
686
|
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  </div>
|
|
687
|
-
<div class="line"><a name="l00684"></a><span class="lineno"
|
|
688
|
-
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span> 
|
|
689
|
-
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span> 
|
|
690
|
-
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span> 
|
|
691
|
-
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  </div>
|
|
692
|
-
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span> 
|
|
693
|
-
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span> 
|
|
694
|
-
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span> 
|
|
695
|
-
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  <span class="
|
|
696
|
-
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span> 
|
|
697
|
-
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#
|
|
698
|
-
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#
|
|
699
|
-
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#
|
|
700
|
-
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span> 
|
|
701
|
-
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span> 
|
|
702
|
-
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span> 
|
|
703
|
-
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span> 
|
|
704
|
-
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span> 
|
|
705
|
-
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span> 
|
|
706
|
-
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span> 
|
|
707
|
-
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span> 
|
|
708
|
-
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span> 
|
|
709
|
-
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span> 
|
|
710
|
-
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span> 
|
|
711
|
-
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span> 
|
|
712
|
-
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span> 
|
|
713
|
-
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span> 
|
|
714
|
-
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span> 
|
|
715
|
-
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span> 
|
|
716
|
-
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span> 
|
|
717
|
-
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span> }</div>
|
|
718
|
-
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span> 
|
|
719
|
-
<div class="line"><a name="
|
|
720
|
-
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span> 
|
|
721
|
-
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span> 
|
|
722
|
-
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span> 
|
|
723
|
-
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span> 
|
|
724
|
-
<div class="line"><a name="
|
|
725
|
-
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span> 
|
|
726
|
-
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span> 
|
|
727
|
-
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span> 
|
|
728
|
-
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span> 
|
|
729
|
-
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span> 
|
|
730
|
-
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span> 
|
|
731
|
-
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span> 
|
|
732
|
-
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span> 
|
|
733
|
-
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span> 
|
|
734
|
-
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span> 
|
|
735
|
-
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span> 
|
|
736
|
-
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span> 
|
|
737
|
-
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span> 
|
|
738
|
-
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span> 
|
|
739
|
-
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  <span class="comment">//
|
|
740
|
-
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span> 
|
|
741
|
-
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span> 
|
|
742
|
-
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span> 
|
|
743
|
-
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span> 
|
|
744
|
-
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span> 
|
|
745
|
-
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span> 
|
|
746
|
-
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span> 
|
|
747
|
-
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span> 
|
|
748
|
-
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span> 
|
|
749
|
-
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span> 
|
|
750
|
-
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span> 
|
|
751
|
-
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> 
|
|
752
|
-
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span> 
|
|
753
|
-
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span> 
|
|
754
|
-
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span> 
|
|
755
|
-
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span> 
|
|
756
|
-
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span> }</div>
|
|
757
|
-
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span> 
|
|
687
|
+
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span>  </div>
|
|
688
|
+
<div class="line"><a name="l00685"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8"> 685</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">SVFIR2ConsExeState::initValVar</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ValVar.html">ValVar</a> *valVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
689
|
+
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span> {</div>
|
|
690
|
+
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  </div>
|
|
691
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
692
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  </div>
|
|
693
|
+
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = valVar-><a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>())</div>
|
|
694
|
+
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  {</div>
|
|
695
|
+
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  <span class="comment">// TODO:miss floatpointerty, voidty, labelty, metadataty</span></div>
|
|
696
|
+
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a> ||</div>
|
|
697
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFType::SVFPointerTy</a> ||</div>
|
|
698
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFType::SVFFunctionTy</a> ||</div>
|
|
699
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFType::SVFStructTy</a> ||</div>
|
|
700
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFType::SVFArrayTy</a>)</div>
|
|
701
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  <span class="comment">// continue with null expression</span></div>
|
|
702
|
+
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  (*_es)[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
703
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  <span class="keywordflow">else</span></div>
|
|
704
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  {</div>
|
|
705
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  </div>
|
|
706
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << valVar-><a class="code" href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">getValue</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>() << <span class="stringliteral">"\n"</span> << <span class="stringliteral">" type: "</span> << <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->toString() << <span class="stringliteral">"\n"</span>;</div>
|
|
707
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"what other types we have"</span>);</div>
|
|
708
|
+
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  }</div>
|
|
709
|
+
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  }</div>
|
|
710
|
+
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  <span class="keywordflow">else</span></div>
|
|
711
|
+
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span>  {</div>
|
|
712
|
+
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">if</span> (svfir-><a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() == valVar-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())</div>
|
|
713
|
+
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  (*_es)[varId] = 0;</div>
|
|
714
|
+
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span>  <span class="keywordflow">else</span></div>
|
|
715
|
+
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  (*_es)[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
716
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  assert(SVFUtil::isa<DummyValVar>(valVar) && <span class="stringliteral">"not a DummValVar if it has no type?"</span>);</div>
|
|
717
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  }</div>
|
|
718
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span> }</div>
|
|
719
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  </div>
|
|
720
|
+
<div class="line"><a name="l00722"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0"> 722</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVFIR2ConsExeState::initObjVar</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
721
|
+
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span> {</div>
|
|
722
|
+
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">if</span> (objVar-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div>
|
|
723
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  {</div>
|
|
724
|
+
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemObj.html">MemObj</a> *obj = objVar-><a class="code" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a>();</div>
|
|
725
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">isConstDataOrAggData</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">isConstantArray</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">isConstantStruct</a>())</div>
|
|
726
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  {</div>
|
|
727
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a> *consInt = SVFUtil::dyn_cast<SVFConstantInt>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
728
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  {</div>
|
|
729
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  _es->globalConsES._varToVal[varId] = consInt->getSExtValue();</div>
|
|
730
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  }</div>
|
|
731
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantFP.html">SVFConstantFP</a> *consFP = SVFUtil::dyn_cast<SVFConstantFP>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
732
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  _es->globalConsES._varToVal[varId] = consFP->getFPValue();</div>
|
|
733
|
+
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFConstantNullPtr>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
734
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  _es->globalConsES._varToVal[varId] = 0;</div>
|
|
735
|
+
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFGlobalValue>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
736
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
|
|
737
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">isConstDataOrAggData</a>())</div>
|
|
738
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  {</div>
|
|
739
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  <span class="comment">// TODO</span></div>
|
|
740
|
+
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <span class="comment">// assert(false && "implement this part");</span></div>
|
|
741
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  _es->globalConsES._varToVal[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
742
|
+
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  }</div>
|
|
743
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  <span class="keywordflow">else</span></div>
|
|
744
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  {</div>
|
|
745
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  _es->globalConsES._varToVal[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
746
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  }</div>
|
|
747
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  }</div>
|
|
748
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  <span class="keywordflow">else</span></div>
|
|
749
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  {</div>
|
|
750
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
|
|
751
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  }</div>
|
|
752
|
+
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  }</div>
|
|
753
|
+
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span>  <span class="keywordflow">else</span></div>
|
|
754
|
+
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  {</div>
|
|
755
|
+
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
|
|
756
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  }</div>
|
|
757
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span> }</div>
|
|
758
758
|
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  </div>
|
|
759
|
-
<div class="line"><a name="l00762"></a><span class="lineno"
|
|
760
|
-
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span> 
|
|
761
|
-
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span> 
|
|
762
|
-
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  <
|
|
763
|
-
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <a class="code" href="
|
|
764
|
-
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <
|
|
765
|
-
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <span class="
|
|
766
|
-
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span> 
|
|
767
|
-
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span> 
|
|
768
|
-
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span> 
|
|
769
|
-
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span> 
|
|
770
|
-
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> 
|
|
771
|
-
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> 
|
|
772
|
-
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span> 
|
|
773
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span> 
|
|
774
|
-
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span> 
|
|
775
|
-
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span> 
|
|
776
|
-
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span> 
|
|
777
|
-
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span> 
|
|
778
|
-
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span> 
|
|
779
|
-
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span> 
|
|
780
|
-
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span> }</div>
|
|
781
|
-
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span> 
|
|
782
|
-
<div class="line"><a name="l00785"></a><span class="lineno"
|
|
783
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> 
|
|
784
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span> 
|
|
785
|
-
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span> 
|
|
786
|
-
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> 
|
|
787
|
-
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> 
|
|
788
|
-
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> 
|
|
789
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> 
|
|
790
|
-
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span> 
|
|
791
|
-
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span> 
|
|
792
|
-
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span> 
|
|
793
|
-
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span> 
|
|
794
|
-
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span> 
|
|
795
|
-
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> 
|
|
796
|
-
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span> 
|
|
797
|
-
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> 
|
|
798
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span> 
|
|
799
|
-
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span> 
|
|
800
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span> 
|
|
801
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> 
|
|
802
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  _es->
|
|
803
|
-
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  _es->
|
|
804
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  _es->
|
|
805
|
-
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span> 
|
|
759
|
+
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  </div>
|
|
760
|
+
<div class="line"><a name="l00763"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857"> 763</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVFIR2ConsExeState::initSVFVar</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
761
|
+
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span> {</div>
|
|
762
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  <span class="keywordflow">if</span> (_es->inVarToValTable(varId)) <span class="keywordflow">return</span>;</div>
|
|
763
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
764
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a> *svfVar = svfir-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(varId);</div>
|
|
765
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <span class="comment">// write objvar into cache instead of exestate</span></div>
|
|
766
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar = dyn_cast<ObjVar>(svfVar))</div>
|
|
767
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  {</div>
|
|
768
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  initObjVar(objVar, varId);</div>
|
|
769
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  <span class="keywordflow">return</span>;</div>
|
|
770
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  }</div>
|
|
771
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ValVar.html">ValVar</a> *valVar = dyn_cast<ValVar>(svfVar))</div>
|
|
772
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  {</div>
|
|
773
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  initValVar(valVar, varId);</div>
|
|
774
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  <span class="keywordflow">return</span>;</div>
|
|
775
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  }</div>
|
|
776
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  <span class="keywordflow">else</span></div>
|
|
777
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  {</div>
|
|
778
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  initValVar(valVar, varId);</div>
|
|
779
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">return</span>;</div>
|
|
780
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  }</div>
|
|
781
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span> }</div>
|
|
782
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  </div>
|
|
783
|
+
<div class="line"><a name="l00786"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553"> 786</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553">SVFIR2ConsExeState::moveToGlobal</a>()</div>
|
|
784
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span> {</div>
|
|
785
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _es->_varToVal)</div>
|
|
786
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  {</div>
|
|
787
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.insert(it);</div>
|
|
788
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  }</div>
|
|
789
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _es->_locToVal)</div>
|
|
790
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  {</div>
|
|
791
|
+
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.insert(it);</div>
|
|
792
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  }</div>
|
|
793
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _es->_varToAddrs)</div>
|
|
794
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  {</div>
|
|
795
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.insert(it);</div>
|
|
796
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  }</div>
|
|
797
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _es->_locToAddrs)</div>
|
|
798
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  {</div>
|
|
799
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.insert(it);</div>
|
|
800
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  }</div>
|
|
801
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[0] = <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">ConsExeState::getVirtualMemAddress</a>(0);</div>
|
|
802
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  _es->_varToVal.clear();</div>
|
|
803
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  _es->_locToVal.clear();</div>
|
|
804
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  _es->_varToAddrs.clear();</div>
|
|
805
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  _es->_locToAddrs.clear();</div>
|
|
806
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span> }</div>
|
|
806
807
|
</div><!-- fragment --></div><!-- contents -->
|
|
807
808
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a9541d935efa7fce9cf9d204050e2a918"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918">SVF::SVFIR2ConsExeState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#store-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00423">SVFIR2ConsExeState.cpp:423</a></div></div>
|
|
808
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
809
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00903">SVFStatements.h:903</a></div></div>
|
|
809
810
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
|
|
810
811
|
<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00351">SVFStatements.h:351</a></div></div>
|
|
811
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt::FRem</a></div><div class="ttdeci">@ FRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
812
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198">SVF::BinaryOPStmt::FMul</a></div><div class="ttdeci">@ FMul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
813
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc">SVF::BinaryOPStmt::URem</a></div><div class="ttdeci">@ URem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
814
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
812
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt::FRem</a></div><div class="ttdeci">@ FRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00984">SVFStatements.h:984</a></div></div>
|
|
813
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198">SVF::BinaryOPStmt::FMul</a></div><div class="ttdeci">@ FMul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00978">SVFStatements.h:978</a></div></div>
|
|
814
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc">SVF::BinaryOPStmt::URem</a></div><div class="ttdeci">@ URem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00982">SVFStatements.h:982</a></div></div>
|
|
815
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00893">SVFStatements.h:893</a></div></div>
|
|
815
816
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0e7dde6b5ae9a605230a49b3216ea6e8"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue::bottomConstant</a></div><div class="ttdeci">static SingleAbsValue bottomConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00058">SingleAbsValue.h:58</a></div></div>
|
|
816
817
|
<div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
|
|
817
|
-
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#
|
|
818
|
-
<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
819
|
-
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
818
|
+
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdoc">Map a variable (symbol) to its constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00114">ConsExeState.h:114</a></div></div>
|
|
819
|
+
<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00748">SVFStatements.h:748</a></div></div>
|
|
820
|
+
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00862">SVFStatements.h:862</a></div></div>
|
|
820
821
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00351">SVFType.h:351</a></div></div>
|
|
821
822
|
<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00284">SVFStatements.cpp:284</a></div></div>
|
|
822
823
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00139">AddressValue.h:139</a></div></div>
|
|
823
824
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_ae93859318bf4f618b4cf681988a870ce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">SVF::AddressValue::size</a></div><div class="ttdeci">u32_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00118">AddressValue.h:118</a></div></div>
|
|
824
825
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_ab97b728bca0f6831bb33f1e9196936e6"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6">SVF::SVFIR2ConsExeState::translatePhi</a></div><div class="ttdeci">void translatePhi(const PhiStmt *phi)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#i-phi</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00562">SVFIR2ConsExeState.cpp:562</a></div></div>
|
|
825
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">SVF::CmpStmt::FCMP_FALSE</a></div><div class="ttdeci">@ FCMP_FALSE</div><div class="ttdoc">0 0 0 0 Always false (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
826
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">SVF::CmpStmt::FCMP_FALSE</a></div><div class="ttdeci">@ FCMP_FALSE</div><div class="ttdoc">0 0 0 0 Always false (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00889">SVFStatements.h:889</a></div></div>
|
|
826
827
|
<div class="ttc" id="aclassSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00138">IRGraph.h:138</a></div></div>
|
|
827
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">SVF::CmpStmt::FCMP_OLE</a></div><div class="ttdeci">@ FCMP_OLE</div><div class="ttdoc">0 1 0 1 True if ordered and less than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
828
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">SVF::CmpStmt::FCMP_OLE</a></div><div class="ttdeci">@ FCMP_OLE</div><div class="ttdoc">0 1 0 1 True if ordered and less than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00894">SVFStatements.h:894</a></div></div>
|
|
828
829
|
<div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
|
|
829
830
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a63ff43fb519f5cd2b17956e193606421"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">SVF::SVFIR2ConsExeState::~SVFIR2ConsExeState</a></div><div class="ttdeci">virtual ~SVFIR2ConsExeState()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00035">SVFIR2ConsExeState.cpp:35</a></div></div>
|
|
830
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">SVF::CmpStmt::ICMP_ULT</a></div><div class="ttdeci">@ ICMP_ULT</div><div class="ttdoc">unsigned less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
831
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">SVF::CmpStmt::ICMP_ULT</a></div><div class="ttdeci">@ ICMP_ULT</div><div class="ttdoc">unsigned less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00912">SVFStatements.h:912</a></div></div>
|
|
831
832
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
|
|
832
833
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
833
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">SVF::BinaryOPStmt::Xor</a></div><div class="ttdeci">@ Xor</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
834
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
834
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">SVF::BinaryOPStmt::Xor</a></div><div class="ttdeci">@ Xor</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00990">SVFStatements.h:990</a></div></div>
|
|
835
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00975">SVFStatements.h:975</a></div></div>
|
|
835
836
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a59c19a473a07918f59356c4a3b65cc8e"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e">SVF::SVFIR2ConsExeState::translateCopy</a></div><div class="ttdeci">void translateCopy(const CopyStmt *copy)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#conversion-operations</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00455">SVFIR2ConsExeState.cpp:455</a></div></div>
|
|
836
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
837
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00911">SVFStatements.h:911</a></div></div>
|
|
837
838
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7009d1a2517b29dda0bb58e5676687c2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2">SVF::SingleAbsValue::simplify</a></div><div class="ttdeci">SingleAbsValue simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00458">SingleAbsValue.h:458</a></div></div>
|
|
838
839
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a9d58c0c1698247018eac3c30c1202ba2"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVF::SVFIR2ConsExeState::translateAddr</a></div><div class="ttdeci">void translateAddr(const AddrStmt *addr)</div><div class="ttdoc">Translator for llvm ir.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00049">SVFIR2ConsExeState.cpp:49</a></div></div>
|
|
839
|
-
<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
840
|
-
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
841
|
-
<div class="ttc" id="
|
|
842
|
-
<div class="ttc" id="
|
|
843
|
-
<div class="ttc" id="
|
|
844
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00986">SVFStatements.h:986</a></div></div>
|
|
840
|
+
<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00816">SVFStatements.h:816</a></div></div>
|
|
841
|
+
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00605">SVFStatements.h:605</a></div></div>
|
|
842
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00871">SVFStatements.h:871</a></div></div>
|
|
843
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt::Or</a></div><div class="ttdeci">@ Or</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00989">SVFStatements.h:989</a></div></div>
|
|
844
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00985">SVFStatements.h:985</a></div></div>
|
|
845
845
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_ac2db6304ea5526fb446ae882983beeb0"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">SVF::SVFVar::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get/has methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
|
|
846
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
847
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt::UDiv</a></div><div class="ttdeci">@ UDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
848
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">SVF::BinaryOPStmt::FDiv</a></div><div class="ttdeci">@ FDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
849
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
850
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
851
|
-
<div class="ttc" id="
|
|
852
|
-
<div class="ttc" id="
|
|
853
|
-
<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00546">SVFStatements.h:546</a></div></div>
|
|
846
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00890">SVFStatements.h:890</a></div></div>
|
|
847
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt::UDiv</a></div><div class="ttdeci">@ UDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00979">SVFStatements.h:979</a></div></div>
|
|
848
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">SVF::BinaryOPStmt::FDiv</a></div><div class="ttdeci">@ FDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00981">SVFStatements.h:981</a></div></div>
|
|
849
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00891">SVFStatements.h:891</a></div></div>
|
|
850
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>
|
|
851
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">SVF::BinaryOPStmt::AShr</a></div><div class="ttdeci">@ AShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00987">SVFStatements.h:987</a></div></div>
|
|
852
|
+
<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00545">SVFStatements.h:545</a></div></div>
|
|
854
853
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
|
|
855
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1">SVF::BinaryOPStmt::LShr</a></div><div class="ttdeci">@ LShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
854
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1">SVF::BinaryOPStmt::LShr</a></div><div class="ttdeci">@ LShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00986">SVFStatements.h:986</a></div></div>
|
|
856
855
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
|
|
857
856
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
858
857
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
|
|
859
858
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
|
|
860
859
|
<div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</a></div></div>
|
|
861
860
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
|
|
862
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">SVF::CmpStmt::FCMP_ULE</a></div><div class="ttdeci">@ FCMP_ULE</div><div class="ttdoc">1 1 0 1 True if unordered, less than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
863
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
861
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">SVF::CmpStmt::FCMP_ULE</a></div><div class="ttdeci">@ FCMP_ULE</div><div class="ttdoc">1 1 0 1 True if unordered, less than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00902">SVFStatements.h:902</a></div></div>
|
|
862
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00957">SVFStatements.h:957</a></div></div>
|
|
864
863
|
<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00387">SVFStatements.h:387</a></div></div>
|
|
865
864
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
|
|
865
|
+
<div class="ttc" id="aclassSVF_1_1GepStmt_html_a348de09a7ccd04d1fa76fa6b250249ba"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">SVF::GepStmt::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const AccessPath::IdxOperandPairs getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00495">SVFStatements.h:495</a></div></div>
|
|
866
866
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
|
|
867
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
867
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00916">SVFStatements.h:916</a></div></div>
|
|
868
868
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a973a2b79da223275ed6a1831837b89c7"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">SVF::AssignStmt::getLHSVar</a></div><div class="ttdeci">SVFVar * getLHSVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00294">SVFStatements.h:294</a></div></div>
|
|
869
869
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
|
|
870
870
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a5dc699aa85fe879eb4b2c9109cf3030d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo(const SVFType *T) const</div><div class="ttdoc">Get struct info.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00056">SymbolTableInfo.cpp:56</a></div></div>
|
|
871
871
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
872
872
|
<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
|
|
873
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">SVF::CmpStmt::FCMP_ULT</a></div><div class="ttdeci">@ FCMP_ULT</div><div class="ttdoc">1 1 0 0 True if unordered or less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
873
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">SVF::CmpStmt::FCMP_ULT</a></div><div class="ttdeci">@ FCMP_ULT</div><div class="ttdoc">1 1 0 0 True if unordered or less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00901">SVFStatements.h:901</a></div></div>
|
|
874
874
|
<div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath & getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00491">SVFStatements.h:491</a></div></div>
|
|
875
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">SVF::BinaryOPStmt::FAdd</a></div><div class="ttdeci">@ FAdd</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
876
|
-
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
875
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">SVF::BinaryOPStmt::FAdd</a></div><div class="ttdeci">@ FAdd</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00974">SVFStatements.h:974</a></div></div>
|
|
876
|
+
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00854">SVFStatements.h:854</a></div></div>
|
|
877
877
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
|
|
878
|
-
<div class="ttc" id="aclassSVF_1_1GepStmt_html_afe5ae814b71b59fc03bd672d62a5fab7"><div class="ttname"><a href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">SVF::GepStmt::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
879
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
878
|
+
<div class="ttc" id="aclassSVF_1_1GepStmt_html_afe5ae814b71b59fc03bd672d62a5fab7"><div class="ttname"><a href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">SVF::GepStmt::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00520">SVFStatements.h:520</a></div></div>
|
|
879
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00913">SVFStatements.h:913</a></div></div>
|
|
880
880
|
<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00966">SVFValue.h:966</a></div></div>
|
|
881
881
|
<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01000">SVFValue.h:1000</a></div></div>
|
|
882
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
883
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
884
|
-
<div class="ttc" id="
|
|
885
|
-
<div class="ttc" id="
|
|
886
|
-
<div class="ttc" id="
|
|
882
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00977">SVFStatements.h:977</a></div></div>
|
|
883
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00898">SVFStatements.h:898</a></div></div>
|
|
884
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_afff5713e758d8f698d0cb5e2a341e16f"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVF::SVFIR2ConsExeState::getGepObjAddress</a></div><div class="ttdeci">Addrs getGepObjAddress(u32_t base, s32_t offset)</div><div class="ttdoc">Return the expr of gep object given a base and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00582">SVFIR2ConsExeState.cpp:582</a></div></div>
|
|
885
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt::ICMP_EQ</a></div><div class="ttdeci">@ ICMP_EQ</div><div class="ttdoc">equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
|
|
886
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">SVF::CmpStmt::FCMP_ONE</a></div><div class="ttdeci">@ FCMP_ONE</div><div class="ttdoc">0 1 1 0 True if ordered and operands are unequal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00895">SVFStatements.h:895</a></div></div>
|
|
887
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">SVF::CmpStmt::FCMP_UGE</a></div><div class="ttdeci">@ FCMP_UGE</div><div class="ttdoc">1 0 1 1 True if unordered, greater than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00900">SVFStatements.h:900</a></div></div>
|
|
887
888
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
|
|
888
889
|
<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00424">SVFStatements.h:424</a></div></div>
|
|
889
|
-
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#
|
|
890
|
+
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00397">ConsExeState.h:397</a></div></div>
|
|
890
891
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a766ff7a17d51294fea7e01068fbd028c"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c">SVF::SVFIR2ConsExeState::translateGep</a></div><div class="ttdeci">void translateGep(const GepStmt *gep, bool isGlobal)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#getelementptr-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00514">SVFIR2ConsExeState.cpp:514</a></div></div>
|
|
891
892
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_a269a73753a7b495eb08bb0c9c0a58dc0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">SVF::AddressValue::hasIntersect</a></div><div class="ttdeci">bool hasIntersect(const AddressValue &other)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00175">AddressValue.h:175</a></div></div>
|
|
892
893
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
|
|
893
894
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
894
|
-
<div class="ttc" id="
|
|
895
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_ad317f2ae2e599a131a6fd9f415f5d712"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState::_varToAddrs</a></div><div class="ttdeci">VarToAddrs _varToAddrs</div><div class="ttdoc">Map a variable (symbol) to its memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
|
|
896
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a75ff754930798c901714d3b0f2c6e857"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVF::SVFIR2ConsExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00763">SVFIR2ConsExeState.cpp:763</a></div></div>
|
|
895
897
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
|
|
896
898
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00113">AddressValue.h:113</a></div></div>
|
|
897
899
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a2f70e9c830b18f25c56b530722f106c4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">SVF::MemObj::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get the reference value to this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00406">SymbolTableInfo.h:406</a></div></div>
|
|
@@ -899,61 +901,60 @@ $(function() {
|
|
|
899
901
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
|
|
900
902
|
<div class="ttc" id="aclassSVF_1_1IRGraph_html_a3de9a2a565c303f68a90c32dc59febd5"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">SVF::IRGraph::getNullPtr</a></div><div class="ttdeci">NodeID getNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00174">IRGraph.h:174</a></div></div>
|
|
901
903
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_a40c67147606ab95dd3318d0fe821d8c0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue::insert</a></div><div class="ttdeci">std::pair< AddressValue::AddrSet::iterator, bool > insert(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00123">AddressValue.h:123</a></div></div>
|
|
902
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448">SVF::BinaryOPStmt::FSub</a></div><div class="ttdeci">@ FSub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
903
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">SVF::CmpStmt::FCMP_OGE</a></div><div class="ttdeci">@ FCMP_OGE</div><div class="ttdoc">0 0 1 1 True if ordered and greater than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
904
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448">SVF::BinaryOPStmt::FSub</a></div><div class="ttdeci">@ FSub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00976">SVFStatements.h:976</a></div></div>
|
|
905
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">SVF::CmpStmt::FCMP_OGE</a></div><div class="ttdeci">@ FCMP_OGE</div><div class="ttdoc">0 0 1 1 True if ordered and greater than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00892">SVFStatements.h:892</a></div></div>
|
|
904
906
|
<div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
|
|
905
907
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a15b7e99f0bff4de254239c10820550c0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0">SVF::SVFIR2ConsExeState::translateSelect</a></div><div class="ttdeci">void translateSelect(const SelectStmt *select)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#select-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00548">SVFIR2ConsExeState.cpp:548</a></div></div>
|
|
906
908
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a37b75ada7d18139ac2f2add6c232ea68"><div class="ttname"><a href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">SVF::MemObj::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00543">SymbolTableInfo.cpp:543</a></div></div>
|
|
907
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
908
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
909
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00899">SVFStatements.h:899</a></div></div>
|
|
910
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00983">SVFStatements.h:983</a></div></div>
|
|
909
911
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_af1b17f60a22dc1da4b9f1430c5f07d1a"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a">SVF::SVFIR2ConsExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00495">SVFIR2ConsExeState.cpp:495</a></div></div>
|
|
910
|
-
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#
|
|
911
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
912
|
+
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdoc">Map a memory address to its stored constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00115">ConsExeState.h:115</a></div></div>
|
|
913
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00909">SVFStatements.h:909</a></div></div>
|
|
912
914
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00533">SymbolTableInfo.cpp:533</a></div></div>
|
|
913
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
915
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00946">SVFStatements.h:946</a></div></div>
|
|
914
916
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
|
|
915
917
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</a></div></div>
|
|
916
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a4537a3df1217e01d024c3a24f7b5a2f0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ConZ3Expr for ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
917
|
-
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
918
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a51a94136135db2190cca1859fdd9faf8"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">SVF::SVFIR2ConsExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *objVar, u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
918
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a4537a3df1217e01d024c3a24f7b5a2f0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ConZ3Expr for ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00722">SVFIR2ConsExeState.cpp:722</a></div></div>
|
|
919
|
+
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00858">SVFStatements.h:858</a></div></div>
|
|
920
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a51a94136135db2190cca1859fdd9faf8"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">SVF::SVFIR2ConsExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *objVar, u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00685">SVFIR2ConsExeState.cpp:685</a></div></div>
|
|
919
921
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_ae18425df0631aefca7dd4b799f6f524a"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">SVF::SVFIR::getGepObjVar</a></div><div class="ttdeci">NodeID getGepObjVar(const MemObj *obj, const APOffset &ap)</div><div class="ttdoc">Get a field SVFIR Object node according to base mem obj and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00422">SVFIR.cpp:422</a></div></div>
|
|
920
922
|
<div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
|
|
921
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
923
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01016">SVFStatements.h:1016</a></div></div>
|
|
922
924
|
<div class="ttc" id="aclassSVF_1_1ObjVar_html_a6a4feb73b54e602407e35eeb09f55930"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">SVF::ObjVar::getMemObj</a></div><div class="ttdeci">const MemObj * getMemObj() const</div><div class="ttdoc">Return memory object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00353">SVFVariables.h:353</a></div></div>
|
|
923
925
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
924
926
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a7a547d67559f2d01ead77986bbd6863b"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b">SVF::SVFIR2ConsExeState::translateLoad</a></div><div class="ttdeci">void translateLoad(const LoadStmt *load)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#load-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00343">SVFIR2ConsExeState.cpp:343</a></div></div>
|
|
925
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a213e6f6dd1ad0e2e0b525f1b55735553"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553">SVF::SVFIR2ConsExeState::moveToGlobal</a></div><div class="ttdeci">void moveToGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
926
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
927
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a213e6f6dd1ad0e2e0b525f1b55735553"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553">SVF::SVFIR2ConsExeState::moveToGlobal</a></div><div class="ttdeci">void moveToGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00786">SVFIR2ConsExeState.cpp:786</a></div></div>
|
|
928
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00980">SVFStatements.h:980</a></div></div>
|
|
927
929
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
|
|
928
|
-
<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
930
|
+
<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00725">SVFStatements.h:725</a></div></div>
|
|
929
931
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a373227923e37d7dcb100ef9de613e400"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400">SVF::SVFIR2ConsExeState::translateCmp</a></div><div class="ttdeci">void translateCmp(const CmpStmt *cmp)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#icmp-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00137">SVFIR2ConsExeState.cpp:137</a></div></div>
|
|
932
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_a79866a547dc4805d3fefdfd528d2df2a"><div class="ttname"><a href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState::_locToAddrs</a></div><div class="ttdeci">VarToAddrs _locToAddrs</div><div class="ttdoc">Map a memory address to its stored memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00096">ExeState.h:96</a></div></div>
|
|
930
933
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
|
|
931
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
932
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_afc9c3372eb142afdb3eb8956adf53c33"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">SVF::SVFIR2ConsExeState::getGepObjAddress</a></div><div class="ttdeci">VAddrs getGepObjAddress(u32_t base, s32_t offset)</div><div class="ttdoc">Return the expr of gep object given a base and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00582">SVFIR2ConsExeState.cpp:582</a></div></div>
|
|
934
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00917">SVFStatements.h:917</a></div></div>
|
|
933
935
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option< u32_t > MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
|
|
934
936
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
935
937
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00328">SVFType.h:328</a></div></div>
|
|
936
938
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a57adf31d54810533526d6e33bdeb386c"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c">SVF::SVFIR2ConsExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#call-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00481">SVFIR2ConsExeState.cpp:481</a></div></div>
|
|
937
939
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_ab6f95d3e7e099d75cfc9645ebc037047"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">SVF::SVFVar::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdoc">Return type of the value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
|
|
938
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
940
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00915">SVFStatements.h:915</a></div></div>
|
|
939
941
|
<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
|
|
940
|
-
<div class="ttc" id="aclassSVF_1_1GepStmt_html_a0572909694bf47d9448a0f1e5e14a50b"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0572909694bf47d9448a0f1e5e14a50b">SVF::GepStmt::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const AccessPath::IdxVarAndGepTypePairs getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00496">SVFStatements.h:496</a></div></div>
|
|
941
942
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_ae7720cdcb509ecfccbda141986643684"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684">SVF::SVFIR2ConsExeState::getGepOffset</a></div><div class="ttdeci">std::pair< s32_t, s32_t > getGepOffset(const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00608">SVFIR2ConsExeState.cpp:608</a></div></div>
|
|
942
943
|
<div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
|
|
943
|
-
<div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#
|
|
944
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00271">ExeState.h:271</a></div></div>
|
|
944
945
|
<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00994">SVFValue.h:994</a></div></div>
|
|
945
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
946
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00910">SVFStatements.h:910</a></div></div>
|
|
946
947
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</a></div></div>
|
|
947
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">SVF::BinaryOPStmt::And</a></div><div class="ttdeci">@ And</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
948
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">SVF::BinaryOPStmt::And</a></div><div class="ttdeci">@ And</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00988">SVFStatements.h:988</a></div></div>
|
|
948
949
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a82d969e6f521e59f0d57da0a19e67a0a"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a">SVF::SVFIR2ConsExeState::translateBinary</a></div><div class="ttdeci">void translateBinary(const BinaryOPStmt *binary)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#binary-operations</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00071">SVFIR2ConsExeState.cpp:71</a></div></div>
|
|
949
950
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
|
|
950
951
|
<div class="ttc" id="aSVFIR2ConsExeState_8h_html"><div class="ttname"><a href="SVFIR2ConsExeState_8h.html">SVFIR2ConsExeState.h</a></div></div>
|
|
951
|
-
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">SVF::CmpStmt::FCMP_TRUE</a></div><div class="ttdeci">@ FCMP_TRUE</div><div class="ttdoc">1 1 1 1 Always true (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
952
|
+
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">SVF::CmpStmt::FCMP_TRUE</a></div><div class="ttdeci">@ FCMP_TRUE</div><div class="ttdoc">1 1 1 1 Always true (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00904">SVFStatements.h:904</a></div></div>
|
|
952
953
|
<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
953
954
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a55e5fd85f232c1867c5c6a73646d53eb"><div class="ttname"><a href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo::getFlattenedElemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > & getFlattenedElemIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00184">SVFType.h:184</a></div></div>
|
|
954
955
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
955
956
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a019a77516c403f1f3cc72917b810a41f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">SVF::MemObj::isConstantStruct</a></div><div class="ttdeci">bool isConstantStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00528">SymbolTableInfo.cpp:528</a></div></div>
|
|
956
|
-
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt::Add</a></div><div class="ttdeci">@ Add</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
957
|
+
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt::Add</a></div><div class="ttdeci">@ Add</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00973">SVFStatements.h:973</a></div></div>
|
|
957
958
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_aed0b4789beda4980e4e215a65350f323"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">SVF::AddressValue::begin</a></div><div class="ttdeci">AddrSet::const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00103">AddressValue.h:103</a></div></div>
|
|
958
959
|
<!-- start footer part -->
|
|
959
960
|
<hr class="footer"/><address class="footer"><small>
|