]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/sm-fd.cc
analyzer: add sarif properties for bounds checking diagnostics
[thirdparty/gcc.git] / gcc / analyzer / sm-fd.cc
2023-12-01  David Malcolmdiagnostics, analyzer: add optional per-diagnostic...
2023-08-27  benjamin priouranalyzer: Move gcc.dg/analyzer tests to c-c++-common...
2023-08-09  David Malcolmanalyzer: remove default return value from region_model...
2023-06-22  David Malcolmanalyzer: add text-art visualizations of out-of-bounds...
2023-02-07  David Malcolmanalyzer: fix -Wanalyzer-use-of-uninitialized-value...
2023-02-02  David Malcolmanalyzer: fix -Wanalyzer-fd-type-mismatch false +ve...
2023-01-16  Jakub JelinekUpdate copyright years.
2022-12-16  David Malcolmanalyzer: add src_region param to region_model::check_f...
2022-12-06  David Malcolmanalyzer: split out more stuff from region-model-impl...
2022-12-01  David Malcolmanalyzer: fix ICE on bind/connect with a constant fd...
2022-11-30  David Malcolmanalyzer work on issues with flex-generated lexers...
2022-11-24  David Malcolmanalyzer: eliminate region_model::on_ fns for sockets
2022-11-24  David Malcolmanalyzer: move known funs for fds to sm-fd.cc
2022-11-22  David Malcolmanalyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783]
2022-11-18  David Malcolmanalyzer: move more impl_* to known_function
2022-11-16  David Malcolmanalyzer: use known_function to simplify region_model...
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-03  David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
2022-10-26  David Malcolmanalyzer: fixes to file-descriptor handling
2022-10-24  David Malcolmanalyzer: handle "pipe" and "pipe2" [PR106300]
2022-10-05  David Malcolmanalyzer: simplify some includes
2022-08-15  Immad Miranalyzer: fix for ICE in sm-fd.cc [PR106551]
2022-08-11  Immad Miranalyzer: fix ICE casued by dup2 in sm-fd.cc[PR106551]
2022-08-02  Immad Miranalyzer: support for creat, dup, dup2 and dup3 [PR106298]
2022-07-27  Immad Miranalyzer: add get_meaning_for_state_change vfunc to...
2022-07-25  Martin Liskaanalyzer: fix coding style in sm-fd.cc
2022-07-23  Immad MirAdding three new function attributes for static analysi...
2022-07-06  Immad Miranalyzer: reorder initialization of state m_invalid...
2022-07-06  Immad Miranalyzer: show close event for use_after_close diagnostic
2022-07-02  Immad Miranalyzer: implement five new warnings for misuse of...