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

projects / platform / upstream / gcc.git / history

[platform/upstream/gcc.git] / gcc / analyzer / engine.cc

2022-12-02	David Malcolm	analyzer: introduce struct event_loc_info	blob \| commitdiff
2022-12-01	David Malcolm	analyzer: unify bounds-checking class hierarchies	blob \| commitdiff \| diff to current
2022-11-22	David Malcolm	analyzer: eliminate region_model::impl_call_* special...	blob \| commitdiff \| diff to current
2022-11-19	David Malcolm	analyzer: fix feasibility false +ve on jumps through...	blob \| commitdiff \| diff to current
2022-11-16	David Malcolm	analyzer: log the stashing of named constants [PR107711]	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-11	David Malcolm	analyzer: new warning: -Wanalyzer-infinite-recursion...	blob \| commitdiff \| diff to current
2022-11-10	David Malcolm	analyzer: new warning: -Wanalyzer-deref-before-check...	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for state machines from...	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for known functions	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 checker_event	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for feasibility_problems...	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for custom_edge_info...	blob \| commitdiff \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for saved_diagnostic...	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	Martin Liska	analyzer: remove unused variables	blob \| commitdiff \| diff to current
2022-10-05	David Malcolm	analyzer: revamp side-effects of call summaries [PR107072]	blob \| commitdiff \| diff to current
2022-09-09	David Malcolm	analyzer: add support for plugin-supplied known functio...	blob \| commitdiff \| diff to current
2022-08-05	David Malcolm	New warning: -Wanalyzer-jump-through-null [PR105947]	blob \| commitdiff \| diff to current
2022-07-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| diff to current
2022-07-19	David Malcolm	analyzer: log out-edge description in exploded_graph...	blob \| commitdiff \| diff to current
2022-07-15	Jonathan Wakely	libcpp: Improve encapsulation of label_text	blob \| commitdiff \| diff to current
2022-07-07	David Malcolm	analyzer: use label_text for superedge::get_description	blob \| commitdiff \| diff to current
2022-06-24	David Malcolm	analyzer: consolidate call_string instances	blob \| commitdiff \| diff to current
2022-06-24	David Malcolm	analyzer: whitespace cleanups	blob \| commitdiff \| diff to current
2022-06-15	David Malcolm	analyzer: fix up paths for inlining (PR analyzer/105962)	blob \| commitdiff \| diff to current
2022-06-15	David Malcolm	analyzer: show saved diagnostics as nodes in .eg.dot...	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-05-16	Martin Liska	Use more ARRAY_SIZE.	blob \| commitdiff \| diff to current
2022-05-11	David Malcolm	analyzer: fix memory leaks	blob \| commitdiff \| diff to current
2022-04-28	David Malcolm	analyzer: add .fpath.txt dumps to -fdump-analyzer-feasi...	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-23	David Malcolm	analyzer: fix ICE adding note to disabled diagnostic...	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-07	David Malcolm	analyzer: fix leak suppression at end of 'main' [PR101983]	blob \| commitdiff \| diff to current
2022-03-07	Jakub Jelinek	Fix up duplicated duplicated words in comments	blob \| commitdiff \| diff to current
2022-02-16	David Malcolm	analyzer: fixes to free of non-heap detection [PR104560]	blob \| commitdiff \| diff to current
2022-02-03	David Malcolm	analyzer: fixes to realloc-handling [PR104369]	blob \| commitdiff \| diff to current
2022-01-14	David Malcolm	Add __attribute__ ((tainted_args))	blob \| commitdiff \| diff to current
2022-01-12	David Malcolm	analyzer: complain about tainted sizes with "access...	blob \| commitdiff \| diff to current
2022-01-08	David Malcolm	analyzer: add logging of aliasing	blob \| commitdiff \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| diff to current
2021-12-12	Jonathan Wakely	Replace gnu::unique_ptr with std::unique_ptr	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-13	David Malcolm	analyzer: add four new taint-based warnings	blob \| commitdiff \| diff to current
2021-11-12	David Malcolm	analyzer: "__analyzer_dump_state" has no side-effects	blob \| commitdiff \| diff to current
2021-09-16	Maxim Blinov	analyzer: Fix bootstrap with clang	blob \| commitdiff \| diff to current
2021-08-30	David Malcolm	analyzer: support "bifurcation"; reimplement realloc...	blob \| commitdiff \| diff to current
2021-08-25	Ankur Saini	analyzer: Impose recursion limit on indirect calls.	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-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-15	David Malcolm	analyzer: add -fdump-analyzer-exploded-paths	blob \| commitdiff \| diff to current
2021-07-15	David Malcolm	analyzer: use DECL_DEBUG_EXPR on SSA names for artifici...	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: refactor custom_event, introducing precanned_...	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-13	Trevor Saunders	use range based for loops to iterate over vec<>	blob \| commitdiff \| diff to current
2021-06-11	David Malcolm	analyzer: tweak priority of callstrings in worklist...	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-04-01	David Malcolm	analyzer: record per-enode saved_diagnostics	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-03-11	David Malcolm	analyzer: new implementation of shortest feasible path...	blob \| commitdiff \| diff to current
2021-03-10	David Malcolm	analyzer: factor out new class feasibility_state	blob \| commitdiff \| diff to current
2021-02-26	David Malcolm	analyzer: implement exploded_path copy ctor	blob \| commitdiff \| diff to current
2021-02-26	David Malcolm	analyzer: eliminate dedupe_candidate [PR96374]	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-02-02	David Malcolm	analyzer: directly explore within static functions...	blob \| commitdiff \| diff to current
2021-01-14	David Malcolm	analyzer: fixes to -fdump-analyzer-json	blob \| commitdiff \| diff to current
2021-01-07	David Malcolm	analyzer: fix missing bitmap_clear [PR98564]	blob \| commitdiff \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| diff to current
2020-11-30	David Malcolm	Add analyzer plugin support and CPython GIL example	blob \| commitdiff \| diff to current
2020-11-12	David Malcolm	analyzer: precision-of-wording for -Wanalyzer-stale...	blob \| commitdiff \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-deterministic behavior	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: fix param "analyzer-max-enodes-per-program...	blob \| commitdiff \| diff to current
2020-10-22	David Malcolm	analyzer: fix ICE when handling callback exceeds enode...	blob \| commitdiff \| diff to current
2020-10-22	David Malcolm	analyzer: fix ICE on dtor [PR97489]	blob \| commitdiff \| diff to current
2020-10-12	David Malcolm	analyzer: handle static callbacks [PR97258]	blob \| commitdiff \| diff to current
2020-09-29	David Malcolm	analyzer: fix signal-handler registration location...	blob \| commitdiff \| diff to current
next

Domain: System / Toolchain;

RSS Atom