git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/analyzer.h

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / analyzer.h

2024-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw
2023-12-16	David Malcolm	analyzer: add sarif properties for bounds checking...	blob \| commitdiff \| raw \| diff to current
2023-12-01	David Malcolm	diagnostics, analyzer: add optional per-diagnostic...	blob \| commitdiff \| raw \| diff to current
2023-11-19	David Malcolm	libcpp: split decls out to rich-location.h	blob \| commitdiff \| raw \| diff to current
2023-11-19	David Malcolm	analyzer: new warning: -Wanalyzer-undefined-behavior...	blob \| commitdiff \| raw \| diff to current
2023-09-15	David Malcolm	analyzer: introduce pending_location	blob \| commitdiff \| raw \| diff to current
2023-09-01	benjamin priour	analyzer: Add support of placement new and improved...	blob \| commitdiff \| raw \| diff to current
2023-08-27	benjamin priour	analyzer: Move gcc.dg/analyzer tests to c-c++-common...	blob \| commitdiff \| raw \| diff to current
2023-08-09	David Malcolm	analyzer: remove default return value from region_model...	blob \| commitdiff \| raw \| diff to current
2023-06-22	David Malcolm	analyzer: add text-art visualizations of out-of-bounds...	blob \| commitdiff \| raw \| diff to current
2023-01-26	David Malcolm	analyzer: fix false positives from -Wanalyzer-infinite...	blob \| commitdiff \| raw \| diff to current
2023-01-19	David Malcolm	analyzer: use dominator info in -Wanalyzer-deref-before...	blob \| commitdiff \| raw \| diff to current
2023-01-16	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2022-12-09	David Malcolm	analyzer: rename region-model-impl-calls.cc to kf.cc	blob \| commitdiff \| raw \| diff to current
2022-12-06	David Malcolm	analyzer: split out more stuff from region-model-impl...	blob \| commitdiff \| raw \| diff to current
2022-12-02	David Malcolm	analyzer: introduce struct event_loc_info	blob \| commitdiff \| raw \| diff to current
2022-12-02	David Malcolm	analyzer: fixes to region creation messages [PR107851]	blob \| commitdiff \| raw \| diff to current
2022-11-30	David Malcolm	analyzer work on issues with flex-generated lexers...	blob \| commitdiff \| raw \| diff to current
2022-11-24	David Malcolm	analyzer: move known funs for fds to sm-fd.cc	blob \| commitdiff \| raw \| diff to current
2022-11-22	David Malcolm	analyzer: eliminate region_model::impl_call_* special...	blob \| commitdiff \| raw \| diff to current
2022-11-18	David Malcolm	analyzer: move more impl_* to known_function	blob \| commitdiff \| raw \| diff to current
2022-11-16	David Malcolm	analyzer: log the stashing of named constants [PR107711]	blob \| commitdiff \| raw \| diff to current
2022-11-16	David Malcolm	analyzer: use known_function to simplify region_model...	blob \| commitdiff \| raw \| diff to current
2022-11-15	David Malcolm	c, analyzer: support named constants in analyzer [PR106302]	blob \| commitdiff \| raw \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for state machines from...	blob \| commitdiff \| raw \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for known functions	blob \| commitdiff \| raw \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr during bifurcation	blob \| commitdiff \| raw \| diff to current
2022-11-03	David Malcolm	analyzer: fix ICE when pipe's arg isn't a pointer ...	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: simplify some includes	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: revamp side-effects of call summaries [PR107072]	blob \| commitdiff \| raw \| diff to current
2022-09-09	David Malcolm	analyzer: add support for plugin-supplied known functio...	blob \| commitdiff \| raw \| diff to current
2022-09-08	Tim Lange	analyzer: support for symbolic values in the out-of...	blob \| commitdiff \| raw \| diff to current
2022-05-16	David Malcolm	analyzer: implement four new warnings for <stdarg.h...	blob \| commitdiff \| raw \| diff to current
2022-03-29	David Malcolm	analyzer: ensure that we purge state when reusing a...	blob \| commitdiff \| raw \| diff to current
2022-03-18	David Malcolm	analyzer: extend state-purging to locals [PR104943]	blob \| commitdiff \| raw \| diff to current
2022-03-10	David Malcolm	analyzer: add notes to write-to-const/string from acces...	blob \| commitdiff \| raw \| diff to current
2022-02-23	David Malcolm	analyzer: handle __attribute__((const)) [PR104434]	blob \| commitdiff \| raw \| diff to current
2022-02-02	David Malcolm	analyzer: implement bit_range_region	blob \| commitdiff \| raw \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2021-09-08	David Malcolm	analyzer: fix ICE when discarding result of realloc...	blob \| commitdiff \| raw \| diff to current
2021-08-30	David Malcolm	analyzer: support "bifurcation"; reimplement realloc...	blob \| commitdiff \| raw \| diff to current
2021-08-23	David Malcolm	analyzer: rewrite of switch handling	blob \| commitdiff \| raw \| diff to current
2021-08-04	David Malcolm	analyzer: initial implementation of asm support [PR101570]	blob \| commitdiff \| raw \| diff to current
2021-07-28	Siddhesh Poyarekar	analyzer: Handle strdup builtins	blob \| commitdiff \| raw \| diff to current
2021-07-16	David Malcolm	analyzer: add region_model::check_region_access	blob \| commitdiff \| raw \| diff to current
2021-07-15	David Malcolm	analyzer: reimplement -Wanalyzer-use-of-uninitialized...	blob \| commitdiff \| raw \| diff to current
2021-06-30	David Malcolm	analyzer: eliminate enum binding_key [PR95006]	blob \| commitdiff \| raw \| diff to current
2021-06-28	David Malcolm	analyzer: introduce byte_range and use to simplify...	blob \| commitdiff \| raw \| diff to current
2021-06-08	David Malcolm	analyzer: fix region::get_bit_size for bitfields	blob \| commitdiff \| raw \| diff to current
2021-03-31	David Malcolm	analyzer: avoid printing '<unknown>' for SSA names...	blob \| commitdiff \| raw \| diff to current
2021-01-18	David Malcolm	analyzer: use "malloc" attribute	blob \| commitdiff \| raw \| diff to current
2021-01-14	David Malcolm	analyzer: const fixes [PR98679]	blob \| commitdiff \| raw \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2020-11-30	David Malcolm	Add analyzer plugin support and CPython GIL example	blob \| commitdiff \| raw \| diff to current
2020-10-29	David Malcolm	analyzer: move svalue and region decls to their own...	blob \| commitdiff \| raw \| diff to current
2020-09-24	David Malcolm	analyzer: add -fno-analyzer-feasibility	blob \| commitdiff \| raw \| diff to current
2020-09-23	Tobias Burnus	gcc/analyzer: Silence -Wpragma warns with GCC < 10	blob \| commitdiff \| raw \| diff to current
2020-08-13	David Malcolm	analyzer: rewrite of region and value-handling	blob \| commitdiff \| raw \| diff to current
2020-03-27	David Malcolm	analyzer: add new supergraph visualization	blob \| commitdiff \| raw \| diff to current
2020-03-06	David Malcolm	analyzer: improvements to region_model::get_representat...	blob \| commitdiff \| raw \| diff to current
2020-03-06	David Malcolm	analyzer: improvements to state dumping	blob \| commitdiff \| raw \| diff to current
2020-03-02	David Malcolm	analyzer: detect malloc, free, calloc within "std"...	blob \| commitdiff \| raw \| diff to current
2020-01-29	Jakub Jelinek	analyzer: fix build with gcc 4.4 (PR 93276)	blob \| commitdiff \| raw \| diff to current
2020-01-27	David Malcolm	analyzer: fix setjmp-detection and support sigsetjmp	blob \| commitdiff \| raw \| diff to current
2020-01-27	David Malcolm	analyzer: fix build with gcc 4.4 (PR 93276)	blob \| commitdiff \| raw \| diff to current
2020-01-22	David Malcolm	analyzer: introduce namespace to avoid ODR clashes...	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	analyzer: purge state for unknown function calls	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	Initial commit of analyzer	blob \| commitdiff \| raw \| diff to current

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom