analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225]
[platform/upstream/gcc.git] / gcc / analyzer / sm.h
2023-04-27 David Malcolmanalyzer: fix false positives from -Wanalyzer-tainted...
2023-01-16 Jakub JelinekUpdate copyright years.
2022-11-10 David Malcolmanalyzer: new warning: -Wanalyzer-deref-before-check...
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
2022-07-19 David Malcolmanalyzer: fix taint handling of switch statements ...
2022-07-07 David Malcolmanalyzer: fix false positives from -Wanalyzer-tainted...
2022-07-02 Immad Miranalyzer: implement five new warnings for misuse of...
2022-05-16 David Malcolmanalyzer: implement four new warnings for <stdarg.h...
2022-02-16 David Malcolmanalyzer: fixes to free of non-heap detection [PR104560]
2022-01-12 David Malcolmanalyzer: complain about tainted sizes with "access...
2022-01-03 Jakub JelinekUpdate copyright years.
2021-11-13 David Malcolmanalyzer: add four new taint-based warnings
2021-08-30 David Malcolmanalyzer: support "bifurcation"; reimplement realloc...
2021-07-07 David Malcolmanalyzer: remove add_any_constraints_from_ssa_def_stmt
2021-01-04 Jakub JelinekUpdate copyright years.
2020-09-22 David Malcolmanalyzer: add -fdump-analyzer-json
2020-09-09 David Malcolmanalyzer: generalize sm-malloc to new/delete [PR94355]
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-03-06 David Malcolmanalyzer: improvements to state dumping
2020-02-03 David Malcolmanalyzer: detect zero-assignment in phis (PR 93544)
2020-01-31 David Malcolmanalyzer: add extrinsic_state::dump
2020-01-22 David Malcolmanalyzer: introduce namespace to avoid ODR clashes...
2020-01-14 David MalcolmInitial commit of analyzer