review.tizen.org Git - platform/upstream/gcc.git/history

projects / platform / upstream / gcc.git / history

[platform/upstream/gcc.git] / gcc / analyzer / region-model.h

2023-01-13	David Malcolm	analyzer: add heuristics for switch on enum type [PR105273]	blob \| commitdiff
2022-12-16	David Malcolm	analyzer: add src_region param to region_model::check_f...	blob \| commitdiff \| diff to current
2022-12-09	David Malcolm	analyzer: fix ICE on region creation during get_referen...	blob \| commitdiff \| diff to current
2022-12-06	David Malcolm	analyzer: use __attribute__((nonnull)) at top level...	blob \| commitdiff \| diff to current
2022-12-06	David Malcolm	analyzer: split out more stuff from region-model-impl...	blob \| commitdiff \| diff to current
2022-12-01	David Malcolm	analyzer: move bounds checking to a new bounds-checking.cc	blob \| commitdiff \| diff to current
2022-11-24	David Malcolm	analyzer: revamp of heap-allocated regions [PR106473]	blob \| commitdiff \| diff to current
2022-11-24	David Malcolm	analyzer: eliminate region_model::on_ fns for sockets	blob \| commitdiff \| diff to current
2022-11-22	David Malcolm	analyzer: eliminate region_model::impl_call_* special...	blob \| commitdiff \| diff to current
2022-11-22	David Malcolm	analyzer: fix ICE on 'bind' with non-pointer arg [P107783]	blob \| commitdiff \| diff to current
2022-11-18	David Malcolm	analyzer: move more impl_* to known_function	blob \| commitdiff \| diff to current
2022-11-16	David Malcolm	analyzer: use known_function to simplify region_model...	blob \| commitdiff \| diff to current
2022-11-15	David Malcolm	analyzer: add warnings relating to sockets [PR106140]	blob \| commitdiff \| diff to current
2022-11-15	David Malcolm	c, analyzer: support named constants in analyzer [PR106302]	blob \| commitdiff \| diff to current
2022-11-10	David Malcolm	analyzer: new warning: -Wanalyzer-deref-before-check...	blob \| commitdiff \| diff to current
2022-11-08	David Malcolm	analyzer: eliminate region_model::eval_condition_withou...	blob \| commitdiff \| diff to current
2022-11-08	David Malcolm	analyzer: start adding support for errno	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr during bifurcation	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for pending_diagnostic...	blob \| commitdiff \| diff to current
2022-10-24	David Malcolm	analyzer: simplify sm_state_map lookup	blob \| commitdiff \| diff to current
2022-10-24	David Malcolm	analyzer: handle "pipe" and "pipe2" [PR106300]	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: simplify some includes	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: fix ICEs seen with call summaries on PR 107060	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: revamp side-effects of call summaries [PR107072]	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: move region_model_manager decl to its own...	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: widening_svalues take a function_point rather...	blob \| commitdiff \| diff to current
2022-09-09	David Malcolm	analyzer: implement trust boundaries via a plugin for...	blob \| commitdiff \| diff to current
2022-09-09	David Malcolm	analyzer: add support for plugin-supplied known functio...	blob \| commitdiff \| diff to current
2022-09-08	Tim Lange	analyzer: support for symbolic values in the out-of...	blob \| commitdiff \| diff to current
2022-09-05	Tim Lange	analyzer: strcpy semantics	blob \| commitdiff \| diff to current
2022-08-18	Tim Lange	analyzer: warn on the use of floating-points operands...	blob \| commitdiff \| diff to current
2022-08-12	Tim Lange	analyzer: out-of-bounds checker [PR106000]	blob \| commitdiff \| diff to current
2022-07-28	David Malcolm	analyzer: new warning: -Wanalyzer-putenv-of-auto-var...	blob \| commitdiff \| diff to current
2022-07-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| diff to current
2022-07-02	Tim Lange	analyzer: add allocation size checker [PR105900]	blob \| commitdiff \| diff to current
2022-06-24	David Malcolm	analyzer: consolidate call_string instances	blob \| commitdiff \| diff to current
2022-05-20	David Malcolm	Use "final" and "override" directly, rather than via...	blob \| commitdiff \| diff to current
2022-05-16	David Malcolm	analyzer: implement four new warnings for <stdarg.h...	blob \| commitdiff \| diff to current
2022-04-09	David Malcolm	analyzer: fix folding of regions involving unknown...	blob \| commitdiff \| diff to current
2022-03-29	David Malcolm	analyzer: ensure that we purge state when reusing a...	blob \| commitdiff \| diff to current
2022-03-25	David Malcolm	analyzer: add region::tracked_p to optimize state objec...	blob \| commitdiff \| diff to current
2022-03-23	David Malcolm	analyzer: fix accessing wrong stack frame on interproce...	blob \| commitdiff \| diff to current
2022-03-18	David Malcolm	analyzer: extend state-purging to locals [PR104943]	blob \| commitdiff \| diff to current
2022-03-10	David Malcolm	analyzer: add notes to write-to-const/string from acces...	blob \| commitdiff \| diff to current
2022-03-10	David Malcolm	analyzer: check for writes to consts via access attr...	blob \| commitdiff \| diff to current
2022-02-23	David Malcolm	analyzer: handle __attribute__((const)) [PR104434]	blob \| commitdiff \| diff to current
2022-02-15	David Malcolm	analyzer: fix uninit false +ve due to optimized conditi...	blob \| commitdiff \| diff to current
2022-02-02	David Malcolm	analyzer: fix missing check for uninit of return values	blob \| commitdiff \| diff to current
2022-02-02	David Malcolm	analyzer: implement bit_range_region	blob \| commitdiff \| diff to current
2022-01-27	David Malcolm	analyzer: show region creation events for uninit warnings	blob \| commitdiff \| diff to current
2022-01-26	David Malcolm	analyzer: fix missing uninit warning on args to stdio...	blob \| commitdiff \| diff to current
2022-01-11	David Malcolm	analyzer: fix false +ve on bitwise binops (PR analyzer...	blob \| commitdiff \| diff to current
2022-01-08	David Malcolm	analyzer: add logging of aliasing	blob \| commitdiff \| diff to current
2022-01-08	David Malcolm	analyzer: implement __analyzer_dump_escaped	blob \| commitdiff \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| diff to current
2021-11-19	David Malcolm	analyzer: fix false leak due to overeager state merging...	blob \| commitdiff \| diff to current
2021-11-17	David Malcolm	analyzer: fix missing -Wanalyzer-write-to-const [PR102695]	blob \| commitdiff \| diff to current
2021-11-13	David Malcolm	analyzer: add four new taint-based warnings	blob \| commitdiff \| diff to current
2021-08-30	David Malcolm	analyzer: support "bifurcation"; reimplement realloc...	blob \| commitdiff \| diff to current
2021-08-23	David Malcolm	analyzer: rewrite of switch handling	blob \| commitdiff \| diff to current
2021-08-21	Ankur Saini	analyzer: Fix PR analyzer/101980	blob \| commitdiff \| diff to current
2021-08-18	Ankur Saini	analyzer: detect and analyze calls via function pointer	blob \| commitdiff \| diff to current
2021-08-04	David Malcolm	analyzer: initial implementation of asm support [PR101570]	blob \| commitdiff \| diff to current
2021-07-28	David Malcolm	analyzer: remove redundant return value from various...	blob \| commitdiff \| diff to current
2021-07-23	David Malcolm	analyzer: fix feasibility false +ve with overly complex...	blob \| commitdiff \| diff to current
2021-07-21	David Malcolm	analyzer: fix issues with phi handling	blob \| commitdiff \| diff to current
2021-07-16	David Malcolm	analyzer: add region_model::check_region_access	blob \| commitdiff \| diff to current
2021-07-16	David Malcolm	analyzer: add __analyzer_dump_state	blob \| commitdiff \| diff to current
2021-07-15	David Malcolm	analyzer: reimplement -Wanalyzer-use-of-uninitialized...	blob \| commitdiff \| diff to current
2021-07-07	David Malcolm	analyzer: remove add_any_constraints_from_ssa_def_stmt	blob \| commitdiff \| diff to current
2021-06-30	David Malcolm	analyzer: eliminate enum binding_key [PR95006]	blob \| commitdiff \| diff to current
2021-06-18	David Malcolm	analyzer: add region_model_manager::get_or_create_int_cst	blob \| commitdiff \| diff to current
2021-06-15	David Malcolm	analyzer: fix bitfield endianness issues [PR99212,PR101082]	blob \| commitdiff \| diff to current
2021-06-15	David Malcolm	analyzer: track dynamic extents of regions	blob \| commitdiff \| diff to current
2021-06-15	David Malcolm	analyzer: add class region_to_value_map	blob \| commitdiff \| diff to current
2021-06-09	David Malcolm	analyzer: make various region_model member functions...	blob \| commitdiff \| diff to current
2021-06-08	David Malcolm	analyzer: bitfield fixes [PR99212]	blob \| commitdiff \| diff to current
2021-05-10	Martin Liska	Remove __cplusplus >= 201103	blob \| commitdiff \| diff to current
2021-04-08	David Malcolm	analyzer: fix leak false +ves due to maybe-clobbered...	blob \| commitdiff \| diff to current
2021-02-25	David Malcolm	analyzer: fix false positive on realloc [PR99193]	blob \| commitdiff \| diff to current
2021-02-22	David Malcolm	analyzer: handle error/error_at_line [PR99196]	blob \| commitdiff \| diff to current
2021-02-12	David Malcolm	analyzer: fix ICE in print_mem_ref [PR98969]	blob \| commitdiff \| diff to current
2021-01-18	David Malcolm	analyzer: use "malloc" attribute	blob \| commitdiff \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| diff to current
2020-10-29	David Malcolm	analyzer: move svalue and region decls to their own...	blob \| commitdiff \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-determinism in logs	blob \| commitdiff \| diff to current
2020-10-27	David Malcolm	analyzer: implement region_model::get_representative_pa...	blob \| commitdiff \| diff to current
2020-10-12	David Malcolm	analyzer: handle static callbacks [PR97258]	blob \| commitdiff \| diff to current
2020-10-12	David Malcolm	analyzer: add warnings about writes to constant regions...	blob \| commitdiff \| diff to current
2020-09-28	David Malcolm	analyzer: add some missing FINAL OVERRIDEs	blob \| commitdiff \| diff to current
2020-09-24	David Malcolm	analyzer: add -fno-analyzer-feasibility	blob \| commitdiff \| diff to current
2020-09-22	David Malcolm	analyzer: add -fdump-analyzer-json	blob \| commitdiff \| diff to current
2020-09-21	David Malcolm	analyzer: fix ICE on bogus decl of memset [PR97130]	blob \| commitdiff \| diff to current
2020-09-11	David Malcolm	analyzer: stricter handling of non-pure builtins [PR96798]	blob \| commitdiff \| diff to current
2020-09-09	David Malcolm	analyzer: generalize sm-malloc to new/delete [PR94355]	blob \| commitdiff \| diff to current
2020-08-26	David Malcolm	analyzer: fix ICE on initializers for unsized array...	blob \| commitdiff \| diff to current
2020-08-19	David Malcolm	analyzer: consider initializers for globals [PR96651]	blob \| commitdiff \| diff to current
2020-08-14	David Malcolm	analyzer: fix initialization from constant pool [PR9660...	blob \| commitdiff \| diff to current
2020-08-13	David Malcolm	analyzer: rewrite of region and value-handling	blob \| commitdiff \| diff to current
2020-04-28	David Malcolm	analyzer: fix ICE copying struct [PR 94816]	blob \| commitdiff \| diff to current
next

Domain: System / Toolchain;

RSS Atom