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
|
@@ -134,468 +134,472 @@ $(function() {
|
|
|
134
134
|
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  </div>
|
|
135
135
|
<div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05"> 64</a></span>  <span class="keyword">static</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>;</div>
|
|
136
136
|
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  </div>
|
|
137
|
-
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="keyword">
|
|
138
|
-
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#
|
|
139
|
-
<div class="line"><a name="
|
|
140
|
-
<div class="line"><a name="
|
|
141
|
-
<div class="line"><a name="
|
|
142
|
-
<div class="line"><a name="
|
|
143
|
-
<div class="line"><a name="
|
|
144
|
-
<div class="line"><a name="
|
|
145
|
-
<div class="line"><a name="
|
|
146
|
-
<div class="line"><a name="
|
|
147
|
-
<div class="line"><a name="
|
|
148
|
-
<div class="line"><a name="
|
|
149
|
-
<div class="line"><a name="
|
|
150
|
-
<div class="line"><a name="
|
|
137
|
+
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="keyword">public</span>:</div>
|
|
138
|
+
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c"> 68</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">IntervalExeState</a>() : <a class="code" href="classSVF_1_1ExeState.html">ExeState</a>(<a class="code" href="classSVF_1_1ExeState.html">ExeState</a>::<a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a>) {}</div>
|
|
139
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  </div>
|
|
140
|
+
<div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0"> 70</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0">IntervalExeState</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &_varToValMap, <a class="code" href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">LocToValMap</a> &_locToValMap) : <a class="code" href="classSVF_1_1ExeState.html">ExeState</a>(<a class="code" href="classSVF_1_1ExeState.html">ExeState</a>::<a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a>),</div>
|
|
141
|
+
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>(_varToValMap),</div>
|
|
142
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>(_locToValMap) {}</div>
|
|
143
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  </div>
|
|
144
|
+
<div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654"> 75</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654">IntervalExeState</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs) : <a class="code" href="classSVF_1_1ExeState.html">ExeState</a>(rhs), <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>(rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">getVarToVal</a>()),</div>
|
|
145
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>(rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">getLocToVal</a>())</div>
|
|
146
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  {</div>
|
|
147
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  </div>
|
|
148
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  }</div>
|
|
149
|
+
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  </div>
|
|
150
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a9e6006e0f0a4039cf65f9e79be6eea49">~IntervalExeState</a>() = <span class="keywordflow">default</span>;</div>
|
|
151
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  </div>
|
|
152
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  </div>
|
|
153
|
+
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7"> 84</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs)</div>
|
|
151
154
|
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  {</div>
|
|
152
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  </div>
|
|
153
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> 
|
|
154
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  </div>
|
|
155
|
-
<div class="line"><a name="
|
|
156
|
-
<div class="line"><a name="
|
|
157
|
-
<div class="line"><a name="
|
|
158
|
-
<div class="line"><a name="
|
|
159
|
-
<div class="line"><a name="
|
|
160
|
-
<div class="line"><a name="
|
|
161
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> 
|
|
162
|
-
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span> 
|
|
163
|
-
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <
|
|
164
|
-
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span> 
|
|
155
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <span class="keywordflow">if</span> (rhs != *<span class="keyword">this</span>)</div>
|
|
156
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  {</div>
|
|
157
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a> = rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>;</div>
|
|
158
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a> = rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>;</div>
|
|
159
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <a class="code" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">ExeState::operator=</a>(rhs);</div>
|
|
160
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  }</div>
|
|
161
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
|
|
162
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  }</div>
|
|
163
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  </div>
|
|
164
|
+
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41"> 96</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41">IntervalExeState</a>(<a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &&rhs) : <a class="code" href="classSVF_1_1ExeState.html">ExeState</a>(std::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(rhs)),</div>
|
|
165
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>(std::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>)),</div>
|
|
166
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>(std::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>))</div>
|
|
167
|
+
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  {</div>
|
|
165
168
|
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  </div>
|
|
166
|
-
<div class="line"><a name="
|
|
167
|
-
<div class="line"><a name="
|
|
168
|
-
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> 
|
|
169
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  }</div>
|
|
170
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  </div>
|
|
171
|
+
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7"> 104</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7">operator=</a>(<a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &&rhs)</div>
|
|
169
172
|
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  {</div>
|
|
170
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  </div>
|
|
171
|
-
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> 
|
|
172
|
-
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  </div>
|
|
173
|
-
<div class="line"><a name="
|
|
174
|
-
<div class="line"><a name="
|
|
175
|
-
<div class="line"><a name="
|
|
176
|
-
<div class="line"><a name="
|
|
177
|
-
<div class="line"><a name="
|
|
178
|
-
<div class="line"><a name="
|
|
179
|
-
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span> 
|
|
180
|
-
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> 
|
|
181
|
-
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  <
|
|
182
|
-
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span> 
|
|
183
|
-
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> 
|
|
184
|
-
<div class="line"><a name="
|
|
185
|
-
<div class="line"><a name="
|
|
186
|
-
<div class="line"><a name="
|
|
187
|
-
<div class="line"><a name="
|
|
188
|
-
<div class="line"><a name="
|
|
189
|
-
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span> 
|
|
190
|
-
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span> 
|
|
191
|
-
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <
|
|
192
|
-
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span> 
|
|
193
|
-
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span> 
|
|
194
|
-
<div class="line"><a name="
|
|
195
|
-
<div class="line"><a name="
|
|
196
|
-
<div class="line"><a name="
|
|
197
|
-
<div class="line"><a name="
|
|
198
|
-
<div class="line"><a name="
|
|
199
|
-
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span> 
|
|
200
|
-
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span> 
|
|
201
|
-
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <
|
|
202
|
-
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span> 
|
|
203
|
-
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span> 
|
|
204
|
-
<div class="line"><a name="
|
|
205
|
-
<div class="line"><a name="
|
|
206
|
-
<div class="line"><a name="
|
|
207
|
-
<div class="line"><a name="
|
|
208
|
-
<div class="line"><a name="
|
|
209
|
-
<div class="line"><a name="
|
|
210
|
-
<div class="line"><a name="
|
|
211
|
-
<div class="line"><a name="
|
|
212
|
-
<div class="line"><a name="
|
|
213
|
-
<div class="line"><a name="
|
|
214
|
-
<div class="line"><a name="
|
|
215
|
-
<div class="line"><a name="
|
|
216
|
-
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span> 
|
|
217
|
-
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span> 
|
|
218
|
-
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span> 
|
|
219
|
-
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  <span class="keywordflow">
|
|
220
|
-
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">return</span>
|
|
221
|
-
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span> 
|
|
222
|
-
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  </div>
|
|
223
|
-
<div class="line"><a name="l00163"></a><span class="lineno"
|
|
224
|
-
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span> 
|
|
225
|
-
<div class="line"><a name="
|
|
226
|
-
<div class="line"><a name="
|
|
227
|
-
<div class="line"><a name="
|
|
228
|
-
<div class="line"><a name="
|
|
229
|
-
<div class="line"><a name="
|
|
230
|
-
<div class="line"><a name="
|
|
231
|
-
<div class="line"><a name="
|
|
232
|
-
<div class="line"><a name="
|
|
233
|
-
<div class="line"><a name="
|
|
234
|
-
<div class="line"><a name="
|
|
235
|
-
<div class="line"><a name="
|
|
236
|
-
<div class="line"><a name="
|
|
237
|
-
<div class="line"><a name="
|
|
238
|
-
<div class="line"><a name="
|
|
239
|
-
<div class="line"><a name="
|
|
240
|
-
<div class="line"><a name="
|
|
241
|
-
<div class="line"><a name="
|
|
242
|
-
<div class="line"><a name="
|
|
243
|
-
<div class="line"><a name="
|
|
244
|
-
<div class="line"><a name="
|
|
245
|
-
<div class="line"><a name="
|
|
246
|
-
<div class="line"><a name="
|
|
247
|
-
<div class="line"><a name="
|
|
248
|
-
<div class="line"><a name="
|
|
249
|
-
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end();</div>
|
|
250
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  }</div>
|
|
251
|
-
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  </div>
|
|
252
|
-
<div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb"> 192</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">inLocalLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
|
|
173
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">if</span> (&rhs != <span class="keyword">this</span>)</div>
|
|
174
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  {</div>
|
|
175
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToItvVal);</div>
|
|
176
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToItvVal);</div>
|
|
177
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">ExeState::operator=</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs));</div>
|
|
178
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  }</div>
|
|
179
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
|
|
180
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  }</div>
|
|
181
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  </div>
|
|
182
|
+
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e"> 116</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">bottom</a>()</div>
|
|
183
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  {</div>
|
|
184
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> inv = *<span class="keyword">this</span>;</div>
|
|
185
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> &<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: inv.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>)</div>
|
|
186
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  {</div>
|
|
187
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.set_to_bottom();</div>
|
|
188
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  }</div>
|
|
189
|
+
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="keywordflow">return</span> inv;</div>
|
|
190
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  }</div>
|
|
191
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  </div>
|
|
192
|
+
<div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0"> 127</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">top</a>()</div>
|
|
193
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  {</div>
|
|
194
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> inv = *<span class="keyword">this</span>;</div>
|
|
195
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> &<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: inv.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>)</div>
|
|
196
|
+
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  {</div>
|
|
197
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.set_to_top();</div>
|
|
198
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  }</div>
|
|
199
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keywordflow">return</span> inv;</div>
|
|
200
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  }</div>
|
|
201
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  </div>
|
|
202
|
+
<div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7"> 138</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7">sliceState</a>(<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<u32_t></a> &sl)</div>
|
|
203
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div>
|
|
204
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> inv;</div>
|
|
205
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>: sl)</div>
|
|
206
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  {</div>
|
|
207
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  inv.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[id] = <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[id];</div>
|
|
208
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div>
|
|
209
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <span class="keywordflow">return</span> inv;</div>
|
|
210
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  }</div>
|
|
211
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  </div>
|
|
212
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span> <span class="keyword">protected</span>:</div>
|
|
213
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  </div>
|
|
214
|
+
<div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77"> 150</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>; </div>
|
|
215
|
+
<div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71"> 151</a></span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">LocToValMap</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>; </div>
|
|
216
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  </div>
|
|
217
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span> <span class="keyword">public</span>:</div>
|
|
218
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  </div>
|
|
219
|
+
<div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd"> 156</a></span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> override</span></div>
|
|
220
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span> <span class="keyword"> </span>{</div>
|
|
221
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.find(<span class="keywordtype">id</span>);</div>
|
|
222
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.end())</div>
|
|
223
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
224
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="keywordflow">else</span></div>
|
|
225
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[id];</div>
|
|
226
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div>
|
|
227
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  </div>
|
|
228
|
+
<div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2"> 166</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">operator[]</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
229
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  {</div>
|
|
230
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  <span class="keyword">auto</span> localIt = <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.find(varId);</div>
|
|
231
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <span class="keywordflow">if</span>(localIt != <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end())</div>
|
|
232
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">return</span> localIt->second;</div>
|
|
233
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <span class="keywordflow">else</span></div>
|
|
234
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  {</div>
|
|
235
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[varId];</div>
|
|
236
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  }</div>
|
|
237
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  }</div>
|
|
238
|
+
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  </div>
|
|
239
|
+
<div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45"> 178</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">inVarToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const override</span></div>
|
|
240
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span> <span class="keyword"> </span>{</div>
|
|
241
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.end() ||</div>
|
|
242
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.end();</div>
|
|
243
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  }</div>
|
|
244
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  </div>
|
|
245
|
+
<div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6"> 185</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6">inVarToValTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
|
|
246
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="keyword"> </span>{</div>
|
|
247
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end() ||</div>
|
|
248
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end();</div>
|
|
249
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  }</div>
|
|
250
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  </div>
|
|
251
|
+
<div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4"> 192</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">inLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const override</span></div>
|
|
253
252
|
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span> <span class="keyword"> </span>{</div>
|
|
254
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#
|
|
255
|
-
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span> 
|
|
256
|
-
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span> 
|
|
257
|
-
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span> 
|
|
258
|
-
<div class="line"><a name="
|
|
259
|
-
<div class="line"><a name="
|
|
260
|
-
<div class="line"><a name="
|
|
261
|
-
<div class="line"><a name="
|
|
262
|
-
<div class="line"><a name="l00203"></a><span class="lineno"
|
|
263
|
-
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span> 
|
|
264
|
-
<div class="line"><a name="
|
|
265
|
-
<div class="line"><a name="
|
|
266
|
-
<div class="line"><a name="
|
|
267
|
-
<div class="line"><a name="l00209"></a><span class="lineno"
|
|
268
|
-
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> 
|
|
269
|
-
<div class="line"><a name="
|
|
270
|
-
<div class="line"><a name="
|
|
271
|
-
<div class="line"><a name="
|
|
272
|
-
<div class="line"><a name="l00215"></a><span class="lineno"
|
|
273
|
-
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span> 
|
|
274
|
-
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span> 
|
|
275
|
-
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span> 
|
|
276
|
-
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span> 
|
|
277
|
-
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span> 
|
|
278
|
-
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span> 
|
|
279
|
-
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span> 
|
|
280
|
-
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span> 
|
|
281
|
-
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span> 
|
|
282
|
-
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> 
|
|
283
|
-
<div class="line"><a name="l00226"></a><span class="lineno"
|
|
284
|
-
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span> 
|
|
285
|
-
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span> 
|
|
286
|
-
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span> 
|
|
287
|
-
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span> 
|
|
288
|
-
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="keyword">auto</span>
|
|
289
|
-
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="
|
|
290
|
-
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span> 
|
|
291
|
-
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span> 
|
|
292
|
-
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span> 
|
|
293
|
-
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span> 
|
|
294
|
-
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  </div>
|
|
295
|
-
<div class="line"><a name="
|
|
253
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end() ||</div>
|
|
254
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end();</div>
|
|
255
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  }</div>
|
|
256
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  </div>
|
|
257
|
+
<div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02"> 199</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02">inLocToValTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
|
|
258
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span> <span class="keyword"> </span>{</div>
|
|
259
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end() ||</div>
|
|
260
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end();</div>
|
|
261
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div>
|
|
262
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  </div>
|
|
263
|
+
<div class="line"><a name="l00206"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3"> 206</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">getVarToVal</a>()<span class="keyword"> const</span></div>
|
|
264
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> <span class="keyword"> </span>{</div>
|
|
265
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>;</div>
|
|
266
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  }</div>
|
|
267
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  </div>
|
|
268
|
+
<div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf"> 212</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">LocToValMap</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">getLocToVal</a>()<span class="keyword"> const</span></div>
|
|
269
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span> <span class="keyword"> </span>{</div>
|
|
270
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>;</div>
|
|
271
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  }</div>
|
|
272
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  </div>
|
|
273
|
+
<div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6"> 217</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">inLocalLocToValTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
|
|
274
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span> <span class="keyword"> </span>{</div>
|
|
275
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end();</div>
|
|
276
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  }</div>
|
|
277
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  </div>
|
|
278
|
+
<div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb"> 222</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">inLocalLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
|
|
279
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span> <span class="keyword"> </span>{</div>
|
|
280
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end();</div>
|
|
281
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  }</div>
|
|
282
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  </div>
|
|
283
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span> <span class="keyword">public</span>:</div>
|
|
284
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  </div>
|
|
285
|
+
<div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19"> 229</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">cpyItvToLocal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
286
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  {</div>
|
|
287
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="keyword">auto</span> localIt = <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.find(varId);</div>
|
|
288
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="comment">// local already have varId</span></div>
|
|
289
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">if</span> (localIt != <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end()) <span class="keywordflow">return</span>;</div>
|
|
290
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.find(varId);</div>
|
|
291
|
+
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="keywordflow">if</span> (globIt != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end())</div>
|
|
292
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  {</div>
|
|
293
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[varId] = globIt->second;</div>
|
|
294
|
+
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  }</div>
|
|
295
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  }</div>
|
|
296
296
|
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  </div>
|
|
297
|
-
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#
|
|
297
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">widening</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
298
298
|
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  </div>
|
|
299
|
-
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <
|
|
299
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">narrowing</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
300
300
|
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  </div>
|
|
301
|
-
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#
|
|
301
|
+
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">widenWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
302
302
|
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  </div>
|
|
303
|
-
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#
|
|
303
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">joinWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
304
304
|
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  </div>
|
|
305
|
-
<div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#
|
|
305
|
+
<div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">narrowWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
306
306
|
<div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  </div>
|
|
307
|
-
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">meetWith</a>(<a class="code" href="classSVF_1_1IntervalExeState.html
|
|
307
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">meetWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other);</div>
|
|
308
308
|
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  </div>
|
|
309
|
-
<div class="line"><a name="
|
|
310
|
-
<div class="line"><a name="l00261"></a><span class="lineno"
|
|
311
|
-
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> 
|
|
312
|
-
<div class="line"><a name="
|
|
313
|
-
<div class="line"><a name="
|
|
314
|
-
<div class="line"><a name="
|
|
315
|
-
<div class="line"><a name="
|
|
316
|
-
<div class="line"><a name="l00268"></a><span class="lineno"
|
|
317
|
-
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span> 
|
|
318
|
-
<div class="line"><a name="
|
|
319
|
-
<div class="line"><a name="
|
|
320
|
-
<div class="line"><a name="
|
|
321
|
-
<div class="line"><a name="
|
|
322
|
-
<div class="line"><a name="l00275"></a><span class="lineno"
|
|
323
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> 
|
|
324
|
-
<div class="line"><a name="
|
|
325
|
-
<div class="line"><a name="
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="
|
|
328
|
-
<div class="line"><a name="
|
|
329
|
-
<div class="line"><a name="
|
|
330
|
-
<div class="line"><a name="
|
|
331
|
-
<div class="line"><a name="
|
|
332
|
-
<div class="line"><a name="
|
|
333
|
-
<div class="line"><a name="
|
|
334
|
-
<div class="line"><a name="
|
|
335
|
-
<div class="line"><a name="
|
|
336
|
-
<div class="line"><a name="
|
|
337
|
-
<div class="line"><a name="
|
|
338
|
-
<div class="line"><a name="
|
|
339
|
-
<div class="line"><a name="
|
|
340
|
-
<div class="line"><a name="
|
|
341
|
-
<div class="line"><a name="
|
|
342
|
-
<div class="line"><a name="
|
|
343
|
-
<div class="line"><a name="
|
|
344
|
-
<div class="line"><a name="
|
|
345
|
-
<div class="line"><a name="
|
|
346
|
-
<div class="line"><a name="
|
|
347
|
-
<div class="line"><a name="
|
|
348
|
-
<div class="line"><a name="
|
|
349
|
-
<div class="line"><a name="
|
|
350
|
-
<div class="line"><a name="
|
|
351
|
-
<div class="line"><a name="
|
|
352
|
-
<div class="line"><a name="
|
|
353
|
-
<div class="line"><a name="
|
|
354
|
-
<div class="line"><a name="
|
|
355
|
-
<div class="line"><a name="
|
|
356
|
-
<div class="line"><a name="
|
|
357
|
-
<div class="line"><a name="
|
|
358
|
-
<div class="line"><a name="
|
|
359
|
-
<div class="line"><a name="
|
|
360
|
-
<div class="line"><a name="
|
|
361
|
-
<div class="line"><a name="
|
|
362
|
-
<div class="line"><a name="
|
|
363
|
-
<div class="line"><a name="
|
|
364
|
-
<div class="line"><a name="
|
|
365
|
-
<div class="line"><a name="
|
|
366
|
-
<div class="line"><a name="
|
|
367
|
-
<div class="line"><a name="
|
|
368
|
-
<div class="line"><a name="
|
|
369
|
-
<div class="line"><a name="
|
|
370
|
-
<div class="line"><a name="
|
|
371
|
-
<div class="line"><a name="
|
|
372
|
-
<div class="line"><a name="
|
|
373
|
-
<div class="line"><a name="
|
|
374
|
-
<div class="line"><a name="
|
|
375
|
-
<div class="line"><a name="
|
|
376
|
-
<div class="line"><a name="
|
|
377
|
-
<div class="line"><a name="
|
|
378
|
-
<div class="line"><a name="
|
|
379
|
-
<div class="line"><a name="
|
|
380
|
-
<div class="line"><a name="
|
|
381
|
-
<div class="line"><a name="
|
|
382
|
-
<div class="line"><a name="
|
|
383
|
-
<div class="line"><a name="
|
|
384
|
-
<div class="line"><a name="
|
|
385
|
-
<div class="line"><a name="
|
|
386
|
-
<div class="line"><a name="
|
|
387
|
-
<div class="line"><a name="
|
|
388
|
-
<div class="line"><a name="
|
|
389
|
-
<div class="line"><a name="
|
|
390
|
-
<div class="line"><a name="
|
|
391
|
-
<div class="line"><a name="
|
|
392
|
-
<div class="line"><a name="
|
|
393
|
-
<div class="line"><a name="
|
|
394
|
-
<div class="line"><a name="
|
|
395
|
-
<div class="line"><a name="
|
|
396
|
-
<div class="line"><a name="
|
|
397
|
-
<div class="line"><a name="
|
|
398
|
-
<div class="line"><a name="
|
|
399
|
-
<div class="line"><a name="
|
|
400
|
-
<div class="line"><a name="
|
|
401
|
-
<div class="line"><a name="
|
|
402
|
-
<div class="line"><a name="
|
|
403
|
-
<div class="line"><a name="
|
|
404
|
-
<div class="line"><a name="
|
|
405
|
-
<div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
407
|
-
<div class="line"><a name="
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="
|
|
410
|
-
<div class="line"><a name="
|
|
411
|
-
<div class="line"><a name="
|
|
412
|
-
<div class="line"><a name="
|
|
413
|
-
<div class="line"><a name="
|
|
414
|
-
<div class="line"><a name="
|
|
415
|
-
<div class="line"><a name="
|
|
416
|
-
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span> 
|
|
309
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">meetWith</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> *other);</div>
|
|
310
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  </div>
|
|
311
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  </div>
|
|
312
|
+
<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8"> 264</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8">Interval2NumValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &e)<span class="keyword"> const</span></div>
|
|
313
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span> <span class="keyword"> </span>{</div>
|
|
314
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="comment">//TODO: return concrete value;</span></div>
|
|
315
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) e.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
|
|
316
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  }</div>
|
|
317
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  </div>
|
|
318
|
+
<div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558"> 271</a></span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">createIntervalValue</a>(<span class="keywordtype">double</span> lb, <span class="keywordtype">double</span> ub, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>)</div>
|
|
319
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  {</div>
|
|
320
|
+
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[id] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lb, ub);</div>
|
|
321
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>[id];</div>
|
|
322
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  }</div>
|
|
323
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  </div>
|
|
324
|
+
<div class="line"><a name="l00278"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89"> 278</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89">has_bottom</a>()</div>
|
|
325
|
+
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  {</div>
|
|
326
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.begin(); it != <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.end(); ++it)</div>
|
|
327
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div>
|
|
328
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="keywordflow">if</span> (it->second.isBottom())</div>
|
|
329
|
+
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  {</div>
|
|
330
|
+
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
331
|
+
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  }</div>
|
|
332
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  }</div>
|
|
333
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.begin(); it != <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end(); ++it)</div>
|
|
334
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  {</div>
|
|
335
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="keywordflow">if</span> (it->second.isBottom())</div>
|
|
336
|
+
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  {</div>
|
|
337
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
338
|
+
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  }</div>
|
|
339
|
+
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  }</div>
|
|
340
|
+
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
341
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  }</div>
|
|
342
|
+
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  </div>
|
|
343
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>() <span class="keyword">const override</span>;</div>
|
|
344
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  </div>
|
|
345
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span> <span class="keyword">public</span>:</div>
|
|
346
|
+
<div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb"> 300</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">store</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &val)</div>
|
|
347
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  {</div>
|
|
348
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) && <span class="stringliteral">"not virtual address?"</span>);</div>
|
|
349
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(addr)) <span class="keywordflow">return</span>;</div>
|
|
350
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
|
|
351
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>[objId] = val;</div>
|
|
352
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div>
|
|
353
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  </div>
|
|
354
|
+
<div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab"> 308</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</div>
|
|
355
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div>
|
|
356
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) && <span class="stringliteral">"not virtual address?"</span>);</div>
|
|
357
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
|
|
358
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(objId);</div>
|
|
359
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end())</div>
|
|
360
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
361
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">else</span></div>
|
|
362
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  {</div>
|
|
363
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(objId);</div>
|
|
364
|
+
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">if</span>(globIt != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end())</div>
|
|
365
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keywordflow">return</span> globIt->second;</div>
|
|
366
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">else</span></div>
|
|
367
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>[objId];</div>
|
|
368
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  }</div>
|
|
369
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
370
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  </div>
|
|
371
|
+
<div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a"> 325</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &<a class="code" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">loadAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)<span class="keyword"> override</span></div>
|
|
372
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span> <span class="keyword"> </span>{</div>
|
|
373
|
+
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) && <span class="stringliteral">"not virtual address?"</span>);</div>
|
|
374
|
+
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
|
|
375
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(objId);</div>
|
|
376
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end())</div>
|
|
377
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
378
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <span class="keywordflow">else</span></div>
|
|
379
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  {</div>
|
|
380
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(objId);</div>
|
|
381
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">if</span>(globIt != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end())</div>
|
|
382
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keywordflow">return</span> globIt->second;</div>
|
|
383
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">else</span></div>
|
|
384
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>[objId];</div>
|
|
385
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  }</div>
|
|
386
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  }</div>
|
|
387
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  </div>
|
|
388
|
+
<div class="line"><a name="l00342"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a7c116401ebfd4e0947f5be6a61d1edcc"> 342</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>& <a class="code" href="classSVF_1_1IntervalExeState.html#a7c116401ebfd4e0947f5be6a61d1edcc">getLocToVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
|
|
389
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  {</div>
|
|
390
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
|
|
391
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end())</div>
|
|
392
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
393
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keywordflow">else</span></div>
|
|
394
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  {</div>
|
|
395
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
|
|
396
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">if</span>(globIt != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.end())</div>
|
|
397
|
+
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <span class="keywordflow">return</span> globIt->second;</div>
|
|
398
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  <span class="keywordflow">else</span></div>
|
|
399
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>[id];</div>
|
|
400
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  }</div>
|
|
401
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  }</div>
|
|
402
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  </div>
|
|
403
|
+
<div class="line"><a name="l00357"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ab2ca8fade3399ebbffd3cc32e52604d5"> 357</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a>& <a class="code" href="classSVF_1_1IntervalExeState.html#ab2ca8fade3399ebbffd3cc32e52604d5">getLocAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
|
|
404
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  {</div>
|
|
405
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>);</div>
|
|
406
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end())</div>
|
|
407
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
408
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">else</span></div>
|
|
409
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div>
|
|
410
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>);</div>
|
|
411
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">if</span>(globIt != <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end())</div>
|
|
412
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  <span class="keywordflow">return</span> globIt->second;</div>
|
|
413
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">else</span></div>
|
|
414
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>[id];</div>
|
|
415
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  }</div>
|
|
416
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  }</div>
|
|
417
417
|
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  </div>
|
|
418
|
-
<div class="line"><a name="
|
|
419
|
-
<div class="line"><a name="
|
|
420
|
-
<div class="line"><a name="
|
|
421
|
-
<div class="line"><a name="
|
|
422
|
-
<div class="line"><a name="
|
|
423
|
-
<div class="line"><a name="
|
|
424
|
-
<div class="line"><a name="
|
|
425
|
-
<div class="line"><a name="
|
|
426
|
-
<div class="line"><a name="
|
|
427
|
-
<div class="line"><a name="
|
|
428
|
-
<div class="line"><a name="
|
|
429
|
-
<div class="line"><a name="
|
|
430
|
-
<div class="line"><a name="
|
|
431
|
-
<div class="line"><a name="
|
|
432
|
-
<div class="line"><a name="
|
|
433
|
-
<div class="line"><a name="
|
|
434
|
-
<div class="line"><a name="
|
|
435
|
-
<div class="line"><a name="
|
|
436
|
-
<div class="line"><a name="
|
|
437
|
-
<div class="line"><a name="
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="
|
|
440
|
-
<div class="line"><a name="
|
|
441
|
-
<div class="line"><a name="
|
|
442
|
-
<div class="line"><a name="
|
|
443
|
-
<div class="line"><a name="
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="
|
|
451
|
-
<div class="line"><a name="
|
|
452
|
-
<div class="line"><a name="
|
|
453
|
-
<div class="line"><a name="
|
|
454
|
-
<div class="line"><a name="
|
|
455
|
-
<div class="line"><a name="
|
|
456
|
-
<div class="line"><a name="
|
|
457
|
-
<div class="line"><a name="
|
|
458
|
-
<div class="line"><a name="
|
|
459
|
-
<div class="line"><a name="
|
|
460
|
-
<div class="line"><a name="
|
|
461
|
-
<div class="line"><a name="
|
|
462
|
-
<div class="line"><a name="
|
|
463
|
-
<div class="line"><a name="
|
|
464
|
-
<div class="line"><a name="
|
|
465
|
-
<div class="line"><a name="
|
|
466
|
-
<div class="line"><a name="
|
|
467
|
-
<div class="line"><a name="
|
|
468
|
-
<div class="line"><a name="
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
471
|
-
<div class="line"><a name="
|
|
472
|
-
<div class="line"><a name="
|
|
473
|
-
<div class="line"><a name="
|
|
474
|
-
<div class="line"><a name="
|
|
475
|
-
<div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="
|
|
477
|
-
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
|
|
418
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">printExprValues</a>(std::ostream &oss) <span class="keyword">const override</span>;</div>
|
|
419
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  </div>
|
|
420
|
+
<div class="line"><a name="l00375"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a"> 375</a></span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">toString</a>()<span class="keyword"> const override</span></div>
|
|
421
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span> <span class="keyword"> </span>{</div>
|
|
422
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <span class="keywordflow">return</span> <span class="stringliteral">""</span>;</div>
|
|
423
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  }</div>
|
|
424
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  </div>
|
|
425
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">equals</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &other) <span class="keyword">const</span>;</div>
|
|
426
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  </div>
|
|
427
|
+
<div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457"> 382</a></span>  <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">eqVarToValMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &rhs)</div>
|
|
428
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div>
|
|
429
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">if</span> (lhs.size() != rhs.size()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
430
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: lhs)</div>
|
|
431
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div>
|
|
432
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
|
|
433
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">if</span> (it == rhs.end())</div>
|
|
434
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
435
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">if</span> (!<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.equals(it->second))</div>
|
|
436
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  {</div>
|
|
437
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
438
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  }</div>
|
|
439
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  }</div>
|
|
440
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
441
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  }</div>
|
|
442
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  </div>
|
|
443
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  </div>
|
|
444
|
+
<div class="line"><a name="l00399"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890"> 399</a></span>  <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">lessThanVarToValMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &rhs)</div>
|
|
445
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  {</div>
|
|
446
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <span class="keywordflow">if</span> (lhs.empty()) <span class="keywordflow">return</span> !rhs.empty();</div>
|
|
447
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: lhs)</div>
|
|
448
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  {</div>
|
|
449
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
|
|
450
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <span class="keywordflow">if</span> (it == rhs.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
451
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  <span class="comment">// judge from expr id</span></div>
|
|
452
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.geq(it->second)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
453
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  }</div>
|
|
454
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
455
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  </div>
|
|
457
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="comment">// lhs >= rhs</span></div>
|
|
458
|
+
<div class="line"><a name="l00413"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb"> 413</a></span>  <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">geqVarToValMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &rhs)</div>
|
|
459
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  {</div>
|
|
460
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">if</span> (rhs.empty()) <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
461
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: rhs)</div>
|
|
462
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  {</div>
|
|
463
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keyword">auto</span> it = lhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
|
|
464
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <span class="keywordflow">if</span> (it == lhs.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
465
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <span class="comment">// judge from expr id</span></div>
|
|
466
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <span class="keywordflow">if</span> (!it->second.geq(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
467
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  }</div>
|
|
468
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
469
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  }</div>
|
|
470
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  </div>
|
|
471
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  <span class="keyword">using</span> ExeState::operator==;</div>
|
|
472
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <span class="keyword">using</span> ExeState::operator!=;</div>
|
|
473
|
+
<div class="line"><a name="l00428"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3"> 428</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs)<span class="keyword"> const</span></div>
|
|
474
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span> <span class="keyword"> </span>{</div>
|
|
475
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">ExeState::operator==</a>(rhs) && <a class="code" href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">eqVarToValMap</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>, rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">getVarToVal</a>()) &&</div>
|
|
476
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">eqVarToValMap</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>, rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">getLocToVal</a>());</div>
|
|
478
477
|
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  }</div>
|
|
479
478
|
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  </div>
|
|
480
|
-
<div class="line"><a name="l00434"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#
|
|
479
|
+
<div class="line"><a name="l00434"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1"> 434</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs)<span class="keyword"> const</span></div>
|
|
481
480
|
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span> <span class="keyword"> </span>{</div>
|
|
482
|
-
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span>
|
|
481
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
|
|
483
482
|
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div>
|
|
484
483
|
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  </div>
|
|
485
|
-
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  </div>
|
|
486
|
-
<div class="line"><a name="l00440"></a><span class="lineno"
|
|
487
|
-
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span> 
|
|
488
|
-
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span> 
|
|
489
|
-
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span> 
|
|
484
|
+
<div class="line"><a name="l00439"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58"> 439</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">operator<</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs)<span class="keyword"> const</span></div>
|
|
485
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span> <span class="keyword"> </span>{</div>
|
|
486
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span> >= rhs);</div>
|
|
487
|
+
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  }</div>
|
|
488
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  </div>
|
|
490
489
|
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  </div>
|
|
491
|
-
<div class="line"><a name="l00445"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#
|
|
492
|
-
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span> 
|
|
493
|
-
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a
|
|
494
|
-
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> 
|
|
495
|
-
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span> 
|
|
496
|
-
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span> 
|
|
497
|
-
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span> 
|
|
498
|
-
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  </div>
|
|
499
|
-
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  </div>
|
|
500
|
-
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> 
|
|
501
|
-
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span> 
|
|
502
|
-
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span> 
|
|
503
|
-
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> 
|
|
504
|
-
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span> 
|
|
505
|
-
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> 
|
|
506
|
-
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  </div>
|
|
507
|
-
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span> 
|
|
508
|
-
<div class="line"><a name="l00462"></a><span class="lineno"
|
|
509
|
-
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span> 
|
|
510
|
-
<div class="line"><a name="l00464"></a><span class="lineno"
|
|
511
|
-
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span> 
|
|
512
|
-
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span> 
|
|
513
|
-
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> 
|
|
514
|
-
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> 
|
|
515
|
-
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  </div>
|
|
516
|
-
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> <span class="
|
|
490
|
+
<div class="line"><a name="l00445"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f"> 445</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">operator>=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &rhs)<span class="keyword"> const</span></div>
|
|
491
|
+
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span> <span class="keyword"> </span>{</div>
|
|
492
|
+
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">geqVarToValMap</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>, rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">getVarToVal</a>()) && <a class="code" href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">geqVarToValMap</a>(<a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>, rhs.<a class="code" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">getLocToVal</a>());</div>
|
|
493
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  }</div>
|
|
494
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  </div>
|
|
495
|
+
<div class="line"><a name="l00450"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375"> 450</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375">clear</a>()</div>
|
|
496
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  {</div>
|
|
497
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a>.clear();</div>
|
|
498
|
+
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a>.clear();</div>
|
|
499
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.clear();</div>
|
|
500
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.clear();</div>
|
|
501
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  }</div>
|
|
502
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  </div>
|
|
503
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  </div>
|
|
504
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> <span class="keyword">private</span>:</div>
|
|
505
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">printTable</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> &table, std::ostream &oss) <span class="keyword">const</span>;</div>
|
|
506
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  </div>
|
|
507
|
+
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">printTable</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &table, std::ostream &oss) <span class="keyword">const</span>;</div>
|
|
508
|
+
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span> };</div>
|
|
509
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span> }</div>
|
|
510
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  </div>
|
|
511
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span> <span class="keyword">template</span><></div>
|
|
512
|
+
<div class="line"><a name="l00467"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html"> 467</a></span> <span class="keyword">struct </span>std::hash<<a class="code" href="namespaceSVF.html">SVF</a>::IntervalExeState></div>
|
|
513
|
+
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> {</div>
|
|
514
|
+
<div class="line"><a name="l00469"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5"> 469</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5">operator()</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a> &exeState)<span class="keyword"> const</span></div>
|
|
515
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> <span class="keyword"> </span>{</div>
|
|
516
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  <span class="keywordflow">return</span> exeState.<a class="code" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>();</div>
|
|
517
|
+
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  }</div>
|
|
518
|
+
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span> };</div>
|
|
519
|
+
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span>  </div>
|
|
520
|
+
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span> <span class="preprocessor">#endif //Z3_EXAMPLE_INTERVAL_DOMAIN_H</span></div>
|
|
517
521
|
</div><!-- fragment --></div><!-- contents -->
|
|
518
|
-
<div class="ttc" id="
|
|
519
|
-
<div class="ttc" id="
|
|
522
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aba57b0f3c813c47c1b69915f145efbd6"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6">SVF::IntervalExeState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00185">IntervalExeState.h:185</a></div></div>
|
|
523
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a92b846d3cd77ab12a35cb81815e22ee3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState::operator==</a></div><div class="ttdeci">bool operator==(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00428">IntervalExeState.h:428</a></div></div>
|
|
524
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7420a7637b62d451babadb852c9c2ac2"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">SVF::IntervalExeState::operator[]</a></div><div class="ttdeci">IntervalValue & operator[](u32_t varId)</div><div class="ttdoc">get interval value of variable</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00166">IntervalExeState.h:166</a></div></div>
|
|
525
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a056e0db56033ac4dc041e6d82d614dbd"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">SVF::IntervalExeState::getAddrs</a></div><div class="ttdeci">Addrs & getAddrs(u32_t id) override</div><div class="ttdoc">get memory addresses of variable</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00156">IntervalExeState.h:156</a></div></div>
|
|
520
526
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3b95a08fa7b123549e732819d9371946"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">SVF::IntervalExeState::LocToValMap</a></div><div class="ttdeci">VarToValMap LocToValMap</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00062">IntervalExeState.h:62</a></div></div>
|
|
521
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa4acf1e8ae7571f527047e36b77dfb58"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState::operator<</a></div><div class="ttdeci">bool operator<(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
522
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a73d2e475625f5b9204cdecb94381c558"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">SVF::IntervalExeState::createIntervalValue</a></div><div class="ttdeci">IntervalValue createIntervalValue(double lb, double ub, NodeID id)</div><div class="ttdoc">TODO: Create new interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
527
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa4acf1e8ae7571f527047e36b77dfb58"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState::operator<</a></div><div class="ttdeci">bool operator<(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00439">IntervalExeState.h:439</a></div></div>
|
|
528
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a73d2e475625f5b9204cdecb94381c558"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">SVF::IntervalExeState::createIntervalValue</a></div><div class="ttdeci">IntervalValue createIntervalValue(double lb, double ub, NodeID id)</div><div class="ttdoc">TODO: Create new interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00271">IntervalExeState.h:271</a></div></div>
|
|
523
529
|
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
|
|
530
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_a09f34aca79479221305769cae307feef"><div class="ttname"><a href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState::VarToAddrs</a></div><div class="ttdeci">Map< u32_t, Addrs > VarToAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</a></div></div>
|
|
524
531
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral & lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00218">IntervalValue.h:218</a></div></div>
|
|
525
532
|
<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>
|
|
526
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac3a30689d2918b7db8bb6b640322f457"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">SVF::IntervalExeState::eqVarToValMap</a></div><div class="ttdeci">static bool eqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
533
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac3a30689d2918b7db8bb6b640322f457"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">SVF::IntervalExeState::eqVarToValMap</a></div><div class="ttdeci">static bool eqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00382">IntervalExeState.h:382</a></div></div>
|
|
527
534
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_acfbe4dbb85e802a0456b7223a26280d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">SVF::IntervalExeState::widenWith</a></div><div class="ttdeci">void widenWith(const IntervalExeState &other)</div><div class="ttdoc">domain widen with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00097">IntervalExeState.cpp:97</a></div></div>
|
|
528
|
-
<div class="ttc" id="aclassSVF_1_1ExeState_html_abfaad70395d9f4416f297887c84f7df4"><div class="ttname"><a href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">SVF::ExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#
|
|
529
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a65be64fc3b46b3d8e0c22d8a478df5cb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState::store</a></div><div class="ttdeci">void store(u32_t addr, const IntervalValue &val)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
530
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ae28249f952e1aa620b23e946a1f209ab"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">SVF::IntervalExeState::load</a></div><div class="ttdeci">IntervalValue & load(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
531
|
-
<div class="ttc" id="aclassSVF_1_1ExeState_html_a69895af213955ea1ba29812bfddcea66"><div class="ttname"><a href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState::_varToVAddrs</a></div><div class="ttdeci">VarToVAddrs _varToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00172">ExeState.h:172</a></div></div>
|
|
535
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_abfaad70395d9f4416f297887c84f7df4"><div class="ttname"><a href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">SVF::ExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00277">ExeState.h:277</a></div></div>
|
|
536
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a65be64fc3b46b3d8e0c22d8a478df5cb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState::store</a></div><div class="ttdeci">void store(u32_t addr, const IntervalValue &val)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00300">IntervalExeState.h:300</a></div></div>
|
|
537
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ae28249f952e1aa620b23e946a1f209ab"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">SVF::IntervalExeState::load</a></div><div class="ttdeci">IntervalValue & load(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00308">IntervalExeState.h:308</a></div></div>
|
|
532
538
|
<div class="ttc" id="aExeState_8h_html"><div class="ttname"><a href="ExeState_8h.html">ExeState.h</a></div></div>
|
|
533
|
-
<div class="ttc" id="
|
|
534
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4723715a8d9be3021b39082432d99375"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375">SVF::IntervalExeState::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
535
|
-
<div class="ttc" id="
|
|
536
|
-
<div class="ttc" id="
|
|
537
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00133">IntervalExeState.h:133</a></div></div>
|
|
539
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a6fdad70e3a0b39e146f0b93f24f055c6"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">SVF::IntervalExeState::inLocalLocToValTable</a></div><div class="ttdeci">bool inLocalLocToValTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00217">IntervalExeState.h:217</a></div></div>
|
|
540
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4723715a8d9be3021b39082432d99375"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375">SVF::IntervalExeState::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00450">IntervalExeState.h:450</a></div></div>
|
|
541
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac1272649c1549d0d942941bd8f4c4b41"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(IntervalExeState &&rhs)</div><div class="ttdoc">move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00096">IntervalExeState.h:96</a></div></div>
|
|
542
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00127">IntervalExeState.h:127</a></div></div>
|
|
538
543
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00041">SVFIR2ItvExeState.h:41</a></div></div>
|
|
539
544
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
540
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">
|
|
545
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">Map a memory address to its stored interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00151">IntervalExeState.h:151</a></div></div>
|
|
541
546
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
542
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7129d3e1901c527f7c4876cb1c54a890"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">SVF::IntervalExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
547
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7129d3e1901c527f7c4876cb1c54a890"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">SVF::IntervalExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00399">IntervalExeState.h:399</a></div></div>
|
|
543
548
|
<div class="ttc" id="aclassSVF_1_1ExeState_html"><div class="ttname"><a href="classSVF_1_1ExeState.html">SVF::ExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00046">ExeState.h:46</a></div></div>
|
|
544
549
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3d6ccddf8ecfbd7b6348f8c441cceab9"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">SVF::IntervalExeState::narrowWith</a></div><div class="ttdeci">void narrowWith(const IntervalExeState &other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00146">IntervalExeState.cpp:146</a></div></div>
|
|
545
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a781dc413b32c33e1c0fd5154d2c50654"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(const IntervalExeState &rhs)</div><div class="ttdoc">copy constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
550
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a781dc413b32c33e1c0fd5154d2c50654"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(const IntervalExeState &rhs)</div><div class="ttdoc">copy constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00075">IntervalExeState.h:75</a></div></div>
|
|
546
551
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a69f5125f14b129607fafb3717160f4c1"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">SVF::IntervalExeState::equals</a></div><div class="ttdeci">bool equals(const IntervalExeState &other) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00037">IntervalExeState.cpp:37</a></div></div>
|
|
547
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac3969ddc15f3bd675d5a352dfd9b9bf7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState & operator=(IntervalExeState &&rhs)</div><div class="ttdoc">operator= move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
548
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a6a8c6bbff583ccd71453af5de884df89"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89">SVF::IntervalExeState::has_bottom</a></div><div class="ttdeci">bool has_bottom()</div><div class="ttdoc">Return true if map has bottom value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
549
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac72e3ae77e06e0dfc7c2edd2bf765d77"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState::_varToItvVal</a></div><div class="ttdeci">VarToValMap _varToItvVal</div><div class="ttdoc">
|
|
550
|
-
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4_html_ae21394a2b8076439d48a118ff5b623a5"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5">std::hash< SVF::IntervalExeState >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::IntervalExeState &exeState) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
551
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ae0d4b22023ce63327f55484cffb051cf"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">SVF::IntervalExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap & getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
552
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac3969ddc15f3bd675d5a352dfd9b9bf7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState & operator=(IntervalExeState &&rhs)</div><div class="ttdoc">operator= move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00104">IntervalExeState.h:104</a></div></div>
|
|
553
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a6a8c6bbff583ccd71453af5de884df89"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89">SVF::IntervalExeState::has_bottom</a></div><div class="ttdeci">bool has_bottom()</div><div class="ttdoc">Return true if map has bottom value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00278">IntervalExeState.h:278</a></div></div>
|
|
554
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac72e3ae77e06e0dfc7c2edd2bf765d77"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState::_varToItvVal</a></div><div class="ttdeci">VarToValMap _varToItvVal</div><div class="ttdoc">Map a variable (symbol) to its interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00150">IntervalExeState.h:150</a></div></div>
|
|
555
|
+
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4_html_ae21394a2b8076439d48a118ff5b623a5"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5">std::hash< SVF::IntervalExeState >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::IntervalExeState &exeState) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00469">IntervalExeState.h:469</a></div></div>
|
|
556
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ae0d4b22023ce63327f55484cffb051cf"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">SVF::IntervalExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap & getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00212">IntervalExeState.h:212</a></div></div>
|
|
552
557
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00055">IntervalExeState.h:55</a></div></div>
|
|
553
558
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a92b1b163493a74a31d30a261128edd05"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState::globalES</a></div><div class="ttdeci">static IntervalExeState globalES</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00064">IntervalExeState.h:64</a></div></div>
|
|
554
559
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
|
|
555
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_af61110c081ca71f9348e8dfff5aa76e4"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
560
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_af61110c081ca71f9348e8dfff5aa76e4"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00192">IntervalExeState.h:192</a></div></div>
|
|
556
561
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a0e4c8a41aa861ff2862d8b620c902f21"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::operator==</a></div><div class="ttdeci">virtual bool operator==(const ExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00035">ExeState.cpp:35</a></div></div>
|
|
562
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab2ca8fade3399ebbffd3cc32e52604d5"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab2ca8fade3399ebbffd3cc32e52604d5">SVF::IntervalExeState::getLocAddrs</a></div><div class="ttdeci">Addrs & getLocAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00357">IntervalExeState.h:357</a></div></div>
|
|
563
|
+
<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>
|
|
557
564
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a85b0e711160d67ea84f426025b980dce"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState::hash</a></div><div class="ttdeci">u32_t hash() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00042">IntervalExeState.cpp:42</a></div></div>
|
|
558
565
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a46ef74cd1412790b088f1d7320f57a9f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState::joinWith</a></div><div class="ttdeci">void joinWith(const IntervalExeState &other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00114">IntervalExeState.cpp:114</a></div></div>
|
|
559
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5803940144915a922af7ddef09fb23c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(VarToValMap &_varToValMap, LocToValMap &_locToValMap)</div><div class="
|
|
560
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
566
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5803940144915a922af7ddef09fb23c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(VarToValMap &_varToValMap, LocToValMap &_locToValMap)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00070">IntervalExeState.h:70</a></div></div>
|
|
567
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00116">IntervalExeState.h:116</a></div></div>
|
|
561
568
|
<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>
|
|
562
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a653efb144c1f508a91142540b9023de3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a653efb144c1f508a91142540b9023de3">SVF::IntervalExeState::getLocToItv</a></div><div class="ttdeci">IntervalValue & getLocToItv(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00339">IntervalExeState.h:339</a></div></div>
|
|
563
569
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_abc8edb74e55f40dbc7bb5182d4ef1199"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState::widening</a></div><div class="ttdeci">IntervalExeState widening(const IntervalExeState &other)</div><div class="ttdoc">domain widen with other, and return the widened domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00059">IntervalExeState.cpp:59</a></div></div>
|
|
564
570
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa6adb9becbc2541198708823e3e35c9d"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState::printExprValues</a></div><div class="ttdeci">void printExprValues(std::ostream &oss) const override</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00189">IntervalExeState.cpp:189</a></div></div>
|
|
565
|
-
<div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#
|
|
566
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5ca48cf99bb54008d824d8c475c450f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState & operator=(const IntervalExeState &rhs)</div><div class="
|
|
571
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00283">ExeState.h:283</a></div></div>
|
|
572
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5ca48cf99bb54008d824d8c475c450f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState & operator=(const IntervalExeState &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00084">IntervalExeState.h:84</a></div></div>
|
|
567
573
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
568
|
-
<div class="ttc" id="
|
|
569
|
-
<div class="ttc" id="
|
|
570
|
-
<div class="ttc" id="
|
|
571
|
-
<div class="ttc" id="
|
|
572
|
-
<div class="ttc" id="
|
|
573
|
-
<div class="ttc" id="
|
|
574
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_adce87f96e58b25bd6ff046e6608f4d2c"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState()</div><div class="ttdoc">default constructor, default pc is true</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00075">IntervalExeState.h:75</a></div></div>
|
|
574
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a052d677fb5ee940ed0686f3d67d10d19"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">SVF::IntervalExeState::cpyItvToLocal</a></div><div class="ttdeci">void cpyItvToLocal(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00229">IntervalExeState.h:229</a></div></div>
|
|
575
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a637a9c0f06b57e16a7f1afdd25df897f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">SVF::IntervalExeState::operator>=</a></div><div class="ttdeci">bool operator>=(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00445">IntervalExeState.h:445</a></div></div>
|
|
576
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap & getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00206">IntervalExeState.h:206</a></div></div>
|
|
577
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a12fe65f05dfe7a01e771e0b9990faba8"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8">SVF::IntervalExeState::Interval2NumValue</a></div><div class="ttdeci">s32_t Interval2NumValue(const IntervalValue &e) const</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="IntervalExeState_8h_source.html#l00264">IntervalExeState.h:264</a></div></div>
|
|
578
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_af278d2193ba8931cce4cf5398cc33b02"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02">SVF::IntervalExeState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t id) const</div><div class="ttdoc">whether the memory address stores interval value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00199">IntervalExeState.h:199</a></div></div>
|
|
579
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_adce87f96e58b25bd6ff046e6608f4d2c"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState()</div><div class="ttdoc">default constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00068">IntervalExeState.h:68</a></div></div>
|
|
575
580
|
<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>
|
|
576
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a884199a26d43d09bc7e33369fceb8274"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274">SVF::IntervalExeState::inVarToIValTable</a></div><div class="ttdeci">bool inVarToIValTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00163">IntervalExeState.h:163</a></div></div>
|
|
577
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aea4e2221b11824ac6b37667ac0bf25f3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aea4e2221b11824ac6b37667ac0bf25f3">SVF::IntervalExeState::getLocVAddrs</a></div><div class="ttdeci">VAddrs & getLocVAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00354">IntervalExeState.h:354</a></div></div>
|
|
578
581
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
579
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aeac953e77360627da7426b2619d509cc"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc">SVF::IntervalExeState::inLocToIValTable</a></div><div class="ttdeci">bool inLocToIValTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00175">IntervalExeState.h:175</a></div></div>
|
|
580
582
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a1e8f41b502167283ccb87bd128f232bc"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState::narrowing</a></div><div class="ttdeci">IntervalExeState narrowing(const IntervalExeState &other)</div><div class="ttdoc">domain narrow with other, and return the narrowed domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00077">IntervalExeState.cpp:77</a></div></div>
|
|
583
|
+
<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>
|
|
581
584
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_aebeb2054a8118fd33df9fef31bacda03"><div class="ttname"><a href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a></div><div class="ttdeci">ExeState & operator=(const ExeState &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00073">ExeState.h:73</a></div></div>
|
|
582
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad485a35730353c0e945bc84a034d9e45"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
583
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a182ec2709e8c92b8bd29ba809bd3d1f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7">SVF::IntervalExeState::sliceState</a></div><div class="ttdeci">IntervalExeState sliceState(Set< u32_t > &sl)</div><div class="ttdoc">Copy some values and return a new IntervalExeState.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
585
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad485a35730353c0e945bc84a034d9e45"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00178">IntervalExeState.h:178</a></div></div>
|
|
586
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a182ec2709e8c92b8bd29ba809bd3d1f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7">SVF::IntervalExeState::sliceState</a></div><div class="ttdeci">IntervalExeState sliceState(Set< u32_t > &sl)</div><div class="ttdoc">Copy some values and return a new IntervalExeState.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00138">IntervalExeState.h:138</a></div></div>
|
|
584
587
|
<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>
|
|
585
588
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_abf57a44b95108e255242f630ba33f37b"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">SVF::IntervalExeState::printTable</a></div><div class="ttdeci">void printTable(const VarToValMap &table, std::ostream &oss) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00199">IntervalExeState.cpp:199</a></div></div>
|
|
586
589
|
<div class="ttc" id="aIntervalValue_8h_html"><div class="ttname"><a href="IntervalValue_8h.html">IntervalValue.h</a></div></div>
|
|
587
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad4cbc6543ffe3e663deea4736470bfc1"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">SVF::IntervalExeState::operator!=</a></div><div class="ttdeci">bool operator!=(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
590
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad4cbc6543ffe3e663deea4736470bfc1"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">SVF::IntervalExeState::operator!=</a></div><div class="ttdeci">bool operator!=(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00434">IntervalExeState.h:434</a></div></div>
|
|
591
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad17ceaf8058043151ae0f23b3415458a"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState::loadAddrs</a></div><div class="ttdeci">Addrs & loadAddrs(u32_t addr) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00325">IntervalExeState.h:325</a></div></div>
|
|
588
592
|
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
|
|
589
|
-
<div class="ttc" id="
|
|
593
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7c116401ebfd4e0947f5be6a61d1edcc"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7c116401ebfd4e0947f5be6a61d1edcc">SVF::IntervalExeState::getLocToVal</a></div><div class="ttdeci">IntervalValue & getLocToVal(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00342">IntervalExeState.h:342</a></div></div>
|
|
594
|
+
<div class="ttc" id="aclassSVF_1_1ExeState_html_a8edd5f30ab971ce893ffdb39d8b6a265"><div class="ttname"><a href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">SVF::ExeState::isNullPtr</a></div><div class="ttdeci">bool isNullPtr(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00169">ExeState.h:169</a></div></div>
|
|
590
595
|
<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>
|
|
591
596
|
<div class="ttc" id="aZ3Expr_8h_html"><div class="ttname"><a href="Z3Expr_8h.html">Z3Expr.h</a></div></div>
|
|
592
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3a8f8b09df0befa318cbcd43d191d37a"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">SVF::IntervalExeState::toString</a></div><div class="ttdeci">std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
597
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3a8f8b09df0befa318cbcd43d191d37a"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">SVF::IntervalExeState::toString</a></div><div class="ttdeci">std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00375">IntervalExeState.h:375</a></div></div>
|
|
593
598
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">SVF::ExeState::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00057">ExeState.h:57</a></div></div>
|
|
594
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a36e15d9d95908b74fcf321e30a9cdebe"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">SVF::IntervalExeState::getVAddrs</a></div><div class="ttdeci">VAddrs & getVAddrs(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00154">IntervalExeState.h:154</a></div></div>
|
|
595
599
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a1e5d399b2111d9b8ed17f790cab12d5d"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">SVF::IntervalExeState::meetWith</a></div><div class="ttdeci">void meetWith(const IntervalExeState &other)</div><div class="ttdoc">domain meet with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00165">IntervalExeState.cpp:165</a></div></div>
|
|
596
600
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ae2b12e4add0714aa861f790864e098ff"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">SVF::IntervalExeState::VarToValMap</a></div><div class="ttdeci">Map< u32_t, IntervalValue > VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00060">IntervalExeState.h:60</a></div></div>
|
|
597
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a695fcc1ffc4a0fab83cc65ee755eebcb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">SVF::IntervalExeState::geqVarToValMap</a></div><div class="ttdeci">static bool geqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
598
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad675e973daeb7d366cf7e3cd3c0b13fb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">SVF::IntervalExeState::inLocalLocToAddrsTable</a></div><div class="ttdeci">bool inLocalLocToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
601
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a695fcc1ffc4a0fab83cc65ee755eebcb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">SVF::IntervalExeState::geqVarToValMap</a></div><div class="ttdeci">static bool geqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00413">IntervalExeState.h:413</a></div></div>
|
|
602
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad675e973daeb7d366cf7e3cd3c0b13fb"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">SVF::IntervalExeState::inLocalLocToAddrsTable</a></div><div class="ttdeci">bool inLocalLocToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00222">IntervalExeState.h:222</a></div></div>
|
|
599
603
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a9e6006e0f0a4039cf65f9e79be6eea49"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a9e6006e0f0a4039cf65f9e79be6eea49">SVF::IntervalExeState::~IntervalExeState</a></div><div class="ttdeci">virtual ~IntervalExeState()=default</div></div>
|
|
600
604
|
<!-- start footer part -->
|
|
601
605
|
<hr class="footer"/><address class="footer"><small>
|