]> git.ipfire.org Git - thirdparty/gcc.git/tree - gcc/analyzer/
analyzer: add sarif properties for bounds checking diagnostics
[thirdparty/gcc.git] / gcc / analyzer /
drwxr-xr-x   ..
-rw-r--r-- 474266 ChangeLog
-rw-r--r-- 87734 access-diagram.cc
-rw-r--r-- 4417 access-diagram.h
-rw-r--r-- 4190 analysis-plan.cc
-rw-r--r-- 1871 analysis-plan.h
-rw-r--r-- 4654 analyzer-language.cc
-rw-r--r-- 1852 analyzer-language.h
-rw-r--r-- 5222 analyzer-logging.cc
-rw-r--r-- 6625 analyzer-logging.h
-rw-r--r-- 2838 analyzer-pass.cc
-rw-r--r-- 1853 analyzer-selftests.cc
-rw-r--r-- 1677 analyzer-selftests.h
-rw-r--r-- 14270 analyzer.cc
-rw-r--r-- 15899 analyzer.h
-rw-r--r-- 16288 analyzer.opt
-rw-r--r-- 2891 bar-chart.cc
-rw-r--r-- 1601 bar-chart.h
-rw-r--r-- 40628 bounds-checking.cc
-rw-r--r-- 13922 call-details.cc
-rw-r--r-- 3808 call-details.h
-rw-r--r-- 4470 call-info.cc
-rw-r--r-- 3024 call-info.h
-rw-r--r-- 8915 call-string.cc
-rw-r--r-- 4938 call-string.h
-rw-r--r-- 27163 call-summary.cc
-rw-r--r-- 3930 call-summary.h
-rw-r--r-- 32800 checker-event.cc
-rw-r--r-- 18923 checker-event.h
-rw-r--r-- 10501 checker-path.cc
-rw-r--r-- 4056 checker-path.h
-rw-r--r-- 3043 complexity.cc
-rw-r--r-- 1719 complexity.h
-rw-r--r-- 134039 constraint-manager.cc
-rw-r--r-- 13746 constraint-manager.h
-rw-r--r-- 93543 diagnostic-manager.cc
-rw-r--r-- 7147 diagnostic-manager.h
-rw-r--r-- 185438 engine.cc
-rw-r--r-- 927 engine.h
-rw-r--r-- 29850 exploded-graph.h
-rw-r--r-- 9295 feasible-graph.cc
-rw-r--r-- 5982 feasible-graph.h
-rw-r--r-- 4585 function-set.cc
-rw-r--r-- 1367 function-set.h
-rw-r--r-- 16072 infinite-loop.cc
-rw-r--r-- 19904 infinite-recursion.cc
-rw-r--r-- 2910 inlining-iterator.h
-rw-r--r-- 11400 kf-analyzer.cc
-rw-r--r-- 6108 kf-lang-cp.cc
-rw-r--r-- 69827 kf.cc
-rw-r--r-- 4694 known-function-manager.cc
-rw-r--r-- 2703 known-function-manager.h
-rw-r--r-- 8132 pending-diagnostic.cc
-rw-r--r-- 15417 pending-diagnostic.h
-rw-r--r-- 22114 program-point.cc
-rw-r--r-- 8376 program-point.h
-rw-r--r-- 55686 program-state.cc
-rw-r--r-- 9592 program-state.h
-rw-r--r-- 9335 ranges.cc
-rw-r--r-- 2613 ranges.h
-rw-r--r-- 2065 reachability.h
-rw-r--r-- 3089 record-layout.cc
-rw-r--r-- 2304 record-layout.h
-rw-r--r-- 9454 region-model-asm.cc
-rw-r--r-- 64726 region-model-manager.cc
-rw-r--r-- 12130 region-model-manager.h
-rw-r--r-- 10031 region-model-reachability.cc
-rw-r--r-- 3929 region-model-reachability.h
-rw-r--r-- 272327 region-model.cc
-rw-r--r-- 40495 region-model.h
-rw-r--r-- 60128 region.cc
-rw-r--r-- 41236 region.h
-rw-r--r-- 80214 sm-fd.cc
-rw-r--r-- 7815 sm-fd.dot
-rw-r--r-- 18500 sm-file.cc
-rw-r--r-- 1999 sm-file.dot
-rw-r--r-- 76009 sm-malloc.cc
-rw-r--r-- 3271 sm-malloc.dot
-rw-r--r-- 4171 sm-pattern-test.cc
-rw-r--r-- 6850 sm-sensitive.cc
-rw-r--r-- 11109 sm-signal.cc
-rw-r--r-- 43633 sm-taint.cc
-rw-r--r-- 5423 sm.cc
-rw-r--r-- 11333 sm.h
-rw-r--r-- 33094 state-purge.cc
-rw-r--r-- 7085 state-purge.h
-rw-r--r-- 107669 store.cc
-rw-r--r-- 27738 store.h
-rw-r--r-- 38208 supergraph.cc
-rw-r--r-- 17081 supergraph.h
-rw-r--r-- 55612 svalue.cc
-rw-r--r-- 48778 svalue.h
-rw-r--r-- 1187 symbol.cc
-rw-r--r-- 1437 symbol.h
-rw-r--r-- 4823 trimmed-graph.cc
-rw-r--r-- 3263 trimmed-graph.h
-rw-r--r-- 33736 varargs.cc
-rw-r--r-- 1740 varargs.dot