svf-tools 1.0.763 → 1.0.765
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/AccessPath_8cpp_source.html +96 -89
- package/SVF-doxygen/html/html/AccessPath_8h_source.html +5 -5
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +90 -83
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +54 -55
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +54 -55
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +53 -54
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +55 -56
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +59 -60
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +51 -52
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +59 -60
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +54 -55
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +59 -60
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +59 -60
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +53 -54
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +54 -55
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +54 -55
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +52 -53
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +56 -57
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +62 -63
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +66 -67
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +64 -65
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +62 -63
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +65 -66
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +62 -63
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +51 -52
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +61 -62
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +53 -54
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +60 -61
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +58 -59
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +62 -63
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +62 -63
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +50 -51
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +6 -9
- package/SVF-doxygen/html/html/functions_eval_f.html +0 -3
- package/SVF-doxygen/html/html/functions_f.html +9 -12
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +18 -14
- package/SVF-doxygen/html/html/functions_r.html +8 -8
- package/SVF-doxygen/html/html/functions_s.html +12 -12
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/search/all_10.js +323 -323
- package/SVF-doxygen/html/html/search/all_11.js +212 -212
- package/SVF-doxygen/html/html/search/all_12.js +536 -536
- package/SVF-doxygen/html/html/search/all_13.js +188 -188
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- 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 +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_6.js +31 -32
- package/SVF-doxygen/html/html/search/all_7.js +996 -996
- package/SVF-doxygen/html/html/search/all_8.js +191 -191
- package/SVF-doxygen/html/html/search/all_9.js +605 -605
- 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 +114 -114
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +205 -205
- 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 +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +8 -8
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- 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 +20 -20
- 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 +6 -6
- 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 -48
- 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 +49 -49
- 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 -14
- 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 +6 -6
- package/SVF-doxygen/html/html/search/functions_1.js +348 -348
- package/SVF-doxygen/html/html/search/functions_10.js +139 -139
- package/SVF-doxygen/html/html/search/functions_11.js +126 -126
- package/SVF-doxygen/html/html/search/functions_12.js +273 -273
- package/SVF-doxygen/html/html/search/functions_13.js +56 -56
- package/SVF-doxygen/html/html/search/functions_14.js +38 -38
- package/SVF-doxygen/html/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/html/search/functions_16.js +29 -29
- package/SVF-doxygen/html/html/search/functions_17.js +2 -2
- package/SVF-doxygen/html/html/search/functions_18.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +82 -82
- package/SVF-doxygen/html/html/search/functions_3.js +251 -251
- package/SVF-doxygen/html/html/search/functions_4.js +71 -71
- package/SVF-doxygen/html/html/search/functions_5.js +51 -51
- package/SVF-doxygen/html/html/search/functions_6.js +58 -58
- package/SVF-doxygen/html/html/search/functions_7.js +816 -816
- package/SVF-doxygen/html/html/search/functions_8.js +143 -143
- package/SVF-doxygen/html/html/search/functions_9.js +425 -425
- 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 +24 -24
- package/SVF-doxygen/html/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/html/search/functions_e.js +34 -34
- 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 +1 -1
- 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 +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- 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 +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- 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 +40 -40
- 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 +147 -147
- 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 +34 -34
- package/SVF-doxygen/html/html/search/variables_3.js +141 -141
- package/SVF-doxygen/html/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/html/search/variables_5.js +38 -38
- 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/package.json +1 -1
- package/svf/include/Graphs/VFGNode.h +2 -2
- package/svf/lib/MemoryModel/AccessPath.cpp +9 -2
|
@@ -396,26 +396,26 @@ Friends</h2></td></tr>
|
|
|
396
396
|
|
|
397
397
|
<p>Check relations of two location sets. </p>
|
|
398
398
|
|
|
399
|
-
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#
|
|
400
|
-
<div class="fragment"><div class="line"><a name="
|
|
401
|
-
<div class="line"><a name="
|
|
402
|
-
<div class="line"><a name="
|
|
403
|
-
<div class="line"><a name="
|
|
404
|
-
<div class="line"><a name="
|
|
405
|
-
<div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
407
|
-
<div class="line"><a name="
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="
|
|
410
|
-
<div class="line"><a name="
|
|
411
|
-
<div class="line"><a name="
|
|
412
|
-
<div class="line"><a name="
|
|
413
|
-
<div class="line"><a name="
|
|
414
|
-
<div class="line"><a name="
|
|
415
|
-
<div class="line"><a name="
|
|
416
|
-
<div class="line"><a name="
|
|
417
|
-
<div class="line"><a name="
|
|
418
|
-
<div class="line"><a name="
|
|
399
|
+
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00201">201</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
|
|
400
|
+
<div class="fragment"><div class="line"><a name="l00202"></a><span class="lineno"> 202</span> {</div>
|
|
401
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
|
|
402
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
|
|
403
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(rhsLocations))</div>
|
|
404
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  {</div>
|
|
405
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div>
|
|
406
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">Same</a>;</div>
|
|
407
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(rhsLocations))</div>
|
|
408
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">Superset</a>;</div>
|
|
409
|
+
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(lhsLocations))</div>
|
|
410
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">Subset</a>;</div>
|
|
411
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="keywordflow">else</span></div>
|
|
412
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">Overlap</a>;</div>
|
|
413
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  }</div>
|
|
414
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordflow">else</span></div>
|
|
415
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  {</div>
|
|
416
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d">NonOverlap</a>;</div>
|
|
417
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  }</div>
|
|
418
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span> }</div>
|
|
419
419
|
</div><!-- fragment -->
|
|
420
420
|
</div>
|
|
421
421
|
</div>
|
|
@@ -445,12 +445,12 @@ Friends</h2></td></tr>
|
|
|
445
445
|
<p>Compute all possible locations according to offset and number-stride pairs. </p>
|
|
446
446
|
<p>Compute all possible locations according to offset and number-stride pairs. </p>
|
|
447
447
|
|
|
448
|
-
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#
|
|
449
|
-
<div class="fragment"><div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="
|
|
451
|
-
<div class="line"><a name="
|
|
452
|
-
<div class="line"><a name="
|
|
453
|
-
<div class="line"><a name="
|
|
448
|
+
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00160">160</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
|
|
449
|
+
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span> {</div>
|
|
450
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> result;</div>
|
|
451
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  result.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>());</div>
|
|
452
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <span class="keywordflow">return</span> result;</div>
|
|
453
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span> }</div>
|
|
454
454
|
</div><!-- fragment -->
|
|
455
455
|
</div>
|
|
456
456
|
</div>
|
|
@@ -500,12 +500,19 @@ Friends</h2></td></tr>
|
|
|
500
500
|
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">else</span></div>
|
|
501
501
|
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  {</div>
|
|
502
502
|
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-><a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
|
|
503
|
-
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <
|
|
504
|
-
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span> 
|
|
505
|
-
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span> 
|
|
506
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span> 
|
|
507
|
-
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span> 
|
|
508
|
-
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span> 
|
|
503
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> >= 0)</div>
|
|
504
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  {</div>
|
|
505
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset =</div>
|
|
506
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
|
|
507
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
|
|
508
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  totalConstOffset += flattenOffset;</div>
|
|
509
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  }</div>
|
|
510
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">else</span></div>
|
|
511
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  totalConstOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
|
|
512
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  }</div>
|
|
513
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  }</div>
|
|
514
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  <span class="keywordflow">return</span> totalConstOffset;</div>
|
|
515
|
+
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span> }</div>
|
|
509
516
|
</div><!-- fragment -->
|
|
510
517
|
</div>
|
|
511
518
|
</div>
|
|
@@ -526,24 +533,24 @@ Friends</h2></td></tr>
|
|
|
526
533
|
|
|
527
534
|
<p>Dump location set. </p>
|
|
528
535
|
|
|
529
|
-
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#
|
|
530
|
-
<div class="fragment"><div class="line"><a name="
|
|
531
|
-
<div class="line"><a name="
|
|
532
|
-
<div class="line"><a name="
|
|
533
|
-
<div class="line"><a name="
|
|
534
|
-
<div class="line"><a name="
|
|
535
|
-
<div class="line"><a name="
|
|
536
|
-
<div class="line"><a name="
|
|
537
|
-
<div class="line"><a name="
|
|
538
|
-
<div class="line"><a name="
|
|
539
|
-
<div class="line"><a name="
|
|
540
|
-
<div class="line"><a name="
|
|
541
|
-
<div class="line"><a name="
|
|
542
|
-
<div class="line"><a name="
|
|
543
|
-
<div class="line"><a name="
|
|
544
|
-
<div class="line"><a name="
|
|
545
|
-
<div class="line"><a name="
|
|
546
|
-
<div class="line"><a name="
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00223">223</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno"> 224</span> {</div>
|
|
538
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
539
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  std::stringstream rawstr(str);</div>
|
|
540
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  </div>
|
|
541
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  rawstr << <span class="stringliteral">"AccessPath\tField_Index: "</span> << <a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
|
|
542
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  rawstr << <span class="stringliteral">",\tNum-Stride: {"</span>;</div>
|
|
543
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>& vec = <a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
|
|
544
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  OffsetVarAndGepTypePairs::const_iterator it = vec.begin();</div>
|
|
545
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  OffsetVarAndGepTypePairs::const_iterator eit = vec.end();</div>
|
|
546
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">for</span> (; it != eit; ++it)</div>
|
|
547
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  {</div>
|
|
548
|
+
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty = it->second;</div>
|
|
549
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  rawstr << <span class="stringliteral">" (Svf var: "</span> << it->first-><a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() << <span class="stringliteral">", Iter type: "</span> << *ty << <span class="stringliteral">")"</span>;</div>
|
|
550
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  }</div>
|
|
551
|
+
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  rawstr << <span class="stringliteral">" }\n"</span>;</div>
|
|
552
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
553
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span> }</div>
|
|
547
554
|
</div><!-- fragment -->
|
|
548
555
|
</div>
|
|
549
556
|
</div>
|
|
@@ -738,15 +745,15 @@ Friends</h2></td></tr>
|
|
|
738
745
|
|
|
739
746
|
<p>Overload operators. </p>
|
|
740
747
|
|
|
741
|
-
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#
|
|
742
|
-
<div class="fragment"><div class="line"><a name="
|
|
743
|
-
<div class="line"><a name="
|
|
744
|
-
<div class="line"><a name="
|
|
745
|
-
<div class="line"><a name="
|
|
746
|
-
<div class="line"><a name="
|
|
747
|
-
<div class="line"><a name="
|
|
748
|
-
<div class="line"><a name="
|
|
749
|
-
<div class="line"><a name="
|
|
748
|
+
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00167">167</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
|
|
749
|
+
<div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno"> 168</span> {</div>
|
|
750
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> ap(rhs);</div>
|
|
751
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  ap.fldIdx += <a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
|
|
752
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> &<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a> : ap.getOffsetVarAndGepTypePairVec())</div>
|
|
753
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  ap.addOffsetVarAndGepTypePair(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first, <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
|
|
754
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  </div>
|
|
755
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <span class="keywordflow">return</span> ap;</div>
|
|
756
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span> }</div>
|
|
750
757
|
</div><!-- fragment -->
|
|
751
758
|
</div>
|
|
752
759
|
</div>
|
|
@@ -766,29 +773,29 @@ Friends</h2></td></tr>
|
|
|
766
773
|
</table>
|
|
767
774
|
</div><div class="memdoc">
|
|
768
775
|
|
|
769
|
-
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#
|
|
770
|
-
<div class="fragment"><div class="line"><a name="
|
|
771
|
-
<div class="line"><a name="
|
|
772
|
-
<div class="line"><a name="
|
|
773
|
-
<div class="line"><a name="
|
|
774
|
-
<div class="line"><a name="
|
|
775
|
-
<div class="line"><a name="
|
|
776
|
-
<div class="line"><a name="
|
|
777
|
-
<div class="line"><a name="
|
|
778
|
-
<div class="line"><a name="
|
|
779
|
-
<div class="line"><a name="
|
|
780
|
-
<div class="line"><a name="
|
|
781
|
-
<div class="line"><a name="
|
|
782
|
-
<div class="line"><a name="
|
|
783
|
-
<div class="line"><a name="
|
|
784
|
-
<div class="line"><a name="
|
|
785
|
-
<div class="line"><a name="
|
|
786
|
-
<div class="line"><a name="
|
|
787
|
-
<div class="line"><a name="
|
|
788
|
-
<div class="line"><a name="
|
|
789
|
-
<div class="line"><a name="
|
|
790
|
-
<div class="line"><a name="
|
|
791
|
-
<div class="line"><a name="
|
|
776
|
+
<p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00177">177</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
|
|
777
|
+
<div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span> {</div>
|
|
778
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> != rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>)</div>
|
|
779
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> < rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>);</div>
|
|
780
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="keywordflow">else</span></div>
|
|
781
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  {</div>
|
|
782
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>& pairVec = <a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
|
|
783
|
+
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>& rhsPairVec = rhs.<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
|
|
784
|
+
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div>
|
|
785
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="keywordflow">return</span> (pairVec.size() < rhsPairVec.size());</div>
|
|
786
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">else</span></div>
|
|
787
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  {</div>
|
|
788
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  OffsetVarAndGepTypePairs::const_iterator it = pairVec.begin();</div>
|
|
789
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  OffsetVarAndGepTypePairs::const_iterator rhsIt = rhsPairVec.begin();</div>
|
|
790
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <span class="keywordflow">for</span> (; it != pairVec.end() && rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div>
|
|
791
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  {</div>
|
|
792
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> (*it) < (*rhsIt);</div>
|
|
793
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  }</div>
|
|
794
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  </div>
|
|
795
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
796
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  }</div>
|
|
797
|
+
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  }</div>
|
|
798
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span> }</div>
|
|
792
799
|
</div><!-- fragment -->
|
|
793
800
|
</div>
|
|
794
801
|
</div>
|
|
@@ -1028,7 +1035,7 @@ Friends</h2></td></tr>
|
|
|
1028
1035
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
|
|
1029
1036
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
|
|
1030
1037
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
1031
|
-
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#
|
|
1038
|
+
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00160">AccessPath.cpp:160</a></div></div>
|
|
1032
1039
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
|
|
1033
1040
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">SVF::AccessPath::Same</a></div><div class="ttdeci">@ Same</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
|
|
1034
1041
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
|
|
@@ -106,61 +106,60 @@ $(function() {
|
|
|
106
106
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
107
107
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
108
108
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
112
|
-
<tr><td class="entry"><a class="el" href="
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
114
|
-
<tr><td class="entry"><a class="el" href="
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
116
|
-
<tr><td class="entry"><a class="el" href="
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
118
|
-
<tr><td class="entry"><a class="el" href="
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
120
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
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="
|
|
124
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
126
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
128
|
-
<tr><td class="entry"><a class="el" href="
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
130
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
134
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
135
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
136
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
138
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
139
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
140
|
-
<tr><td class="entry"><a class="el" href="
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
142
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
143
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
144
|
-
<tr><td class="entry"><a class="el" href="
|
|
145
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
146
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
148
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
150
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
152
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
154
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
155
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
156
|
-
<tr><td class="entry"><a class="el" href="
|
|
157
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
158
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
159
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
160
|
-
<tr><td class="entry"><a class="el" href="
|
|
161
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
162
|
-
<tr><td class="entry"><a class="el" href="
|
|
163
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</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_1MRSVFGNode.html#ae09658fbaa1061a4c5bea1b326bb2870">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
135
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
137
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(NodeID id, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
142
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
143
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
145
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
153
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
154
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
156
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
157
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
159
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">ver</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
160
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
161
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
162
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
164
163
|
</table></div><!-- contents -->
|
|
165
164
|
<!-- start footer part -->
|
|
166
165
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -247,15 +247,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
247
247
|
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">ARet</a>,
|
|
248
248
|
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>,
|
|
249
249
|
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>,
|
|
250
|
-
<a class="el" href="classSVF_1_1VFGNode.html#
|
|
250
|
+
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>,
|
|
251
251
|
<br />
|
|
252
|
-
  <a class="el" href="classSVF_1_1VFGNode.html#
|
|
253
|
-
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>,
|
|
252
|
+
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>,
|
|
254
253
|
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a>,
|
|
255
254
|
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a>,
|
|
255
|
+
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>,
|
|
256
256
|
<br />
|
|
257
|
-
  <a class="el" href="classSVF_1_1VFGNode.html#
|
|
258
|
-
<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>
|
|
257
|
+
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>
|
|
259
258
|
<br />
|
|
260
259
|
}</td></tr>
|
|
261
260
|
<tr class="separator:a99a54cf322b0eec3a1ef109ce5f2db75 inherit pub_types_classSVF_1_1VFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|