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
|
@@ -73,89 +73,89 @@ $(function() {
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a>, including all inherited members.</p>
|
|
74
74
|
<table class="directory">
|
|
75
75
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
76
|
-
<tr><td class="entry"><a class="el" href="
|
|
77
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
78
|
-
<tr><td class="entry"><a class="el" href="
|
|
79
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
80
|
-
<tr><td class="entry"><a class="el" href="
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">_locToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
78
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">_varToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">bottom</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">cpyItvToLocal</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">createIntervalValue</a>(double lb, double ub, NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">equals</a>(const IntervalExeState &other) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState::equals</a>(const ExeState *other) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">eqVarToAddrs</a>(const VarToAddrs &lhs, const VarToAddrs &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457">eqVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">ExeState</a>(ExeState_TYPE kind)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(const ExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">ExeState</a>(ExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a695fcc1ffc4a0fab83cc65ee755eebcb">geqVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
93
95
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
94
96
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">getExeStateKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
95
97
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ab2ca8fade3399ebbffd3cc32e52604d5">getLocAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
98
100
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
100
|
-
<tr><td class="entry"><a class="el" href="
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
102
|
-
<tr><td class="entry"><a class="el" href="
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
104
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
106
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
108
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
116
|
-
<tr><td class="entry"><a class="el" href="
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
118
|
-
<tr><td class="entry"><a class="el" href="
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
120
|
-
<tr><td class="entry"><a class="el" href="
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
122
|
-
<tr><td class="entry"><a class="el" href="
|
|
123
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
124
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
126
|
-
<tr><td class="entry"><a class="el" href="
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
128
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
130
|
-
<tr><td class="entry"><a class="el" href="
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
134
|
-
<tr><td class="entry"><a class="el" href="
|
|
135
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
136
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
138
|
-
<tr><td class="entry"><a class="el" href="
|
|
139
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
140
|
-
<tr><td class="entry"><a class="el" href="
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
142
|
-
<tr><td class="entry"><a class="el" href="
|
|
143
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
144
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
145
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
146
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
148
|
-
<tr><td class="entry"><a class="el" href="
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
150
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
152
|
-
<tr><td class="entry"><a class="el" href="
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
154
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
155
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
156
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a7c116401ebfd4e0947f5be6a61d1edcc">getLocToVal</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
105
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89">has_bottom</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">inLocalLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">inLocalLocToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">inLocToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02">inLocToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8">Interval2NumValue</a>(const IntervalValue &e) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">IntervalExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0">IntervalExeState</a>(VarToValMap &_varToValMap, LocToValMap &_locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654">IntervalExeState</a>(const IntervalExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41">IntervalExeState</a>(IntervalExeState &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">inVarToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6">inVarToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">joinWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::joinWith</a>(const ExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">lessThanVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">loadAddrs</a>(u32_t addr) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">locToAddrs</a>(u32_t objId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">meetWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3cadadfd8c2ce6251855f1aa5f2ac8ce">meetWith</a>(VarToValMap *other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">SVF::ExeState::meetWith</a>(const ExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">narrowing</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">narrowWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">operator!=</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
135
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState::operator!=</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
137
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">operator<</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">operator=</a>(const IntervalExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7">operator=</a>(IntervalExeState &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a>(const ExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f">SVF::ExeState::operator=</a>(ExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
142
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">operator==</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
143
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::operator==</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
145
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">operator>=</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">operator[]</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">printExprValues</a>(std::ostream &oss) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">printTable</a>(const VarToValMap &table, std::ostream &oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a4d22ccce6915c9fe8238e20433b9d5b8">printTable</a>(const VarToAddrs &table, std::ostream &oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SingleValueK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7">sliceState</a>(Set< u32_t > &sl)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">store</a>(u32_t addr, const IntervalValue &val)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
153
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">storeAddrs</a>(u32_t addr, const Addrs &vaddrs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
154
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
155
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">top</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
156
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
157
157
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
158
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
159
159
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
160
160
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">widening</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
161
161
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">widenWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|