summaryrefslogtreecommitdiff
path: root/gcc/analyzer/analyzer.h
Commit message (Expand)AuthorAgeFilesLines
* analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm2022-09-091-0/+13
* analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange2022-09-081-8/+15
* analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm2022-05-161-0/+4
* analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm2022-03-281-0/+1
* analyzer: extend state-purging to locals [PR104943]David Malcolm2022-03-181-0/+1
* analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm2022-03-101-0/+1
* analyzer: handle __attribute__((const)) [PR104434]David Malcolm2022-02-231-0/+1
* analyzer: implement bit_range_regionDavid Malcolm2022-02-021-0/+1
* Update copyright years.Jakub Jelinek2022-01-031-1/+1
* analyzer: fix ICE when discarding result of realloc [PR102225]David Malcolm2021-09-081-0/+2
* analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm2021-08-301-0/+51
* analyzer: rewrite of switch handlingDavid Malcolm2021-08-231-1/+3
* analyzer: initial implementation of asm support [PR101570]David Malcolm2021-08-041-0/+2
* analyzer: Handle strdup builtinsSiddhesh Poyarekar2021-07-281-4/+4
* analyzer: add region_model::check_region_accessDavid Malcolm2021-07-161-0/+8
* analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm2021-07-151-0/+1
* analyzer: eliminate enum binding_key [PR95006]David Malcolm2021-06-301-0/+5
* analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm2021-06-281-0/+1
* analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm2021-06-081-0/+2
* analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm2021-03-311-0/+1
* analyzer: use "malloc" attributeDavid Malcolm2021-01-181-0/+1
* analyzer: const fixes [PR98679]David Malcolm2021-01-141-1/+1
* Update copyright years.Jakub Jelinek2021-01-041-1/+1
* Add analyzer plugin support and CPython GIL exampleDavid Malcolm2020-11-301-0/+13
* analyzer: move svalue and region decls to their own header filesDavid Malcolm2020-10-281-0/+3
* analyzer: add -fno-analyzer-feasibilityDavid Malcolm2020-09-231-0/+1
* gcc/analyzer: Silence -Wpragma warns with GCC < 10Tobias Burnus2020-09-231-1/+2
* analyzer: rewrite of region and value-handlingDavid Malcolm2020-08-131-6/+186
* analyzer: add new supergraph visualizationDavid Malcolm2020-03-271-0/+1
* analyzer: improvements to region_model::get_representative_treeDavid Malcolm2020-03-061-0/+1
* analyzer: improvements to state dumpingDavid Malcolm2020-03-061-2/+6
* analyzer: detect malloc, free, calloc within "std" [PR93959]David Malcolm2020-03-021-0/+2
* analyzer: fix build with gcc 4.4 (PR 93276)Jakub Jelinek2020-01-291-16/+0
* analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm2020-01-271-1/+3
* analyzer: fix build with gcc 4.4 (PR 93276)David Malcolm2020-01-271-6/+10
* analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm2020-01-221-0/+5
* analyzer: purge state for unknown function callsDavid Malcolm2020-01-141-0/+2
* Initial commit of analyzerDavid Malcolm2020-01-141-0/+122
View Lorry Controller Status