svf-tools 1.0.819 → 1.0.821
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/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +488 -486
- package/SVF-doxygen/html/LLVMModule_8h_source.html +14 -14
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFBugReport_8cpp_source.html +81 -69
- package/SVF-doxygen/html/SVFBugReport_8h_source.html +135 -121
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FileChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +470 -468
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFBugReport-members.html +9 -5
- package/SVF-doxygen/html/classSVF_1_1SVFBugReport.html +307 -161
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
- package/SVF-doxygen/html/functions_c.html +24 -19
- package/SVF-doxygen/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/functions_func_s.html +25 -22
- package/SVF-doxygen/html/functions_i.html +1 -1
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_m.html +4 -3
- package/SVF-doxygen/html/functions_n.html +4 -4
- package/SVF-doxygen/html/functions_o.html +4 -4
- package/SVF-doxygen/html/functions_p.html +11 -11
- package/SVF-doxygen/html/functions_r.html +4 -6
- package/SVF-doxygen/html/functions_s.html +26 -21
- package/SVF-doxygen/html/functions_t.html +8 -5
- package/SVF-doxygen/html/functions_v.html +6 -6
- package/SVF-doxygen/html/functions_vars_c.html +3 -0
- package/SVF-doxygen/html/functions_vars_m.html +1 -0
- package/SVF-doxygen/html/functions_vars_t.html +3 -0
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +545 -544
- package/SVF-doxygen/html/search/all_13.js +192 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_3.js +138 -137
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +1044 -1044
- package/SVF-doxygen/html/search/all_8.js +197 -197
- package/SVF-doxygen/html/search/all_9.js +607 -607
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +115 -115
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +280 -279
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +87 -87
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +854 -854
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -423
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +76 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +143 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +29 -29
- package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/Util/SVFBugReport.h +10 -0
- package/svf/lib/Util/SVFBugReport.cpp +46 -32
- package/svf-llvm/lib/LLVMModule.cpp +2 -0
|
@@ -505,141 +505,142 @@ var searchData=
|
|
|
505
505
|
['countstat_1323',['countStat',['../classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6',1,'SVF::ICFGStat']]],
|
|
506
506
|
['countsumedges_1324',['countSumEdges',['../classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9',1,'SVF::CFLBase']]],
|
|
507
507
|
['counttrailingzeros_1325',['countTrailingZeros',['../namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461',1,'SVF']]],
|
|
508
|
-
['
|
|
509
|
-
['
|
|
510
|
-
['
|
|
511
|
-
['
|
|
512
|
-
['
|
|
513
|
-
['
|
|
514
|
-
['
|
|
515
|
-
['
|
|
516
|
-
['
|
|
517
|
-
['
|
|
518
|
-
['
|
|
519
|
-
['
|
|
520
|
-
['
|
|
521
|
-
['
|
|
522
|
-
['
|
|
523
|
-
['
|
|
524
|
-
['
|
|
525
|
-
['
|
|
526
|
-
['
|
|
527
|
-
['
|
|
528
|
-
['
|
|
529
|
-
['
|
|
530
|
-
['
|
|
531
|
-
['
|
|
532
|
-
['
|
|
533
|
-
['
|
|
534
|
-
['
|
|
535
|
-
['
|
|
536
|
-
['
|
|
537
|
-
['
|
|
538
|
-
['
|
|
539
|
-
['
|
|
540
|
-
['
|
|
541
|
-
['
|
|
542
|
-
['
|
|
543
|
-
['
|
|
544
|
-
['
|
|
545
|
-
['
|
|
546
|
-
['
|
|
547
|
-
['
|
|
548
|
-
['
|
|
549
|
-
['
|
|
550
|
-
['
|
|
551
|
-
['
|
|
552
|
-
['
|
|
553
|
-
['
|
|
554
|
-
['
|
|
555
|
-
['
|
|
556
|
-
['
|
|
557
|
-
['
|
|
558
|
-
['
|
|
559
|
-
['
|
|
560
|
-
['
|
|
561
|
-
['
|
|
562
|
-
['
|
|
563
|
-
['
|
|
564
|
-
['
|
|
565
|
-
['
|
|
566
|
-
['
|
|
567
|
-
['
|
|
568
|
-
['
|
|
569
|
-
['
|
|
570
|
-
['
|
|
571
|
-
['
|
|
572
|
-
['
|
|
573
|
-
['
|
|
574
|
-
['
|
|
575
|
-
['
|
|
576
|
-
['
|
|
577
|
-
['
|
|
578
|
-
['
|
|
579
|
-
['
|
|
580
|
-
['
|
|
581
|
-
['
|
|
582
|
-
['
|
|
583
|
-
['
|
|
584
|
-
['
|
|
585
|
-
['
|
|
586
|
-
['
|
|
587
|
-
['
|
|
588
|
-
['
|
|
589
|
-
['
|
|
590
|
-
['
|
|
591
|
-
['
|
|
592
|
-
['
|
|
593
|
-
['
|
|
594
|
-
['
|
|
595
|
-
['
|
|
596
|
-
['
|
|
597
|
-
['
|
|
598
|
-
['
|
|
599
|
-
['
|
|
600
|
-
['
|
|
601
|
-
['
|
|
602
|
-
['
|
|
603
|
-
['
|
|
604
|
-
['
|
|
605
|
-
['
|
|
606
|
-
['
|
|
607
|
-
['
|
|
608
|
-
['
|
|
609
|
-
['
|
|
610
|
-
['
|
|
611
|
-
['
|
|
612
|
-
['
|
|
613
|
-
['
|
|
614
|
-
['
|
|
615
|
-
['
|
|
616
|
-
['
|
|
617
|
-
['
|
|
618
|
-
['
|
|
619
|
-
['
|
|
620
|
-
['
|
|
621
|
-
['
|
|
622
|
-
['
|
|
623
|
-
['
|
|
624
|
-
['
|
|
625
|
-
['
|
|
626
|
-
['
|
|
627
|
-
['
|
|
628
|
-
['
|
|
629
|
-
['
|
|
630
|
-
['
|
|
631
|
-
['
|
|
632
|
-
['
|
|
633
|
-
['
|
|
634
|
-
['
|
|
635
|
-
['
|
|
636
|
-
['
|
|
637
|
-
['
|
|
638
|
-
['
|
|
639
|
-
['
|
|
640
|
-
['
|
|
641
|
-
['
|
|
642
|
-
['
|
|
643
|
-
['
|
|
644
|
-
['
|
|
508
|
+
['coverage_1326',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
|
|
509
|
+
['cpputil_2ecpp_1327',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
|
|
510
|
+
['cpputil_2eh_1328',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
|
|
511
|
+
['cpts_1329',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
|
|
512
|
+
['cptsbegin_1330',['cptsBegin',['../classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3',1,'SVF::CondPointsToSet::cptsBegin()'],['../classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670',1,'SVF::CondPointsToSet::cptsBegin() const']]],
|
|
513
|
+
['cptsend_1331',['cptsEnd',['../classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea',1,'SVF::CondPointsToSet::cptsEnd()'],['../classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d',1,'SVF::CondPointsToSet::cptsEnd() const']]],
|
|
514
|
+
['cptset_1332',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
|
|
515
|
+
['cptsset_1333',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
|
|
516
|
+
['cptstorepcptsmap_1334',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
|
|
517
|
+
['cpu_1335',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
|
|
518
|
+
['cpyitvtolocal_1336',['cpyItvToLocal',['../classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19',1,'SVF::IntervalExeState']]],
|
|
519
|
+
['create_5freference_1337',['create_reference',['../cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3',1,'cJSON.cpp']]],
|
|
520
|
+
['createandersenscd_1338',['createAndersenSCD',['../classSVF_1_1AndersenSCD.html#ad403be45ff1c69fccdff6c5f3f1959c2',1,'SVF::AndersenSCD']]],
|
|
521
|
+
['createandersensfr_1339',['createAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4792427f84f402ec30f9447d24f3faad',1,'SVF::AndersenSFR']]],
|
|
522
|
+
['createandersenwavediff_1340',['createAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540',1,'SVF::AndersenWaveDiff']]],
|
|
523
|
+
['createblkobj_1341',['createBlkObj',['../classSVF_1_1SymbolTableBuilder.html#a5db9e476132b0a653c7995b61def4065',1,'SVF::SymbolTableBuilder']]],
|
|
524
|
+
['createchedge_1342',['createCHEdge',['../classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4',1,'SVF::SVFIRReader']]],
|
|
525
|
+
['createchnode_1343',['createCHNode',['../classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1',1,'SVF::SVFIRReader']]],
|
|
526
|
+
['createconstantobj_1344',['createConstantObj',['../classSVF_1_1SymbolTableBuilder.html#a85994a1cdb68036dde589aab0d7b3e82',1,'SVF::SymbolTableBuilder']]],
|
|
527
|
+
['createdisjointmr_1345',['createDisjointMR',['../classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2',1,'SVF::IntraDisjointMRG']]],
|
|
528
|
+
['createdistinctmr_1346',['createDistinctMR',['../classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393',1,'SVF::DistinctMRG']]],
|
|
529
|
+
['createdummyobj_1347',['createDummyObj',['../classSVF_1_1SymbolTableInfo.html#ae39b1a2330b157312727a560fddbd0dc',1,'SVF::SymbolTableInfo']]],
|
|
530
|
+
['createedgewithflag_1348',['createEdgeWithFlag',['../classSVF_1_1SVFIRReader.html#ab6f96f9491fe0f15b91c3c1f2989d842',1,'SVF::SVFIRReader']]],
|
|
531
|
+
['createfsmpta_1349',['createFSMPTA',['../classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426',1,'SVF::FSMPTA']]],
|
|
532
|
+
['createfswpa_1350',['createFSWPA',['../classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be',1,'SVF::FlowSensitive']]],
|
|
533
|
+
['createicfgedge_1351',['createICFGEdge',['../classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d',1,'SVF::SVFIRReader']]],
|
|
534
|
+
['createicfgnode_1352',['createICFGNode',['../classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea',1,'SVF::SVFIRReader']]],
|
|
535
|
+
['createintervalvalue_1353',['createIntervalValue',['../classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558',1,'SVF::IntervalExeState']]],
|
|
536
|
+
['createmr_1354',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
|
|
537
|
+
['createmuchi_1355',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
|
|
538
|
+
['createnode_1356',['createNode',['../classSVF_1_1CHGBuilder.html#ae0376b8ecdf2093b88e8c529f0e014e0',1,'SVF::CHGBuilder']]],
|
|
539
|
+
['createobjs_1357',['createObjs',['../classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2',1,'SVF::ReaderIDToObjMap::createObjs()'],['../classSVF_1_1ReaderPtrPool.html#ae324e7cf279e2b007a41ebea737d06f5',1,'SVF::ReaderPtrPool::createObjs()'],['../classSVF_1_1GenericGraphReader.html#a29c813df947df665d068fabe7b1fe919',1,'SVF::GenericGraphReader::createObjs()'],['../classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee',1,'SVF::SymbolTableInfoReader::createObjs()'],['../classSVF_1_1ICFGReader.html#ad1f5fb592f2c89ac76abff828506f608',1,'SVF::ICFGReader::createObjs()'],['../classSVF_1_1SVFModuleReader.html#a8145cbd243e0604582ae86408d0a2477',1,'SVF::SVFModuleReader::createObjs()'],['../classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24',1,'SVF::SVFIRReader::createObjs()']]],
|
|
540
|
+
['createobjtypeinfo_1358',['createObjTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()'],['../classSVF_1_1SymbolTableInfo.html#a2994a616d76020a21903fcdc2d2cfdff',1,'SVF::SymbolTableInfo::createObjTypeInfo()']]],
|
|
541
|
+
['createpagedge_1359',['createPAGEdge',['../classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106',1,'SVF::SVFIRReader']]],
|
|
542
|
+
['createpagnode_1360',['createPAGNode',['../classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4',1,'SVF::SVFIRReader']]],
|
|
543
|
+
['createsteensgaard_1361',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
|
|
544
|
+
['createsvfdatastructure_1362',['createSVFDataStructure',['../classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd',1,'SVF::LLVMModuleSet']]],
|
|
545
|
+
['createsvffunction_1363',['createSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a024f5de163fde6f63cb2d762b4b28d8a',1,'SVF::LLVMModuleSet']]],
|
|
546
|
+
['createsvftype_1364',['createSVFType',['../namespaceSVF.html#aa006007c2108ee3b1bf1f9087ef9a4e8',1,'SVF']]],
|
|
547
|
+
['createsvfvalue_1365',['createSVFValue',['../namespaceSVF.html#a5949109584f6bce72bd2414960f78afe',1,'SVF']]],
|
|
548
|
+
['createvfswpa_1366',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e',1,'SVF::VersionedFlowSensitive']]],
|
|
549
|
+
['cs_1367',['cs',['../classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#a718935df4d5b653bcf662243b67d7857',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
|
|
550
|
+
['csc_1368',['CSC',['../classSVF_1_1CSC.html',1,'SVF::CSC'],['../classSVF_1_1CSC.html#a4ffb05984b0509d97ec713fc6bfc4b6e',1,'SVF::CSC::CSC()'],['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR::csc()']]],
|
|
551
|
+
['csc_2ecpp_1369',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
|
|
552
|
+
['csc_2eh_1370',['CSC.h',['../CSC_8h.html',1,'']]],
|
|
553
|
+
['cscallstring_5fwpa_1371',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
|
|
554
|
+
['cschamap_1372',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
|
|
555
|
+
['cshasvfnsbasedoncha_1373',['csHasVFnsBasedonCHA',['../classSVF_1_1DCHGraph.html#a1494aeef22e15baaa160e8d598dd7de0',1,'SVF::DCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#a0ce9117288d9e0b498f128217fda0cca',1,'SVF::CommonCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39',1,'SVF::CHGraph::csHasVFnsBasedonCHA()']]],
|
|
556
|
+
['cshasvtblsbasedoncha_1374',['csHasVtblsBasedonCHA',['../classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallBase *cs)'],['../classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallSite cs) override'],['../classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1',1,'SVF::CommonCHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79',1,'SVF::CHGraph::csHasVtblsBasedonCHA()']]],
|
|
557
|
+
['csid_1375',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
|
|
558
|
+
['csnumtoinst_1376',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
|
|
559
|
+
['csnumtoinstmap_1377',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
|
|
560
|
+
['cssummary_5fwpa_1378',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
|
|
561
|
+
['cstoargslistmap_1379',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
|
|
562
|
+
['cstocallnodemap_1380',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
|
|
563
|
+
['cstocallnodemapty_1381',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
|
|
564
|
+
['cstocallsiteargsptsmap_1382',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
|
|
565
|
+
['cstocallsiteretptsmap_1383',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
|
|
566
|
+
['cstochavfnsmap_1384',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
|
|
567
|
+
['cstochavtblsmap_1385',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
|
|
568
|
+
['cstoclassesmap_1386',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
|
|
569
|
+
['cstoidmap_1387',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
|
|
570
|
+
['cstomodsmap_1388',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
|
|
571
|
+
['cstorefsmap_1389',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
|
|
572
|
+
['cstoretmap_1390',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
|
|
573
|
+
['cstoretnodemap_1391',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
|
|
574
|
+
['cstoretnodemapty_1392',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
|
|
575
|
+
['csworklist_1393',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
|
|
576
|
+
['ctermid_1394',['ctermid',['../extapi_8c.html#ab5e4eb3862b8cdd8d57eae42287b1adf',1,'extapi.c']]],
|
|
577
|
+
['ctplist_1395',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
|
|
578
|
+
['ctptonodemap_1396',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
|
|
579
|
+
['cttoforkcxtmap_1397',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
|
|
580
|
+
['cttoroutinefunmap_1398',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
|
|
581
|
+
['ctx_1399',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
|
|
582
|
+
['ctxset_1400',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
|
|
583
|
+
['cur_1401',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
|
|
584
|
+
['curbb_1402',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
|
|
585
|
+
['curevalsvfgnode_1403',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
|
|
586
|
+
['curloc_1404',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
|
|
587
|
+
['curptr_1405',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
|
|
588
|
+
['currelementiter_1406',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
|
|
589
|
+
['current_1407',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
|
|
590
|
+
['currentbestnodemapping_1408',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
|
|
591
|
+
['currentbestreversenodemapping_1409',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
|
|
592
|
+
['cursccid_1410',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
|
|
593
|
+
['curty_1411',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
|
|
594
|
+
['curval_1412',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
|
|
595
|
+
['customized_1413',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
|
|
596
|
+
['cutree_5fcdist_1414',['cutree_cdist',['../fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp']]],
|
|
597
|
+
['cutree_5fk_1415',['cutree_k',['../fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp']]],
|
|
598
|
+
['cvar_1416',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
|
|
599
|
+
['cxt_1417',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
|
|
600
|
+
['cxt_5fdda_1418',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
|
|
601
|
+
['cxt_5fthread_1419',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
|
|
602
|
+
['cxtbudget_1420',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
|
|
603
|
+
['cxtdpitem_1421',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF::CxtDPItem'],['../classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca',1,'SVF::CxtDPItem::CxtDPItem(NodeID c, const ContextCond &cxt)'],['../classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8',1,'SVF::CxtDPItem::CxtDPItem(const CxtVar &var)'],['../classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32',1,'SVF::CxtDPItem::CxtDPItem(const CxtDPItem &dps)'],['../classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf',1,'SVF::CxtDPItem::CxtDPItem(CxtDPItem &&dps) noexcept']]],
|
|
604
|
+
['cxtjoininloop_1422',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
|
|
605
|
+
['cxtlimit_1423',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
|
|
606
|
+
['cxtlocdpitem_1424',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
|
|
607
|
+
['cxtlock_1425',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
|
|
608
|
+
['cxtlockproc_1426',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
|
|
609
|
+
['cxtlockprocset_1427',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
|
|
610
|
+
['cxtlockprocvec_1428',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
|
|
611
|
+
['cxtlockset_1429',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()'],['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis::CxtLockSet()']]],
|
|
612
|
+
['cxtlocksetstr_1430',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
|
|
613
|
+
['cxtlocktolockset_1431',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
|
|
614
|
+
['cxtlocktospan_1432',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis::cxtLocktoSpan()'],['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis::CxtLockToSpan()']]],
|
|
615
|
+
['cxtproc_1433',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF::CxtProc'],['../classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0',1,'SVF::CxtProc::CxtProc(const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc',1,'SVF::CxtProc::CxtProc(const CxtProc &ctm)']]],
|
|
616
|
+
['cxtptset_1434',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
|
|
617
|
+
['cxts_1435',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
|
|
618
|
+
['cxtsize_1436',['cxtSize',['../classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1',1,'SVF::ContextCond']]],
|
|
619
|
+
['cxtstmt_1437',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF::CxtStmt'],['../classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32',1,'SVF::CxtStmt::CxtStmt(const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41',1,'SVF::CxtStmt::CxtStmt(const CxtStmt &ctm)']]],
|
|
620
|
+
['cxtstmt_2eh_1438',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]],
|
|
621
|
+
['cxtstmtdpitem_1439',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF::CxtStmtDPItem< LocCond >'],['../classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtVar &var, const LocCond *locCond)'],['../classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtStmtDPItem< LocCond > &dps)']]],
|
|
622
|
+
['cxtstmtlist_1440',['cxtStmtList',['../classSVF_1_1LockAnalysis.html#a109293f282e9b920b0b13c58026f6f1d',1,'SVF::LockAnalysis::cxtStmtList()'],['../classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb',1,'SVF::MHP::cxtStmtList()'],['../classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916',1,'SVF::ForkJoinAnalysis::cxtStmtList()']]],
|
|
623
|
+
['cxtstmtset_1441',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
|
|
624
|
+
['cxtstmttoaliveflagmap_1442',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis::cxtStmtToAliveFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis::CxtStmtToAliveFlagMap()']]],
|
|
625
|
+
['cxtstmttocxtlocks_1443',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
|
|
626
|
+
['cxtstmttocxtlockset_1444',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis::CxtStmtToCxtLockSet()']]],
|
|
627
|
+
['cxtstmttolockflagmap_1445',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
|
|
628
|
+
['cxtstmttoloopmap_1446',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
|
|
629
|
+
['cxtstmttotidmap_1447',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
|
|
630
|
+
['cxtstmtworklist_1448',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
|
|
631
|
+
['cxtthread_1449',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF::CxtThread'],['../classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280',1,'SVF::CxtThread::CxtThread(const CallStrCxt &c, const SVFInstruction *fork)'],['../classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3',1,'SVF::CxtThread::CxtThread(const CxtThread &ct)']]],
|
|
632
|
+
['cxtthreadproc_1450',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF::CxtThreadProc'],['../classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc',1,'SVF::CxtThreadProc::CxtThreadProc(NodeID t, const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8',1,'SVF::CxtThreadProc::CxtThreadProc(const CxtThreadProc &ctm)']]],
|
|
633
|
+
['cxtthreadprocset_1451',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
|
|
634
|
+
['cxtthreadprocvec_1452',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
|
|
635
|
+
['cxtthreadstmt_1453',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF::CxtThreadStmt'],['../classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d',1,'SVF::CxtThreadStmt::CxtThreadStmt(NodeID t, const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb',1,'SVF::CxtThreadStmt::CxtThreadStmt(const CxtThreadStmt &ctm)']]],
|
|
636
|
+
['cxtthreadstmtset_1454',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
|
|
637
|
+
['cxtthreadstmtworklist_1455',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
|
|
638
|
+
['cxtthreadtoforkcxt_1456',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
|
|
639
|
+
['cxtthreadtofun_1457',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
|
|
640
|
+
['cxtthreadtonodemap_1458',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
|
|
641
|
+
['cxttostr_1459',['cxtToStr',['../classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee',1,'SVF::CxtStmt::cxtToStr()'],['../classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47',1,'SVF::CxtThread::cxtToStr()'],['../classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281',1,'SVF::CxtProc::cxtToStr()']]],
|
|
642
|
+
['cxtvar_1460',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
|
|
643
|
+
['cycle_1461',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]],
|
|
644
|
+
['cycledepthnumber_1462',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]],
|
|
645
|
+
['cyclicfldidx_1463',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
|
|
645
646
|
];
|