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

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/region-model.cc

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / region-model.cc

2023-12-16	David Malcolm	analyzer: add sarif properties for bounds checking...	blob \| commitdiff \| raw
2023-12-08	David Malcolm	analyzer: fix ICE on infoleak with poisoned size	blob \| commitdiff \| raw \| diff to current
2023-12-07	Alexandre Oliva	analyzer: deal with -fshort-enums	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	analyzer: new warning: -Wanalyzer-undefined-behavior...	blob \| commitdiff \| raw \| diff to current
2023-11-18	David Malcolm	analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]	blob \| commitdiff \| raw \| diff to current
2023-11-02	David Malcolm	analyzer: fix clang warnings [PR112317]	blob \| commitdiff \| raw \| diff to current
2023-10-31	David Malcolm	analyzer: move class record_layout to its own .h/.cc	blob \| commitdiff \| raw \| diff to current
2023-10-26	David Malcolm	Add attribute((null_terminated_string_arg(PARAM_IDX)))	blob \| commitdiff \| raw \| diff to current
2023-09-15	David Malcolm	analyzer: handle volatile ops	blob \| commitdiff \| raw \| diff to current
2023-09-14	David Malcolm	analyzer: use unique_ptr for rejected_constraint	blob \| commitdiff \| raw \| diff to current
2023-09-09	benjamin priour	analyzer: Move gcc.dg/analyzer tests to c-c++-common...	blob \| commitdiff \| raw \| diff to current
2023-09-07	David Malcolm	analyzer: basic support for computed gotos (PR analyzer...	blob \| commitdiff \| raw \| diff to current
2023-09-06	David Malcolm	analyzer: implement kf_strncpy [PR105899]	blob \| commitdiff \| raw \| diff to current
2023-09-06	David Malcolm	analyzer: add ctxt to fill_region/zero_fill_region	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-30	Eric Feng	analyzer: implement reference count checking for CPytho...	blob \| commitdiff \| raw \| diff to current
2023-08-30	Francois-Xavier...	Analyzer: include algorithm header	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-24	David Malcolm	analyzer: implement kf_strcat [PR105899]	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: handle strlen(BITS_WITHIN) [PR105899]	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: reimplement kf_memcpy_memmove	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: eliminate region_model::get_string_size ...	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: reimplement kf_strcpy [PR105899]	blob \| commitdiff \| raw \| diff to current
2023-08-24	David Malcolm	analyzer: handle symbolic bindings in scan_for_null_ter...	blob \| commitdiff \| raw \| diff to current
2023-08-22	David Malcolm	analyzer: check format strings for null termination...	blob \| commitdiff \| raw \| diff to current
2023-08-22	David Malcolm	analyzer: replace -Wanalyzer-unterminated-string with...	blob \| commitdiff \| raw \| diff to current
2023-08-22	David Malcolm	analyzer: handle NULL inner context in region_model_con...	blob \| commitdiff \| raw \| diff to current
2023-08-22	David Malcolm	analyzer: add ability for context to add events to...	blob \| commitdiff \| raw \| diff to current
2023-08-22	David Malcolm	analyzer: convert note_adding_context to annotating_context	blob \| commitdiff \| raw \| diff to current
2023-08-11	David Malcolm	analyzer: new warning: -Wanalyzer-unterminated-string...	blob \| commitdiff \| raw \| diff to current
2023-08-11	Eric Feng	analyzer: More features for CPython analyzer plugin...	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-08-04	David Malcolm	analyzer: handle function attribute "alloc_size" [PR110426]	blob \| commitdiff \| raw \| diff to current
2023-07-26	David Malcolm	analyzer: add symbol base class, moving region id to...	blob \| commitdiff \| raw \| diff to current
2023-07-21	David Malcolm	analyzer: avoid usage of TYPE_PRECISION on vector types...	blob \| commitdiff \| raw \| diff to current
2023-06-29	benjamin priour	analyzer: Fix regression bug after r14-1632-g9589a46dda...	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-06-10	Tim Lange	analyzer: Fix allocation size false positive on conjure...	blob \| commitdiff \| raw \| diff to current
2023-06-09	David Malcolm	analyzer: add caching to globals with initializers...	blob \| commitdiff \| raw \| diff to current
2023-06-08	Benjamin Priour	analyzer: Standalone OOB-warning [PR109437, PR109439]	blob \| commitdiff \| raw \| diff to current
2023-05-18	Bernhard Reutner...	analyzer: use _P() defines from tree.h	blob \| commitdiff \| raw \| diff to current
2023-03-18	David Malcolm	analyzer: fix ICE on certain longjmp calls [PR109094]	blob \| commitdiff \| raw \| diff to current
2023-03-10	David Malcolm	analyzer: fix leak false +ve seen in haproxy's cfgparse...	blob \| commitdiff \| raw \| diff to current
2023-03-02	David Malcolm	analyzer: fix uninit false +ves reading from DECL_HARD_...	blob \| commitdiff \| raw \| diff to current
2023-03-01	David Malcolm	analyzer: fixes to side-effects for built-in functions...	blob \| commitdiff \| raw \| diff to current
2023-02-21	David Malcolm	analyzer: stop exploring the path after certain diagnos...	blob \| commitdiff \| raw \| diff to current
2023-02-16	David Malcolm	analyzer: respect some conditions from bit masks [PR108806]	blob \| commitdiff \| raw \| diff to current
2023-02-15	David Malcolm	analyzer: fix uninit false +ves [PR108664,PR108666...	blob \| commitdiff \| raw \| diff to current
2023-01-16	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2023-01-13	David Malcolm	analyzer: add heuristics for switch on enum type [PR105273]	blob \| commitdiff \| raw \| diff to current
2023-01-11	David Malcolm	analyzer: fix leak false positives on "*UNKNOWN = PTR...	blob \| commitdiff \| raw \| diff to current
2022-12-16	David Malcolm	analyzer: add src_region param to region_model::check_f...	blob \| commitdiff \| raw \| diff to current
2022-12-09	David Malcolm	analyzer: fix ICE on region creation during get_referen...	blob \| commitdiff \| raw \| diff to current
2022-12-06	David Malcolm	analyzer: don't create bindings or binding keys for...	blob \| commitdiff \| raw \| diff to current
2022-12-06	David Malcolm	analyzer: use __attribute__((nonnull)) at top level...	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-12-02	David Malcolm	analyzer: handle comparisons against negated symbolic...	blob \| commitdiff \| raw \| diff to current
2022-12-01	David Malcolm	analyzer: move bounds checking to a new bounds-checking.cc	blob \| commitdiff \| raw \| diff to current
2022-11-24	David Malcolm	analyzer: revamp of heap-allocated regions [PR106473]	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-22	David Malcolm	analyzer: fix ICE on 'bind' that returns a struct ...	blob \| commitdiff \| raw \| diff to current
2022-11-22	David Malcolm	analyzer: fix ICE on writes to errno [PR107777]	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: use known_function to simplify region_model...	blob \| commitdiff \| raw \| diff to current
2022-11-15	David Malcolm	analyzer: add warnings relating to sockets [PR106140]	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-10	David Malcolm	analyzer: new warning: -Wanalyzer-deref-before-check...	blob \| commitdiff \| raw \| diff to current
2022-11-08	David Malcolm	analyzer: eliminate region_model::eval_condition_withou...	blob \| commitdiff \| raw \| diff to current
2022-11-08	David Malcolm	analyzer: start adding support for errno	blob \| commitdiff \| raw \| diff to current
2022-11-08	David Malcolm	analyzer: fix "when 'strchr' returns non-NULL" message	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: use std::unique_ptr for pending_diagnostic...	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-24	David Malcolm	analyzer: handle (NULL == &VAR) [PR107345]	blob \| commitdiff \| raw \| diff to current
2022-10-24	David Malcolm	analyzer: handle "pipe" and "pipe2" [PR106300]	blob \| commitdiff \| raw \| diff to current
2022-10-07	David Malcolm	analyzer: extract bits from integer constants [PR105783]	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: fix ICEs seen with call summaries on PR 107060	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-10-05	David Malcolm	analyzer: widening_svalues take a function_point rather...	blob \| commitdiff \| raw \| diff to current
2022-09-12	Martin Liska	analyzer: remove unused fields	blob \| commitdiff \| raw \| diff to current
2022-09-11	Tim Lange	analyzer: consider empty ranges and zero byte accesses...	blob \| commitdiff \| raw \| diff to current
2022-09-09	David Malcolm	analyzer: implement trust boundaries via a plugin for...	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-09-05	Tim Lange	analyzer: strcpy semantics	blob \| commitdiff \| raw \| diff to current
2022-08-22	Martin Liska	analyzer: add missing final keyword	blob \| commitdiff \| raw \| diff to current
2022-08-18	Tim Lange	analyzer: warn on the use of floating-points operands...	blob \| commitdiff \| raw \| diff to current
2022-08-16	Martin Liska	analyzer: add more final override keywords	blob \| commitdiff \| raw \| diff to current
2022-08-15	David Malcolm	analyzer: fix direction of -Wanalyzer-out-of-bounds...	blob \| commitdiff \| raw \| diff to current
2022-08-15	David Malcolm	analyzer: better fix for -Wanalyzer-use-of-uninitialize...	blob \| commitdiff \| raw \| diff to current
2022-08-12	Tim Lange	analyzer: out-of-bounds checker [PR106000]	blob \| commitdiff \| raw \| diff to current
2022-08-09	David Malcolm	analyzer: fix missing -Wanalyzer-use-of-uninitialized...	blob \| commitdiff \| raw \| diff to current
2022-07-28	David Malcolm	analyzer: new warning: -Wanalyzer-putenv-of-auto-var...	blob \| commitdiff \| raw \| diff to current
2022-07-22	Tim Lange	Fix handling of zero capacity regions in -Wanalyzer...	blob \| commitdiff \| raw \| diff to current
2022-07-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| raw \| diff to current
2022-07-06	David Malcolm	analyzer: fix uninit false positive with -ftrivial...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom