analyzer: introduce struct event_loc_info
[platform/upstream/gcc.git] / gcc / analyzer / diagnostic-manager.cc
2022-12-02 David Malcolmanalyzer: introduce struct event_loc_info
2022-12-02 David Malcolmanalyzer: fixes to region creation messages [PR107851]
2022-11-13 David Malcolmanalyzer: new warning: -Wanalyzer-tainted-assertion...
2022-11-11 David Malcolmanalyzer: new warning: -Wanalyzer-infinite-recursion...
2022-11-10 David Malcolmanalyzer: new warning: -Wanalyzer-deref-before-check...
2022-11-09 David Malcolmanalyzer: better logging of event creation
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for checker_event
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for feasibility_problems...
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for saved_diagnostic...
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
2022-10-05 David Malcolmanalyzer: simplify some includes
2022-09-09 David Malcolmanalyzer: implement trust boundaries via a plugin for...
2022-07-15 Jonathan Wakelylibcpp: Improve encapsulation of label_text
2022-07-07 David MalcolmConvert label_text to C++11 move semantics
2022-07-02 Tim Langeanalyzer: add allocation size checker [PR105900]
2022-06-15 David Malcolmanalyzer: fix up paths for inlining (PR analyzer/105962)
2022-06-15 David Malcolmanalyzer: show saved diagnostics as nodes in .eg.dot...
2022-05-20 David MalcolmUse "final" and "override" directly, rather than via...
2022-05-16 David Malcolmanalyzer: implement four new warnings for <stdarg.h...
2022-05-11 David Malcolmanalyzer: fix memory leaks
2022-04-28 David Malcolmanalyzer: add .fpath.txt dumps to -fdump-analyzer-feasi...
2022-03-23 David Malcolmanalyzer: fix ICE adding note to disabled diagnostic...
2022-03-16 David Malcolmanalyzer: early rejection of disabled warnings [PR104955]
2022-03-10 David Malcolmanalyzer: add notes to write-to-const/string from acces...
2022-02-16 David Malcolmanalyzer: fixes to free of non-heap detection [PR104560]
2022-01-27 David Malcolmanalyzer: show region creation events for uninit warnings
2022-01-11 David Malcolmanalyzer: fix false +ve on bitwise binops (PR analyzer...
2022-01-03 Jakub JelinekUpdate copyright years.
2021-08-23 David Malcolmanalyzer: rewrite of switch handling
2021-08-23 Ankur Sainianalyzer: Fix PR analyzer/102020
2021-08-21 Ankur Sainianalyzer: Fix PR analyzer/101980
2021-08-18 Ankur Sainianalyzer: detect and analyze calls via function pointer
2021-07-23 David Malcolmanalyzer: fix feasibility false +ve with overly complex...
2021-07-15 David Malcolmanalyzer: reimplement -Wanalyzer-use-of-uninitialized...
2021-07-15 David Malcolmanalyzer: add -fdump-analyzer-exploded-paths
2021-07-07 David Malcolmanalyzer: remove add_any_constraints_from_ssa_def_stmt
2021-06-18 David Malcolmanalyzer: refactor custom_event, introducing precanned_...
2021-04-05 David Malcolmanalyzer: fix apparent hang with -fanalyzer-verbosity...
2021-04-01 David Malcolmanalyzer: record per-enode saved_diagnostics
2021-03-19 David Malcolmanalyzer: mark epath_finder with DISABLE_COPY_AND_ASSIG...
2021-03-11 David Malcolmanalyzer: new implementation of shortest feasible path...
2021-03-11 David Malcolmanalyzer: support reverse direction in shortest-paths.h
2021-03-02 Martin Liskaanalyzer: remove dead code
2021-02-26 David Malcolmanalyzer: eliminate dedupe_candidate [PR96374]
2021-01-29 David Malcolmanalyzer: consolidate conditionals in paths
2021-01-18 David Malcolmanalyzer: use "malloc" attribute
2021-01-04 Jakub JelinekUpdate copyright years.
2020-11-30 David MalcolmAdd analyzer plugin support and CPython GIL example
2020-11-12 David Malcolmanalyzer: precision-of-wording for -Wanalyzer-stale...
2020-10-27 David Malcolmanalyzer: eliminate non-deterministic behavior
2020-09-28 David Malcolmanalyzer: remove unused field
2020-09-24 David Malcolmanalyzer: add -fno-analyzer-feasibility
2020-09-22 David Malcolmanalyzer: add -fdump-analyzer-json
2020-09-09 David Malcolmanalyzer: eliminate sm_context::warn_for_state in favor...
2020-09-09 David Malcolmanalyzer: reimplement on_transition in terms of get_sta...
2020-09-09 David Malcolmanalyzer: use objects for state_machine::state_t
2020-08-13 David Malcolmanalyzer: rewrite of region and value-handling
2020-04-01 David Malcolmanalyzer: handle compound assignments [PR94378]
2020-03-27 David Malcolmanalyzer: add new supergraph visualization
2020-03-27 David Malcolmanalyzer: improvements to diagnostic-manager.cc logging
2020-03-18 Jakub JelinekFix up duplicated duplicated words in comments
2020-03-13 David Malcolmanalyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]
2020-03-04 David Malcolmanalyzer: fix ICE on non-lvalue in prune_for_sm_diagnos...
2020-03-02 David Malcolmanalyzer: don't print the duplicate count by default
2020-02-27 David Malcolmanalyzer: fix ICE with -Wanalyzer-null-dereference...
2020-02-24 David Malcolmanalyzer: eliminate irrelevant control-flow edges from...
2020-02-10 David Malcolmanalyzer: fix ICE reporting NULL dereference (PR 93647)
2020-02-03 David Malcolmanalyzer: detect zero-assignment in phis (PR 93544)
2020-01-31 David Malcolmanalyzer: make extrinsic_state field private
2020-01-27 David Malcolmanalyzer: fix setjmp-detection and support sigsetjmp
2020-01-22 David Malcolmanalyzer: introduce namespace to avoid ODR clashes...
2020-01-15 David Malcolmanalyzer: cleanups to checker_path
2020-01-14 David Malcolmanalyzer: fix dedupe issue seen with CVE-2005-1689
2020-01-14 David Malcolmanalyzer: better logging for dedupe_winners::add
2020-01-14 David MalcolmInitial commit of analyzer