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

projects / platform / upstream / gcc.git / history

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

2022-11-08	David Malcolm	analyzer: start adding support for errno	blob \| commitdiff
2022-11-08	David Malcolm	analyzer: fix "when 'strchr' returns non-NULL" message	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-11-03	David Malcolm	analyzer: fix ICE when pipe's arg isn't a pointer ...	blob \| commitdiff \| diff to current
2022-10-24	David Malcolm	analyzer: handle (NULL == &VAR) [PR107345]	blob \| commitdiff \| diff to current
2022-10-24	David Malcolm	analyzer: handle "pipe" and "pipe2" [PR106300]	blob \| commitdiff \| diff to current
2022-10-07	David Malcolm	analyzer: extract bits from integer constants [PR105783]	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: widening_svalues take a function_point rather...	blob \| commitdiff \| diff to current
2022-09-12	Martin Liska	analyzer: remove unused fields	blob \| commitdiff \| diff to current
2022-09-11	Tim Lange	analyzer: consider empty ranges and zero byte accesses...	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-22	Martin Liska	analyzer: add missing final keyword	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-16	Martin Liska	analyzer: add more final override keywords	blob \| commitdiff \| diff to current
2022-08-15	David Malcolm	analyzer: fix direction of -Wanalyzer-out-of-bounds...	blob \| commitdiff \| diff to current
2022-08-15	David Malcolm	analyzer: better fix for -Wanalyzer-use-of-uninitialize...	blob \| commitdiff \| diff to current
2022-08-12	Tim Lange	analyzer: out-of-bounds checker [PR106000]	blob \| commitdiff \| diff to current
2022-08-09	David Malcolm	analyzer: fix missing -Wanalyzer-use-of-uninitialized...	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-22	Tim Lange	Fix handling of zero capacity regions in -Wanalyzer...	blob \| commitdiff \| diff to current
2022-07-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| diff to current
2022-07-06	David Malcolm	analyzer: fix uninit false positive with -ftrivial...	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-23	David Malcolm	analyzer: use 'final' and 'override' where appropriate	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-03-29	David Malcolm	analyzer: ensure that we purge state when reusing a...	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-16	David Malcolm	analyzer: early rejection of disabled warnings [PR104955]	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-17	David Malcolm	analyzer: const functions have no side effects [PR104576]	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-11	David Malcolm	analyzer: ignore uninitialized uses of empty types...	blob \| commitdiff \| diff to current
2022-02-09	David Malcolm	analyzer: fix hashing of bit_range_region::key_t [PR104452]	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-02-02	David Malcolm	analyzer: stop -ftrivial-auto-var-init from suppressing...	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-20	David Malcolm	analyzer: reject ((i + 1 > 0) && (i < 0)) for integers...	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-09-08	David Malcolm	analyzer: fix ICE when discarding result of realloc...	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-23	David Malcolm	analyzer: assume that POINTER_PLUS_EXPR of non-NULL...	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 virtual function calls	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: play better with -fsanitize=bounds	blob \| commitdiff \| diff to current
2021-07-28	David Malcolm	analyzer: remove redundant return value from various...	blob \| commitdiff \| diff to current
2021-07-26	David Malcolm	analyzer: fix uninit false +ve when returning structs	blob \| commitdiff \| diff to current
2021-07-21	David Malcolm	analyzer: fix issues with phi handling	blob \| commitdiff \| diff to current
2021-07-19	David Malcolm	analyzer: add svalue::can_have_associated_state_p ...	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 svalue::maybe_get_region	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-22	David Malcolm	analyzer: fix ICE on malloc/alloca param type mismatch...	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: 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-13	Trevor Saunders	use range based for loops to iterate over vec<>	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-04-10	David Malcolm	analyzer: fix ICE on assignment from STRING_CST when...	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-03-31	David Malcolm	analyzer: avoid printing '<unknown>' for SSA names...	blob \| commitdiff \| diff to current
2021-03-25	David Malcolm	analyzer; reset sm-state for SSA names at def-stmts...	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-17	David Malcolm	analyzer: fix false leak involving params [PR98969]	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-11-12	David Malcolm	analyzer: warn on invalid shift counts [PR97424]	blob \| commitdiff \| diff to current
2020-11-10	Martin Liska	analyzer: remove dead code	blob \| commitdiff \| diff to current
2020-10-27	David Malcolm	analyzer: don't assume extern const vars are zero-initi...	blob \| commitdiff \| diff to current
2020-10-27	David Malcolm	analyzer: implement region_model::get_representative_pa...	blob \| commitdiff \| diff to current
2020-10-14	David Malcolm	analyzer: fix ICE on globals with unknown size [PR93388]	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
next

Domain: System / Toolchain;

RSS Atom