svf-tools 1.0.781 → 1.0.783
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/CDG_8h.html +2 -2
- package/SVF-doxygen/html/html/CDG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +152 -90
- package/SVF-doxygen/html/html/CFBasicBlockG_8h.html +3 -1
- package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +601 -260
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ExtAPI_8cpp.html +50 -50
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +180 -181
- package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +13 -13
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/html/WTO_8h_source.html +6 -6
- package/SVF-doxygen/html/html/annotated.html +325 -333
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html +19 -12
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html +219 -30
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html +147 -39
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -28
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph.html +382 -184
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode-members.html +51 -41
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1244 -159
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +65 -25
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +107 -107
- package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classes.html +266 -276
- package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +0 -2
- package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +0 -2
- package/SVF-doxygen/html/html/files.html +19 -21
- package/SVF-doxygen/html/html/functions.html +2 -33
- package/SVF-doxygen/html/html/functions_a.html +14 -16
- package/SVF-doxygen/html/html/functions_b.html +8 -9
- package/SVF-doxygen/html/html/functions_c.html +34 -31
- package/SVF-doxygen/html/html/functions_d.html +11 -13
- package/SVF-doxygen/html/html/functions_e.html +1 -1
- package/SVF-doxygen/html/html/functions_func.html +16 -18
- package/SVF-doxygen/html/html/functions_func_b.html +2 -3
- package/SVF-doxygen/html/html/functions_func_c.html +31 -31
- package/SVF-doxygen/html/html/functions_func_d.html +10 -12
- package/SVF-doxygen/html/html/functions_func_g.html +22 -59
- package/SVF-doxygen/html/html/functions_func_h.html +9 -12
- package/SVF-doxygen/html/html/functions_func_i.html +13 -26
- package/SVF-doxygen/html/html/functions_func_o.html +9 -9
- package/SVF-doxygen/html/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/html/functions_func_r.html +15 -15
- package/SVF-doxygen/html/html/functions_func_s.html +20 -29
- package/SVF-doxygen/html/html/functions_func_t.html +0 -2
- package/SVF-doxygen/html/html/functions_func_v.html +2 -3
- package/SVF-doxygen/html/html/functions_func_~.html +0 -12
- package/SVF-doxygen/html/html/functions_g.html +23 -60
- package/SVF-doxygen/html/html/functions_h.html +9 -12
- package/SVF-doxygen/html/html/functions_i.html +16 -44
- package/SVF-doxygen/html/html/functions_n.html +6 -8
- package/SVF-doxygen/html/html/functions_o.html +23 -27
- package/SVF-doxygen/html/html/functions_p.html +8 -12
- package/SVF-doxygen/html/html/functions_r.html +17 -17
- package/SVF-doxygen/html/html/functions_s.html +16 -33
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_type_c.html +6 -3
- package/SVF-doxygen/html/html/functions_type_e.html +1 -1
- package/SVF-doxygen/html/html/functions_type_i.html +3 -18
- package/SVF-doxygen/html/html/functions_type_n.html +0 -2
- package/SVF-doxygen/html/html/functions_type_s.html +0 -6
- package/SVF-doxygen/html/html/functions_v.html +4 -5
- package/SVF-doxygen/html/html/functions_vars.html +2 -33
- package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
- package/SVF-doxygen/html/html/functions_w.html +8 -8
- package/SVF-doxygen/html/html/functions_~.html +0 -12
- package/SVF-doxygen/html/html/globals_d.html +2 -2
- package/SVF-doxygen/html/html/globals_defs.html +2 -2
- package/SVF-doxygen/html/html/hierarchy.html +458 -469
- package/SVF-doxygen/html/html/namespaceSVF.html +7 -78
- package/SVF-doxygen/html/html/namespacemembers_g.html +3 -12
- package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -9
- package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +137 -147
- package/SVF-doxygen/html/html/search/all_1.js +484 -485
- package/SVF-doxygen/html/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/html/search/all_12.js +541 -546
- package/SVF-doxygen/html/html/search/all_13.js +190 -190
- package/SVF-doxygen/html/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/html/search/all_1a.js +172 -176
- package/SVF-doxygen/html/html/search/all_2.js +167 -167
- package/SVF-doxygen/html/html/search/all_3.js +640 -639
- package/SVF-doxygen/html/html/search/all_4.js +233 -234
- package/SVF-doxygen/html/html/search/all_5.js +121 -120
- package/SVF-doxygen/html/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/html/search/all_7.js +1037 -1056
- package/SVF-doxygen/html/html/search/all_8.js +194 -195
- package/SVF-doxygen/html/html/search/all_9.js +607 -617
- package/SVF-doxygen/html/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/html/search/classes_3.js +37 -38
- package/SVF-doxygen/html/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +104 -110
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -60
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -16
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/html/search/functions_1.js +356 -357
- package/SVF-doxygen/html/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/html/search/functions_12.js +276 -279
- package/SVF-doxygen/html/html/search/functions_13.js +58 -58
- package/SVF-doxygen/html/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/html/search/functions_18.js +172 -176
- package/SVF-doxygen/html/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/html/search/functions_7.js +848 -858
- package/SVF-doxygen/html/html/search/functions_8.js +146 -147
- package/SVF-doxygen/html/html/search/functions_9.js +425 -429
- package/SVF-doxygen/html/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/html/search/typedefs_10.js +61 -63
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +129 -128
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +55 -58
- package/SVF-doxygen/html/html/search/typedefs_7.js +42 -46
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +152 -162
- package/SVF-doxygen/html/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +37 -37
- package/SVF-doxygen/html/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html +84 -0
- package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html +144 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
- package/package.json +1 -1
- package/svf/include/Graphs/CFBasicBlockG.h +342 -32
- package/svf/include/Util/ExtAPI.h +2 -2
- package/svf/lib/Graphs/CFBasicBlockG.cpp +97 -36
- package/svf/lib/Util/ExtAPI.cpp +14 -15
- package/svf/include/Graphs/ICFGWrapper.h +0 -728
- package/svf/lib/Graphs/ICFGWrapper.cpp +0 -97
|
@@ -109,8 +109,8 @@ Static Public Member Functions</h2></td></tr>
|
|
|
109
109
|
<tr class="separator:a58a764c27354d5f9b70995d30de65f1d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
110
|
<tr class="memitem:abe3e0e2500532acfc01cee7e2ce1cd90"><td class="memItemLeft" align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">destory</a> ()</td></tr>
|
|
111
111
|
<tr class="separator:abe3e0e2500532acfc01cee7e2ce1cd90"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
|
-
<tr class="memitem:
|
|
113
|
-
<tr class="separator:
|
|
112
|
+
<tr class="memitem:ac0dc697b93f41b1e094a9be8baf4a103"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">setExtBcPath</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &path)</td></tr>
|
|
113
|
+
<tr class="separator:ac0dc697b93f41b1e094a9be8baf4a103"><td class="memSeparator" colspan="2"> </td></tr>
|
|
114
114
|
</table><table class="memberdecls">
|
|
115
115
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
|
|
116
116
|
Private Member Functions</h2></td></tr>
|
|
@@ -204,20 +204,20 @@ Static Private Attributes</h2></td></tr>
|
|
|
204
204
|
</table>
|
|
205
205
|
</div><div class="memdoc">
|
|
206
206
|
|
|
207
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
208
|
-
<div class="fragment"><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="
|
|
217
|
-
<div class="line"><a name="
|
|
218
|
-
<div class="line"><a name="
|
|
219
|
-
<div class="line"><a name="
|
|
220
|
-
<div class="line"><a name="
|
|
207
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00197">197</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
208
|
+
<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span> {</div>
|
|
209
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> allocArg = <a class="code" href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">getExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"ALLOC_ARG"</span>);</div>
|
|
210
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  assert(!allocArg.empty() && <span class="stringliteral">"Not an alloc call via argument or incorrect extern function annotation!"</span>);</div>
|
|
211
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  </div>
|
|
212
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>;</div>
|
|
213
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="keywordflow">for</span> (<span class="keywordtype">char</span> c : allocArg)</div>
|
|
214
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  {</div>
|
|
215
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordflow">if</span> (<a class="code" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a>(c))</div>
|
|
216
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>.push_back(c);</div>
|
|
217
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  }</div>
|
|
218
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  assert(!<a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>.empty() && <span class="stringliteral">"Incorrect naming convention for svf external functions(ALLOC_ARG + number)?"</span>);</div>
|
|
219
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keywordflow">return</span> std::stoi(<a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>);</div>
|
|
220
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> }</div>
|
|
221
221
|
</div><!-- fragment -->
|
|
222
222
|
</div>
|
|
223
223
|
</div>
|
|
@@ -270,46 +270,39 @@ Static Private Attributes</h2></td></tr>
|
|
|
270
270
|
</table>
|
|
271
271
|
</div><div class="memdoc">
|
|
272
272
|
|
|
273
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
274
|
-
<div class="fragment"><div class="line"><a name="
|
|
275
|
-
<div class="line"><a name="
|
|
276
|
-
<div class="line"><a name="
|
|
277
|
-
<div class="line"><a name="
|
|
278
|
-
<div class="line"><a name="
|
|
279
|
-
<div class="line"><a name="
|
|
280
|
-
<div class="line"><a name="
|
|
281
|
-
<div class="line"><a name="
|
|
282
|
-
<div class="line"><a name="
|
|
283
|
-
<div class="line"><a name="
|
|
284
|
-
<div class="line"><a name="
|
|
285
|
-
<div class="line"><a name="
|
|
286
|
-
<div class="line"><a name="
|
|
287
|
-
<div class="line"><a name="
|
|
288
|
-
<div class="line"><a name="
|
|
289
|
-
<div class="line"><a name="
|
|
290
|
-
<div class="line"><a name="
|
|
291
|
-
<div class="line"><a name="
|
|
292
|
-
<div class="line"><a name="
|
|
293
|
-
<div class="line"><a name="
|
|
294
|
-
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">if</span> (!stat(<a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>.c_str(), &statbuf))</div>
|
|
295
|
-
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
296
|
-
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  </div>
|
|
297
|
-
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="comment">// 4. From $SVF_DIR</span></div>
|
|
298
|
-
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a> = <a class="code" href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">getFilePath</a>(<span class="stringliteral">"SVF_DIR"</span>);</div>
|
|
299
|
-
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">if</span> (!stat(<a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>.c_str(), &statbuf))</div>
|
|
273
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00123">123</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
274
|
+
<div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> {</div>
|
|
275
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  <span class="comment">// Five default ways to get extapi.bc path</span></div>
|
|
276
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="comment">// 1. Set extapi.bc path through setExtBcPath() method</span></div>
|
|
277
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="comment">// 2. Set extapi.bc path through the "-extapi = PATH_TO_EXTAPIFILE" option</span></div>
|
|
278
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="comment">// 3. Default path: "SVF_IR_PATH/CMAKE_BUILD_TYPE-build/svf-llvm/extapi.bc"</span></div>
|
|
279
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <span class="comment">// 4. From $SVF_DIR</span></div>
|
|
280
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="comment">// 5. From "npm root"(If SVF is installed via npm)</span></div>
|
|
281
|
+
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>.empty())</div>
|
|
282
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
283
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  </div>
|
|
284
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="comment">// 2. Set extapi.bc path through the "-extapi = PATH_TO_EXTAPIFILE" option</span></div>
|
|
285
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">setExtBcPath</a>(<a class="code" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">Options::ExtAPIPath</a>()))</div>
|
|
286
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
287
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  </div>
|
|
288
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="comment">// 3. Default path: "SVF_IR_PATH/CMAKE_BUILD_TYPE-build/svf-llvm/extapi.bc"</span></div>
|
|
289
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">setExtBcPath</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(EXTAPI_DIR) + <span class="stringliteral">"/extapi.bc"</span>))</div>
|
|
290
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
291
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  </div>
|
|
292
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <span class="comment">// 4. From $SVF_DIR</span></div>
|
|
293
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">setExtBcPath</a>(<a class="code" href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">getFilePath</a>(<span class="stringliteral">"SVF_DIR"</span>)))</div>
|
|
300
294
|
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
301
295
|
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  </div>
|
|
302
296
|
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="comment">// 5. From "npm root"(If SVF is installed via npm)</span></div>
|
|
303
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
304
|
-
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span> 
|
|
305
|
-
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span> 
|
|
306
|
-
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  </div>
|
|
307
|
-
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span> 
|
|
308
|
-
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  << <span class="stringliteral">"
|
|
309
|
-
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  << <span class="stringliteral">"
|
|
310
|
-
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span> 
|
|
311
|
-
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span> 
|
|
312
|
-
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span> }</div>
|
|
297
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">setExtBcPath</a>(<a class="code" href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">getFilePath</a>(<span class="stringliteral">"npm root"</span>)))</div>
|
|
298
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a>;</div>
|
|
299
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  </div>
|
|
300
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <span class="stringliteral">"No extapi.bc found at "</span> << <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a> << <span class="stringliteral">" in getExtBcPath() !!!"</span> << <span class="stringliteral">"\n"</span></div>
|
|
301
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  << <span class="stringliteral">"You can specify extapi.bc path in two ways:"</span> << <span class="stringliteral">"\n"</span></div>
|
|
302
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  << <span class="stringliteral">"1. Set it via the command line using -extapi=/path_to_extapi;"</span> << <span class="stringliteral">"\n"</span></div>
|
|
303
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  << <span class="stringliteral">"2. Use the API setExtBcPath(). Please note that setExtBcPath() should be used before buildSVFModule().\n"</span>;</div>
|
|
304
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  abort();</div>
|
|
305
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span> }</div>
|
|
313
306
|
</div><!-- fragment -->
|
|
314
307
|
</div>
|
|
315
308
|
</div>
|
|
@@ -339,14 +332,14 @@ Static Private Attributes</h2></td></tr>
|
|
|
339
332
|
</table>
|
|
340
333
|
</div><div class="memdoc">
|
|
341
334
|
|
|
342
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
343
|
-
<div class="fragment"><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="
|
|
335
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00157">157</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
336
|
+
<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> {</div>
|
|
337
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  assert(fun && <span class="stringliteral">"Null SVFFunction* pointer"</span>);</div>
|
|
338
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& annotation : fun-><a class="code" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a>())</div>
|
|
339
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="keywordflow">if</span> (annotation.find(funcAnnotation) != std::string::npos)</div>
|
|
340
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> annotation;</div>
|
|
341
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">return</span> <span class="stringliteral">""</span>;</div>
|
|
342
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span> }</div>
|
|
350
343
|
</div><!-- fragment -->
|
|
351
344
|
</div>
|
|
352
345
|
</div>
|
|
@@ -394,14 +387,14 @@ Static Private Attributes</h2></td></tr>
|
|
|
394
387
|
</table>
|
|
395
388
|
</div><div class="memdoc">
|
|
396
389
|
|
|
397
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
398
|
-
<div class="fragment"><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="
|
|
390
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00166">166</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
391
|
+
<div class="fragment"><div class="line"><a name="l00167"></a><span class="lineno"> 167</span> {</div>
|
|
392
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  assert(fun && <span class="stringliteral">"Null SVFFunction* pointer"</span>);</div>
|
|
393
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& annotation : fun-><a class="code" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a>())</div>
|
|
394
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">if</span> (annotation.find(funcAnnotation) != std::string::npos)</div>
|
|
395
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
396
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
397
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span> }</div>
|
|
405
398
|
</div><!-- fragment -->
|
|
406
399
|
</div>
|
|
407
400
|
</div>
|
|
@@ -421,10 +414,10 @@ Static Private Attributes</h2></td></tr>
|
|
|
421
414
|
</table>
|
|
422
415
|
</div><div class="memdoc">
|
|
423
416
|
|
|
424
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
425
|
-
<div class="fragment"><div class="line"><a name="
|
|
426
|
-
<div class="line"><a name="
|
|
427
|
-
<div class="line"><a name="
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00185">185</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
418
|
+
<div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> {</div>
|
|
419
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"ALLOC_RET"</span>);</div>
|
|
420
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span> }</div>
|
|
428
421
|
</div><!-- fragment -->
|
|
429
422
|
</div>
|
|
430
423
|
</div>
|
|
@@ -444,10 +437,10 @@ Static Private Attributes</h2></td></tr>
|
|
|
444
437
|
</table>
|
|
445
438
|
</div><div class="memdoc">
|
|
446
439
|
|
|
447
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
448
|
-
<div class="fragment"><div class="line"><a name="
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="
|
|
440
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00191">191</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
441
|
+
<div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno"> 192</span> {</div>
|
|
442
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"ALLOC_ARG"</span>);</div>
|
|
443
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span> }</div>
|
|
451
444
|
</div><!-- fragment -->
|
|
452
445
|
</div>
|
|
453
446
|
</div>
|
|
@@ -467,16 +460,16 @@ Static Private Attributes</h2></td></tr>
|
|
|
467
460
|
</table>
|
|
468
461
|
</div><div class="memdoc">
|
|
469
462
|
|
|
470
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
471
|
-
<div class="fragment"><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="
|
|
478
|
-
<div class="line"><a name="
|
|
479
|
-
<div class="line"><a name="
|
|
463
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00221">221</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
464
|
+
<div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno"> 222</span> {</div>
|
|
465
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  assert(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <span class="stringliteral">"Null SVFFunction* pointer"</span>);</div>
|
|
466
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordflow">if</span> (<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>->isDeclaration() || <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>->isIntrinsic())</div>
|
|
467
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
468
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"OVERWRITE"</span>) && <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>->getAnnotations().size() == 1)</div>
|
|
469
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
470
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">else</span></div>
|
|
471
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keywordflow">return</span> !<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>->getAnnotations().empty();</div>
|
|
472
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span> }</div>
|
|
480
473
|
</div><!-- fragment -->
|
|
481
474
|
</div>
|
|
482
475
|
</div>
|
|
@@ -496,10 +489,10 @@ Static Private Attributes</h2></td></tr>
|
|
|
496
489
|
</table>
|
|
497
490
|
</div><div class="memdoc">
|
|
498
491
|
|
|
499
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
500
|
-
<div class="fragment"><div class="line"><a name="
|
|
501
|
-
<div class="line"><a name="
|
|
502
|
-
<div class="line"><a name="
|
|
492
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00175">175</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
493
|
+
<div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span> {</div>
|
|
494
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"MEMCPY"</span>);</div>
|
|
495
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span> }</div>
|
|
503
496
|
</div><!-- fragment -->
|
|
504
497
|
</div>
|
|
505
498
|
</div>
|
|
@@ -519,10 +512,10 @@ Static Private Attributes</h2></td></tr>
|
|
|
519
512
|
</table>
|
|
520
513
|
</div><div class="memdoc">
|
|
521
514
|
|
|
522
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
523
|
-
<div class="fragment"><div class="line"><a name="
|
|
524
|
-
<div class="line"><a name="
|
|
525
|
-
<div class="line"><a name="
|
|
515
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00180">180</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
516
|
+
<div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span> {</div>
|
|
517
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"MEMSET"</span>);</div>
|
|
518
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span> }</div>
|
|
526
519
|
</div><!-- fragment -->
|
|
527
520
|
</div>
|
|
528
521
|
</div>
|
|
@@ -542,15 +535,15 @@ Static Private Attributes</h2></td></tr>
|
|
|
542
535
|
</table>
|
|
543
536
|
</div><div class="memdoc">
|
|
544
537
|
|
|
545
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
546
|
-
<div class="fragment"><div class="line"><a name="
|
|
547
|
-
<div class="line"><a name="
|
|
548
|
-
<div class="line"><a name="
|
|
538
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00213">213</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
539
|
+
<div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span> {</div>
|
|
540
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> && <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>, <span class="stringliteral">"REALLOC_RET"</span>);</div>
|
|
541
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span> }</div>
|
|
549
542
|
</div><!-- fragment -->
|
|
550
543
|
</div>
|
|
551
544
|
</div>
|
|
552
|
-
<a id="
|
|
553
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
545
|
+
<a id="ac0dc697b93f41b1e094a9be8baf4a103"></a>
|
|
546
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac0dc697b93f41b1e094a9be8baf4a103">◆ </a></span>setExtBcPath()</h2>
|
|
554
547
|
|
|
555
548
|
<div class="memitem">
|
|
556
549
|
<div class="memproto">
|
|
@@ -559,7 +552,7 @@ Static Private Attributes</h2></td></tr>
|
|
|
559
552
|
<td class="mlabels-left">
|
|
560
553
|
<table class="memname">
|
|
561
554
|
<tr>
|
|
562
|
-
<td class="memname">
|
|
555
|
+
<td class="memname">bool ExtAPI::setExtBcPath </td>
|
|
563
556
|
<td>(</td>
|
|
564
557
|
<td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> & </td>
|
|
565
558
|
<td class="paramname"><em>path</em></td><td>)</td>
|
|
@@ -575,8 +568,14 @@ Static Private Attributes</h2></td></tr>
|
|
|
575
568
|
|
|
576
569
|
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00059">59</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
577
570
|
<div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno"> 60</span> {</div>
|
|
578
|
-
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <
|
|
579
|
-
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span> 
|
|
571
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">struct </span>stat statbuf;</div>
|
|
572
|
+
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">if</span> (!path.empty() && !stat(path.c_str(), &statbuf))</div>
|
|
573
|
+
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  {</div>
|
|
574
|
+
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">extBcPath</a> = path;</div>
|
|
575
|
+
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
576
|
+
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div>
|
|
577
|
+
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
578
|
+
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span> }</div>
|
|
580
579
|
</div><!-- fragment -->
|
|
581
580
|
</div>
|
|
582
581
|
</div>
|
|
@@ -634,16 +633,17 @@ Static Private Attributes</h2></td></tr>
|
|
|
634
633
|
<li>/home/runner/work/SVF/SVF/svf/lib/Util/<a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a></li>
|
|
635
634
|
</ul>
|
|
636
635
|
</div><!-- contents -->
|
|
636
|
+
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac0dc697b93f41b1e094a9be8baf4a103"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103">SVF::ExtAPI::setExtBcPath</a></div><div class="ttdeci">static bool setExtBcPath(const std::string &path)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00059">ExtAPI.cpp:59</a></div></div>
|
|
637
637
|
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a552feab663622681db231d5b48f00d75"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">SVF::ExtAPI::extOp</a></div><div class="ttdeci">static ExtAPI * extOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00050">ExtAPI.h:50</a></div></div>
|
|
638
|
-
<div class="ttc" id="aExtAPI_8cpp_html_a7d2ff3727892c4ee0eff596174eb5b84"><div class="ttname"><a href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">getFilePath</a></div><div class="ttdeci">static std::string getFilePath(const std::string &path)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#
|
|
638
|
+
<div class="ttc" id="aExtAPI_8cpp_html_a7d2ff3727892c4ee0eff596174eb5b84"><div class="ttname"><a href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">getFilePath</a></div><div class="ttdeci">static std::string getFilePath(const std::string &path)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00095">ExtAPI.cpp:95</a></div></div>
|
|
639
639
|
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ab793be4b6f8f0a025599e76f5df2a4eb"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">SVF::ExtAPI::ExtAPI</a></div><div class="ttdeci">ExtAPI()=default</div></div>
|
|
640
640
|
<div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
|
|
641
641
|
<div class="ttc" id="aextapi_8c_html_a3fa45b35c8abf67a950b6d3d4063dede"><div class="ttname"><a href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a></div><div class="ttdeci">int isdigit(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00754">extapi.c:754</a></div></div>
|
|
642
642
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a067bd6dbaf74a028d546fa56b095791b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">SVF::SVFFunction::getAnnotations</a></div><div class="ttdeci">const std::vector< std::string > & getAnnotations() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00461">SVFValue.h:461</a></div></div>
|
|
643
643
|
<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>
|
|
644
|
-
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#
|
|
644
|
+
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00166">ExtAPI.cpp:166</a></div></div>
|
|
645
645
|
<div class="ttc" id="aclassSVF_1_1Options_html_a2dffc9d885fa53340a1cdbc028d7f24a"><div class="ttname"><a href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">SVF::Options::ExtAPIPath</a></div><div class="ttdeci">static const Option< std::string > ExtAPIPath</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
646
|
-
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a641c82ed1f1a86f0f8a6015ef1fdbfef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI::getExtFuncAnnotation</a></div><div class="ttdeci">std::string getExtFuncAnnotation(const SVFFunction *fun, const std::string &funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#
|
|
646
|
+
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a641c82ed1f1a86f0f8a6015ef1fdbfef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI::getExtFuncAnnotation</a></div><div class="ttdeci">std::string getExtFuncAnnotation(const SVFFunction *fun, const std::string &funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00157">ExtAPI.cpp:157</a></div></div>
|
|
647
647
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
|
|
648
648
|
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a3ce3e67c96a65484d8077d9e3a9efa7d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">SVF::ExtAPI::extBcPath</a></div><div class="ttdeci">static std::string extBcPath</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00053">ExtAPI.h:53</a></div></div>
|
|
649
649
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
@@ -91,11 +91,10 @@ Inheritance diagram for SVF::GenericEdge< NodeTy >:</div>
|
|
|
91
91
|
<area href="classSVF_1_1CHEdge.html" alt="SVF::CHEdge" shape="rect" coords="195,224,380,248"/>
|
|
92
92
|
<area href="classSVF_1_1ConstraintEdge.html" alt="SVF::ConstraintEdge" shape="rect" coords="195,280,380,304"/>
|
|
93
93
|
<area href="classSVF_1_1ICFGEdge.html" alt="SVF::ICFGEdge" shape="rect" coords="195,336,380,360"/>
|
|
94
|
-
<area href="
|
|
95
|
-
<area href="
|
|
96
|
-
<area href="
|
|
97
|
-
<area href="
|
|
98
|
-
<area href="classSVF_1_1VFGEdge.html" alt="SVF::VFGEdge" shape="rect" coords="195,616,380,640"/>
|
|
94
|
+
<area href="classSVF_1_1PTACallGraphEdge.html" alt="SVF::PTACallGraphEdge" shape="rect" coords="195,392,380,416"/>
|
|
95
|
+
<area href="classSVF_1_1SVFStmt.html" alt="SVF::SVFStmt" shape="rect" coords="195,448,380,472"/>
|
|
96
|
+
<area href="classSVF_1_1TCTEdge.html" alt="SVF::TCTEdge" shape="rect" coords="195,504,380,528"/>
|
|
97
|
+
<area href="classSVF_1_1VFGEdge.html" alt="SVF::VFGEdge" shape="rect" coords="195,560,380,584"/>
|
|
99
98
|
</map>
|
|
100
99
|
</div></div>
|
|
101
100
|
<table class="memberdecls">
|
|
Binary file
|
|
@@ -89,10 +89,9 @@ Inheritance diagram for SVF::GenericGraph< NodeTy, EdgeTy >:</div>
|
|
|
89
89
|
<area href="classSVF_1_1CFLGraph.html" alt="SVF::CFLGraph" shape="rect" coords="253,168,496,192"/>
|
|
90
90
|
<area href="classSVF_1_1CHGraph.html" alt="SVF::CHGraph" shape="rect" coords="253,224,496,248"/>
|
|
91
91
|
<area href="classSVF_1_1ICFG.html" alt="SVF::ICFG" shape="rect" coords="253,280,496,304"/>
|
|
92
|
-
<area href="
|
|
93
|
-
<area href="
|
|
94
|
-
<area href="
|
|
95
|
-
<area href="classSVF_1_1VFG.html" alt="SVF::VFG" shape="rect" coords="253,504,496,528"/>
|
|
92
|
+
<area href="classSVF_1_1PTACallGraph.html" alt="SVF::PTACallGraph" shape="rect" coords="253,336,496,360"/>
|
|
93
|
+
<area href="classSVF_1_1TCT.html" alt="SVF::TCT" shape="rect" coords="253,392,496,416"/>
|
|
94
|
+
<area href="classSVF_1_1VFG.html" alt="SVF::VFG" shape="rect" coords="253,448,496,472"/>
|
|
96
95
|
</map>
|
|
97
96
|
</div></div>
|
|
98
97
|
<table class="memberdecls">
|
|
Binary file
|
|
@@ -87,8 +87,8 @@ Inheritance diagram for SVF::GenericNode< NodeTy, EdgeTy >:</div>
|
|
|
87
87
|
<area href="classSVF_1_1CFBasicBlockNode.html" alt="SVF::CFBasicBlockNode" shape="rect" coords="248,112,486,136"/>
|
|
88
88
|
<area href="classSVF_1_1CFLNode.html" alt="SVF::CFLNode" shape="rect" coords="248,168,486,192"/>
|
|
89
89
|
<area href="classSVF_1_1CHNode.html" alt="SVF::CHNode" shape="rect" coords="248,224,486,248"/>
|
|
90
|
-
<area href="
|
|
91
|
-
<area href="
|
|
90
|
+
<area href="classSVF_1_1ConstraintNode.html" alt="SVF::ConstraintNode" shape="rect" coords="248,280,486,304"/>
|
|
91
|
+
<area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="248,336,486,360"/>
|
|
92
92
|
<area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="248,392,486,416"/>
|
|
93
93
|
<area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="248,448,486,472"/>
|
|
94
94
|
<area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="248,504,486,528"/>
|
|
@@ -504,7 +504,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
504
504
|
</table>
|
|
505
505
|
</div><div class="memdoc">
|
|
506
506
|
|
|
507
|
-
<p>Reimplemented in <a class="el" href="
|
|
507
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>.</p>
|
|
508
508
|
|
|
509
509
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00261">261</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
510
510
|
<div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  {</div>
|
|
@@ -538,7 +538,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
538
538
|
</table>
|
|
539
539
|
</div><div class="memdoc">
|
|
540
540
|
|
|
541
|
-
<p>Reimplemented in <a class="el" href="
|
|
541
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a63bfa2866dac843cf8a177055676ffff">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">SVF::ConstraintNode</a>.</p>
|
|
542
542
|
|
|
543
543
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00278">278</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
544
544
|
<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  {</div>
|
|
@@ -572,7 +572,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
572
572
|
</table>
|
|
573
573
|
</div><div class="memdoc">
|
|
574
574
|
|
|
575
|
-
<p>Reimplemented in <a class="el" href="
|
|
575
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>.</p>
|
|
576
576
|
|
|
577
577
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00265">265</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
578
578
|
<div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  {</div>
|
|
@@ -606,7 +606,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
606
606
|
</table>
|
|
607
607
|
</div><div class="memdoc">
|
|
608
608
|
|
|
609
|
-
<p>Reimplemented in <a class="el" href="
|
|
609
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a9c989d41ad6b2a92422b1cce15121ec2">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode</a>.</p>
|
|
610
610
|
|
|
611
611
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00282">282</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
612
612
|
<div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  {</div>
|
|
@@ -642,7 +642,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
642
642
|
|
|
643
643
|
<p>Iterators used for SCC detection, overwrite it in child class if necessary. </p>
|
|
644
644
|
|
|
645
|
-
<p>Reimplemented in <a class="el" href="
|
|
645
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>.</p>
|
|
646
646
|
|
|
647
647
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00253">253</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
648
648
|
<div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  {</div>
|
|
@@ -676,7 +676,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
676
676
|
</table>
|
|
677
677
|
</div><div class="memdoc">
|
|
678
678
|
|
|
679
|
-
<p>Reimplemented in <a class="el" href="
|
|
679
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ace9c6976879aaa8c1609a3773de6eec7">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">SVF::ConstraintNode</a>.</p>
|
|
680
680
|
|
|
681
681
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00270">270</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
682
682
|
<div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  {</div>
|
|
@@ -710,7 +710,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
710
710
|
</table>
|
|
711
711
|
</div><div class="memdoc">
|
|
712
712
|
|
|
713
|
-
<p>Reimplemented in <a class="el" href="
|
|
713
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>.</p>
|
|
714
714
|
|
|
715
715
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00257">257</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
716
716
|
<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  {</div>
|
|
@@ -744,7 +744,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
744
744
|
</table>
|
|
745
745
|
</div><div class="memdoc">
|
|
746
746
|
|
|
747
|
-
<p>Reimplemented in <a class="el" href="
|
|
747
|
+
<p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aeb06f080cd085dbae0d23315311ff952">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">SVF::ConstraintNode</a>.</p>
|
|
748
748
|
|
|
749
749
|
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00274">274</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
750
750
|
<div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  {</div>
|
|
Binary file
|