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

projects / platform / upstream / gcc.git / history

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

2023-03-18	David Malcolm	analyzer: fix ICE on certain longjmp calls [PR109094]	blob \| commitdiff
2023-03-10	David Malcolm	analyzer: fix leak false +ve seen in haproxy's cfgparse...	blob \| commitdiff \| diff to current
2023-03-02	David Malcolm	analyzer: fix uninit false +ves reading from DECL_HARD_...	blob \| commitdiff \| diff to current
2023-03-01	David Malcolm	analyzer: fixes to side-effects for built-in functions...	blob \| commitdiff \| diff to current
2023-02-21	David Malcolm	analyzer: stop exploring the path after certain diagnos...	blob \| commitdiff \| diff to current
2023-02-16	David Malcolm	analyzer: respect some conditions from bit masks [PR108806]	blob \| commitdiff \| diff to current
2023-02-15	David Malcolm	analyzer: fix uninit false +ves [PR108664,PR108666...	blob \| commitdiff \| diff to current
2023-01-16	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| diff to current
2023-01-13	David Malcolm	analyzer: add heuristics for switch on enum type [PR105273]	blob \| commitdiff \| diff to current
2023-01-11	David Malcolm	analyzer: fix leak false positives on "*UNKNOWN = PTR...	blob \| commitdiff \| diff to current
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: don't create bindings or binding keys for...	blob \| commitdiff \| diff to current
2022-12-06	David Malcolm	analyzer: use __attribute__((nonnull)) at top level...	blob \| commitdiff \| diff to current
2022-12-02	David Malcolm	analyzer: introduce struct event_loc_info	blob \| commitdiff \| diff to current
2022-12-02	David Malcolm	analyzer: fixes to region creation messages [PR107851]	blob \| commitdiff \| diff to current
2022-12-02	David Malcolm	analyzer: handle comparisons against negated symbolic...	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-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' that returns a struct ...	blob \| commitdiff \| diff to current
2022-11-22	David Malcolm	analyzer: fix ICE on writes to errno [PR107777]	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-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
next

Domain: System / Toolchain;

RSS Atom