analyzer: start adding support for errno
[platform/upstream/gcc.git] / gcc / analyzer / region-model-impl-calls.cc
2022-11-08 David Malcolmanalyzer: start adding support for errno
2022-11-08 David Malcolmanalyzer: fix "when 'strchr' returns non-NULL" message
2022-11-03 David Malcolmanalyzer: use std::unique_ptr during bifurcation
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
2022-10-24 David Malcolmanalyzer: handle "pipe" and "pipe2" [PR106300]
2022-10-05 David Malcolmanalyzer: simplify some includes
2022-10-05 David Malcolmanalyzer: fix ICEs seen with call summaries on PR 107060
2022-09-09 David Malcolmanalyzer: implement trust boundaries via a plugin for...
2022-09-08 Tim Langeanalyzer: support for symbolic values in the out-of...
2022-09-05 Tim Langeanalyzer: strcpy semantics
2022-08-12 Tim Langeanalyzer: consider that realloc could shrink the buffer...
2022-07-28 David Malcolmanalyzer: new warning: -Wanalyzer-putenv-of-auto-var...
2022-07-15 Jonathan Wakelylibcpp: Improve encapsulation of label_text
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-03-29 David Malcolmanalyzer: ensure that we purge state when reusing a...
2022-02-23 David Malcolmanalyzer: handle __attribute__((const)) [PR104434]
2022-02-07 David Malcolmanalyzer: fixes to memcpy [PR103872]
2022-02-03 David Malcolmanalyzer: fixes to realloc-handling [PR104369]
2022-02-03 David Malcolmanalyzer: fix zero-fill of calloc
2022-01-08 David Malcolmanalyzer: implement __analyzer_dump_escaped
2022-01-03 Jakub JelinekUpdate copyright years.
2021-11-17 David Malcolmanalyzer: fix missing -Wanalyzer-write-to-const [PR102695]
2021-11-13 David Malcolmanalyzer: add four new taint-based warnings
2021-09-08 David Malcolmanalyzer: fix ICE when discarding result of realloc...
2021-08-30 David Malcolmanalyzer: support "bifurcation"; reimplement realloc...
2021-07-28 David Malcolmanalyzer: remove redundant return value from various...
2021-07-16 David Malcolmanalyzer: add region_model::check_region_access
2021-07-16 David Malcolmanalyzer: add __analyzer_dump_state
2021-07-16 David Malcolmanalyzer: add svalue::maybe_get_region
2021-07-15 David Malcolmanalyzer: reimplement -Wanalyzer-use-of-uninitialized...
2021-06-30 David Malcolmanalyzer: eliminate enum binding_key [PR95006]
2021-06-15 David Malcolmanalyzer: track dynamic extents of regions
2021-04-08 David Malcolmanalyzer: fix leak false +ves due to maybe-clobbered...
2021-02-25 David Malcolmanalyzer: fix false positive on realloc [PR99193]
2021-02-22 David Malcolmanalyzer: handle error/error_at_line [PR99196]
2021-01-18 David Malcolmanalyzer: use "malloc" attribute
2021-01-04 Jakub JelinekUpdate copyright years.
2020-10-12 David Malcolmanalyzer: add warnings about writes to constant regions...
2020-09-22 David Malcolmanalyzer: add -fdump-analyzer-json
2020-09-21 David Malcolmanalyzer: fix ICE on bogus decl of memset [PR97130]
2020-09-11 David Malcolmanalyzer: stricter handling of non-pure builtins [PR96798]
2020-09-09 David Malcolmanalyzer: generalize sm-malloc to new/delete [PR94355]
2020-08-13 David Malcolmanalyzer: rewrite of region and value-handling