aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/analyzer.h
AgeCommit message (Expand)AuthorFilesLines
2022-12-06analyzer: split out more stuff from region-model-impl-calls.ccDavid Malcolm1-0/+2
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-0/+1
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm1-1/+2
2022-11-29analyzer work on issues with flex-generated lexers [PR103546]David Malcolm1-0/+1
2022-11-23analyzer: move known funs for fds to sm-fd.ccDavid Malcolm1-0/+1
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm1-0/+13
2022-11-18analyzer: move more impl_* to known_functionDavid Malcolm1-2/+0
2022-11-16analyzer: log the stashing of named constants [PR107711]David Malcolm1-0/+2
2022-11-16analyzer: use known_function to simplify region_model::on_call_{pre,post}David Malcolm1-2/+12
2022-11-15c, analyzer: support named constants in analyzer [PR106302]David Malcolm1-0/+3
2022-11-03analyzer: use std::unique_ptr for state machines from pluginsDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr for known functionsDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm1-3/+2
2022-11-03analyzer: fix ICE when pipe's arg isn't a pointer [PR107486]David Malcolm1-0/+2
2022-10-05analyzer: simplify some includesDavid Malcolm1-0/+2
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+11
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-0/+13
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange1-8/+15
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+4
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-0/+1
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-0/+1
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm1-0/+1
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-0/+1
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-09-08analyzer: fix ICE when discarding result of realloc [PR102225]David Malcolm1-0/+2
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-0/+51
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-1/+3
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+2
2021-07-28analyzer: Handle strdup builtinsSiddhesh Poyarekar1-4/+4
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-0/+8
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+1
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-0/+5
2021-06-28analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm1-0/+1
2021-06-08analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm1-0/+2
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm1-0/+1
2021-01-18analyzer: use "malloc" attributeDavid Malcolm1-0/+1
2021-01-14analyzer: const fixes [PR98679]David Malcolm1-1/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-0/+13
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm1-0/+3
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-0/+1
2020-09-23gcc/analyzer: Silence -Wpragma warns with GCC < 10Tobias Burnus1-1/+2
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-6/+186
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm1-0/+1
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm1-0/+1
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-2/+6
2020-03-02analyzer: detect malloc, free, calloc within "std" [PR93959]David Malcolm1-0/+2
2020-01-29analyzer: fix build with gcc 4.4 (PR 93276)Jakub Jelinek1-16/+0
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-1/+3