analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git] / gcc / analyzer /
2022-11-19 David Malcolmanalyzer: fix feasibility false +ve on jumps through...
2022-11-18 David Malcolmanalyzer: move more impl_* to known_function
2022-11-17 GCC AdministratorDaily bump.
2022-11-16 David Malcolmanalyzer: log the stashing of named constants [PR107711]
2022-11-16 David Malcolmanalyzer: use known_function to simplify region_model...
2022-11-16 David Malcolmanalyzer: split out checker-path.cc into a new checker...
2022-11-16 GCC AdministratorDaily bump.
2022-11-15 David Malcolmanalyzer: add warnings relating to sockets [PR106140]
2022-11-15 David Malcolmc, analyzer: support named constants in analyzer [PR106302]
2022-11-14 GCC AdministratorDaily bump.
2022-11-13 David Malcolmanalyzer: new warning: -Wanalyzer-tainted-assertion...
2022-11-12 GCC AdministratorDaily bump.
2022-11-11 David Malcolmanalyzer: more state machine documentation
2022-11-11 David Malcolmanalyzer: split out checker_event classes to their...
2022-11-11 David Malcolmanalyzer: new warning: -Wanalyzer-infinite-recursion...
2022-11-11 GCC AdministratorDaily bump.
2022-11-10 David Malcolmanalyzer: new warning: -Wanalyzer-deref-before-check...
2022-11-10 GCC AdministratorDaily bump.
2022-11-09 David Malcolmanalyzer: better logging of event creation
2022-11-09 GCC AdministratorDaily bump.
2022-11-08 David Malcolmanalyzer: eliminate region_model::eval_condition_withou...
2022-11-08 David Malcolmanalyzer: start adding support for errno
2022-11-08 David Malcolmanalyzer: introduce succeed_or_fail_call_info
2022-11-08 David Malcolmanalyzer: fix "when 'strchr' returns non-NULL" message
2022-11-04 GCC AdministratorDaily bump.
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for state machines from...
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for known functions
2022-11-03 David Malcolmanalyzer: use std::unique_ptr during bifurcation
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 custom_edge_info...
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-11-03 David Malcolmanalyzer: fix ICE when pipe's arg isn't a pointer ...
2022-10-27 GCC AdministratorDaily bump.
2022-10-26 David Malcolmanalyzer: fixes to file-descriptor handling
2022-10-26 David Malcolmanalyzer: add sm-fd.dot
2022-10-25 GCC AdministratorDaily bump.
2022-10-24 David Malcolmanalyzer: fix ICE on va_copy [PR107349]
2022-10-24 David Malcolmanalyzer: handle (NULL == &VAR) [PR107345]
2022-10-24 David Malcolmanalyzer: simplify sm_state_map lookup
2022-10-24 David Malcolmanalyzer: handle "pipe" and "pipe2" [PR106300]
2022-10-20 GCC AdministratorDaily bump.
2022-10-19 David Malcolmanalyzer: fix ICE on __builtin_ms_va_copy [PR105765]
2022-10-14 GCC AdministratorDaily bump.
2022-10-13 David Malcolmanalyzer: fix ICE introduced in r13-3168 [PR107210]
2022-10-08 GCC AdministratorDaily bump.
2022-10-07 David Malcolmanalyzer: extract bits from integer constants [PR105783]
2022-10-07 GCC AdministratorDaily bump.
2022-10-06 David Malcolmanalyzer: fix another ICE in PR 107158
2022-10-06 David Malcolmanalyzer: fixes to call_summary_replay::dump_to_pp
2022-10-06 GCC AdministratorDaily bump.
2022-10-05 David Malcolmanalyzer: simplify some includes
2022-10-05 David Malcolmanalyzer: fix ICEs seen with call summaries on PR 107060
2022-10-05 Martin Liskaanalyzer: remove unused variables
2022-10-05 David Malcolmanalyzer: revamp side-effects of call summaries [PR107072]
2022-10-05 David Malcolmanalyzer: move region_model_manager decl to its own...
2022-10-05 David Malcolmanalyzer: fold -(-(VAL)) to VAL
2022-10-05 David Malcolmanalyzer: widening_svalues take a function_point rather...
2022-09-13 GCC AdministratorDaily bump.
2022-09-12 Martin Liskaanalyzer: remove unused fields
2022-09-12 GCC AdministratorDaily bump.
2022-09-11 Tim Langeanalyzer: consider empty ranges and zero byte accesses...
2022-09-10 GCC AdministratorDaily bump.
2022-09-09 David Malcolmanalyzer: implement trust boundaries via a plugin for...
2022-09-09 David Malcolmanalyzer: add support for plugin-supplied known functio...
2022-09-09 GCC AdministratorDaily bump.
2022-09-08 Tim Langeanalyzer: support for symbolic values in the out-of...
2022-09-06 GCC AdministratorDaily bump.
2022-09-05 Tim Langeanalyzer: strcpy semantics
2022-09-05 Tim Langeanalyzer: return a concrete offset for cast_regions
2022-08-23 GCC AdministratorDaily bump.
2022-08-22 Martin Liskaanalyzer: add missing final keyword
2022-08-19 GCC AdministratorDaily bump.
2022-08-18 Tim Langeanalyzer: warn on the use of floating-points operands...
2022-08-17 GCC AdministratorDaily bump.
2022-08-16 Martin Liskaanalyzer: add more final override keywords
2022-08-16 GCC AdministratorDaily bump.
2022-08-15 David Malcolmanalyzer: fix direction of -Wanalyzer-out-of-bounds...
2022-08-15 David Malcolmanalyzer: better fix for -Wanalyzer-use-of-uninitialize...
2022-08-15 Immad Miranalyzer: fix for ICE in sm-fd.cc [PR106551]
2022-08-13 GCC AdministratorDaily bump.
2022-08-12 Tim Langeanalyzer: out-of-bounds checker [PR106000]
2022-08-12 Tim Langeanalyzer: consider that realloc could shrink the buffer...
2022-08-12 GCC AdministratorDaily bump.
2022-08-11 Immad Miranalyzer: fix ICE casued by dup2 in sm-fd.cc[PR106551]
2022-08-10 GCC AdministratorDaily bump.
2022-08-09 David Malcolmanalyzer: fix missing -Wanalyzer-use-of-uninitialized...
2022-08-06 GCC AdministratorDaily bump.
2022-08-05 David MalcolmNew warning: -Wanalyzer-jump-through-null [PR105947]
2022-08-03 GCC AdministratorDaily bump.
2022-08-02 Immad Miranalyzer: support for creat, dup, dup2 and dup3 [PR106298]
2022-07-29 GCC AdministratorDaily bump.
2022-07-28 David Malcolmanalyzer: new warning: -Wanalyzer-putenv-of-auto-var...
2022-07-28 David Malcolmanalyzer: add CWE identifier URLs to docs
2022-07-28 David Malcolmanalyzer: expand the comment in region.h
2022-07-28 GCC AdministratorDaily bump.
2022-07-27 Immad Miranalyzer: add get_meaning_for_state_change vfunc to...
2022-07-27 GCC AdministratorDaily bump.
2022-07-26 David Malcolmanalyzer: fix false +ves from -Wanalyzer-va-arg-type...
next