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

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

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / region-model.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-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-26	David Malcolm	Add attribute((null_terminated_string_arg(PARAM_IDX)))	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-07	David Malcolm	analyzer: basic support for computed gotos (PR analyzer...	blob \| commitdiff \| raw \| diff to current
2023-09-07	David Malcolm	analyzer: fix -Wunused-parameter warnings	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-08-30	Eric Feng	analyzer: implement reference count checking for CPytho...	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: 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-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-04	David Malcolm	analyzer: handle function attribute "alloc_size" [PR110426]	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-08	Benjamin Priour	analyzer: Standalone OOB-warning [PR109437, PR109439]	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-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
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: use __attribute__((nonnull)) at top level...	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-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-24	David Malcolm	analyzer: eliminate region_model::on_ fns for sockets	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' with non-pointer arg [P107783]	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-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-10-24	David Malcolm	analyzer: simplify sm_state_map lookup	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-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: move region_model_manager decl to its own...	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-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-18	Tim Lange	analyzer: warn on the use of floating-points operands...	blob \| commitdiff \| raw \| diff to current
2022-08-12	Tim Lange	analyzer: out-of-bounds checker [PR106000]	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-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| raw \| diff to current
2022-07-02	Tim Lange	analyzer: add allocation size checker [PR105900]	blob \| commitdiff \| raw \| diff to current
2022-06-24	David Malcolm	analyzer: consolidate call_string instances	blob \| commitdiff \| raw \| diff to current
2022-05-20	David Malcolm	Use "final" and "override" directly, rather than via...	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-04-09	David Malcolm	analyzer: fix folding of regions involving unknown...	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-25	David Malcolm	analyzer: add region::tracked_p to optimize state objec...	blob \| commitdiff \| raw \| diff to current
2022-03-23	David Malcolm	analyzer: fix accessing wrong stack frame on interproce...	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-03-10	David Malcolm	analyzer: check for writes to consts via access attr...	blob \| commitdiff \| raw \| diff to current
2022-02-23	David Malcolm	analyzer: handle __attribute__((const)) [PR104434]	blob \| commitdiff \| raw \| diff to current
2022-02-15	David Malcolm	analyzer: fix uninit false +ve due to optimized conditi...	blob \| commitdiff \| raw \| diff to current
2022-02-02	David Malcolm	analyzer: fix missing check for uninit of return values	blob \| commitdiff \| raw \| diff to current
2022-02-02	David Malcolm	analyzer: implement bit_range_region	blob \| commitdiff \| raw \| diff to current
2022-01-27	David Malcolm	analyzer: show region creation events for uninit warnings	blob \| commitdiff \| raw \| diff to current
2022-01-26	David Malcolm	analyzer: fix missing uninit warning on args to stdio...	blob \| commitdiff \| raw \| diff to current
2022-01-11	David Malcolm	analyzer: fix false +ve on bitwise binops (PR analyzer...	blob \| commitdiff \| raw \| diff to current
2022-01-08	David Malcolm	analyzer: add logging of aliasing	blob \| commitdiff \| raw \| diff to current
2022-01-08	David Malcolm	analyzer: implement __analyzer_dump_escaped	blob \| commitdiff \| raw \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2021-11-19	David Malcolm	analyzer: fix false leak due to overeager state merging...	blob \| commitdiff \| raw \| diff to current
2021-11-17	David Malcolm	analyzer: fix missing -Wanalyzer-write-to-const [PR102695]	blob \| commitdiff \| raw \| diff to current
2021-11-13	David Malcolm	analyzer: add four new taint-based warnings	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-21	Ankur Saini	analyzer: Fix PR analyzer/101980	blob \| commitdiff \| raw \| diff to current
2021-08-18	Ankur Saini	analyzer: detect and analyze calls via function pointer	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	David Malcolm	analyzer: remove redundant return value from various...	blob \| commitdiff \| raw \| diff to current
2021-07-23	David Malcolm	analyzer: fix feasibility false +ve with overly complex...	blob \| commitdiff \| raw \| diff to current
2021-07-21	David Malcolm	analyzer: fix issues with phi handling	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-16	David Malcolm	analyzer: add __analyzer_dump_state	blob \| commitdiff \| raw \| diff to current
2021-07-15	David Malcolm	analyzer: reimplement -Wanalyzer-use-of-uninitialized...	blob \| commitdiff \| raw \| diff to current
2021-07-07	David Malcolm	analyzer: remove add_any_constraints_from_ssa_def_stmt	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-18	David Malcolm	analyzer: add region_model_manager::get_or_create_int_cst	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom