]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer
analyzer: add sarif properties for bounds checking diagnostics
[thirdparty/gcc.git] / gcc / analyzer /
2023-12-16  David Malcolmanalyzer: add sarif properties for bounds checking...
2023-12-16  David Malcolmanalyzer: use bit-level granularity for concrete bounds...
2023-12-15  GCC AdministratorDaily bump.
2023-12-14  David Malcolmanalyzer: cleanups [PR112655]
2023-12-12  GCC AdministratorDaily bump.
2023-12-11  David Malcolmanalyzer: fix uninitialized bitmap [PR112955]
2023-12-11  Andrew Pinskianalyzer: Remove check of unsigned_char in maybe_undo_o...
2023-12-09  GCC AdministratorDaily bump.
2023-12-08  David Malcolmanalyzer: avoid taint for (TAINTED % NON_TAINTED)
2023-12-08  David Malcolmanalyzer: fix ICE on infoleak with poisoned size
2023-12-08  David Malcolmanalyzer: fix ICE for 2 bits before the start of base...
2023-12-08  GCC AdministratorDaily bump.
2023-12-07  Alexandre Olivaanalyzer: deal with -fshort-enums
2023-12-07  David Malcolmanalyzer: fix taint false positives with UNKNOWN [PR112850]
2023-12-07  GCC AdministratorDaily bump.
2023-12-06  David Malcolmdiagnostics: prettify JSON output formats
2023-12-02  GCC AdministratorDaily bump.
2023-12-01  David Malcolmdiagnostics, analyzer: add optional per-diagnostic...
2023-11-20  GCC AdministratorDaily bump.
2023-11-19  David Malcolmlibcpp: split decls out to rich-location.h
2023-11-19  David Malcolmanalyzer: new warning: -Wanalyzer-undefined-behavior...
2023-11-19  GCC AdministratorDaily bump.
2023-11-18  David Malcolmanalyzer: new warning: -Wanalyzer-infinite-loop [PR106147]
2023-11-15  GCC AdministratorDaily bump.
2023-11-14  David Malcolmanalyzer: enable taint state machine by default [PR103533]
2023-11-05  GCC AdministratorDaily bump.
2023-11-04  David Malcolmdiagnostics: convert diagnostic_context to a class
2023-11-03  GCC AdministratorDaily bump.
2023-11-02  David Malcolmanalyzer: fix clang warnings [PR112317]
2023-11-01  GCC AdministratorDaily bump.
2023-10-31  David Malcolmanalyzer: move class record_layout to its own .h/.cc
2023-10-27  GCC AdministratorDaily bump.
2023-10-26  David MalcolmAdd attribute((null_terminated_string_arg(PARAM_IDX)))
2023-10-10  GCC AdministratorDaily bump.
2023-10-09  David Malcolmanalyzer: fix build with gcc < 6
2023-10-09  GCC AdministratorDaily bump.
2023-10-08  David Malcolmanalyzer: improvements to out-of-bounds diagrams [PR111155]
2023-10-04  GCC AdministratorDaily bump.
2023-10-03  David Malcolmdiagnostics: add ctors to text_info; add m_ prefixes...
2023-10-03  GCC AdministratorDaily bump.
2023-10-02  David Malcolmdiagnostics: group together source printing fields...
2023-09-16  GCC AdministratorDaily bump.
2023-09-15  David Malcolmanalyzer: support diagnostics that don't have a stmt
2023-09-15  David Malcolmanalyzer: introduce pending_location
2023-09-15  David Malcolmanalyzer: handle volatile ops
2023-09-15  GCC AdministratorDaily bump.
2023-09-14  David Malcolmdiagnostics: support multithreaded diagnostic paths
2023-09-14  David Malcolmanalyzer: fix missing return in compatible_epath_p
2023-09-14  David Malcolmanalyzer: use unique_ptr for rejected_constraint
2023-09-10  GCC AdministratorDaily bump.
2023-09-09  benjamin priouranalyzer: Move gcc.dg/analyzer tests to c-c++-common...
2023-09-08  GCC AdministratorDaily bump.
2023-09-07  David Malcolmanalyzer: basic support for computed gotos (PR analyzer...
2023-09-07  benjamin priouranalyzer: Call off a superseding when diagnostics are...
2023-09-07  David Malcolmanalyzer: fix -Wunused-parameter warnings
2023-09-07  GCC AdministratorDaily bump.
2023-09-06  David Malcolmanalyzer: implement kf_strstr [PR105899]
2023-09-06  David Malcolmanalyzer: implement kf_strncpy [PR105899]
2023-09-06  David Malcolmanalyzer: add ctxt to fill_region/zero_fill_region
2023-09-02  GCC AdministratorDaily bump.
2023-09-01  benjamin priouranalyzer: Add support of placement new and improved...
2023-09-01  GCC AdministratorDaily bump.
2023-08-31  Francois-Xavier... Darwin: homogenize spelling of macOS
2023-08-31  GCC AdministratorDaily bump.
2023-08-30  Eric Fenganalyzer: implement reference count checking for CPytho...
2023-08-30  Francois-Xavier... Analyzer: include algorithm header
2023-08-30  GCC AdministratorDaily bump.
2023-08-29  David Malcolmanalyzer: new warning: -Wanalyzer-overlapping-buffers...
2023-08-29  David Malcolmanalyzer: improve strdup handling [PR105899]
2023-08-28  GCC AdministratorDaily bump.
2023-08-27  benjamin priouranalyzer: Move gcc.dg/analyzer tests to c-c++-common...
2023-08-26  GCC AdministratorDaily bump.
2023-08-25  David Malcolmanalyzer: fix ICE in text art strings support
2023-08-25  GCC AdministratorDaily bump.
2023-08-24  David Malcolmanalyzer: implement kf_strcat [PR105899]
2023-08-24  David Malcolmanalyzer: handle strlen(BITS_WITHIN) [PR105899]
2023-08-24  David Malcolmanalyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG),...
2023-08-24  David Malcolmanalyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]
2023-08-24  David Malcolmanalyzer: reimplement kf_memcpy_memmove
2023-08-24  David Malcolmanalyzer: eliminate region_model::get_string_size ...
2023-08-24  David Malcolmanalyzer: reimplement kf_strcpy [PR105899]
2023-08-24  David Malcolmanalyzer: handle symbolic bindings in scan_for_null_ter...
2023-08-24  David Malcolmanalyzer: add logging to impl_path_context
2023-08-23  GCC AdministratorDaily bump.
2023-08-22  David Malcolmanalyzer: reimplement kf_strlen [PR105899]
2023-08-22  David Malcolmanalyzer: check format strings for null termination...
2023-08-22  David Malcolmanalyzer: add kf_fopen
2023-08-22  David Malcolmanalyzer: replace -Wanalyzer-unterminated-string with...
2023-08-22  David Malcolmanalyzer: handle NULL inner context in region_model_con...
2023-08-22  David Malcolmanalyzer: add ability for context to add events to...
2023-08-22  David Malcolmanalyzer: convert note_adding_context to annotating_context
2023-08-15  GCC AdministratorDaily bump.
2023-08-14  benjamin priouranalyzer: New option fanalyzer-show-events-in-system...
2023-08-12  GCC AdministratorDaily bump.
2023-08-11  David Malcolmanalyzer: new warning: -Wanalyzer-unterminated-string...
2023-08-11  Eric Fenganalyzer: More features for CPython analyzer plugin...
2023-08-10  GCC AdministratorDaily bump.
2023-08-09  David Malcolmanalyzer: remove default return value from region_model...
2023-08-05  GCC AdministratorDaily bump.
2023-08-04  David Malcolmanalyzer: handle function attribute "alloc_size" [PR110426]
next