]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer
RISC-V: Add testcase for pr114734
[thirdparty/gcc.git] / gcc / analyzer /
2024-04-13  GCC AdministratorDaily bump.
2024-04-12  Stefan Schulze Fri... analyzer: Bail out on function pointer for -Wanalyzer...
2024-04-11  GCC AdministratorDaily bump.
2024-04-10  David Malcolmanalyzer: fix ICE on negative values for size_t [PR114472]
2024-04-10  David Malcolmanalyzer: add SARIF property bag to -Wanalyzer-infinite...
2024-04-10  David Malcolmanalyzer: add SARIF property bag to -Wanalyzer-infinite...
2024-04-10  David Malcolmanalyzer: add SARIF property bags to -Wanalyzer-overlap...
2024-04-10  David Malcolmanalyzer: show size in SARIF property bag for -Wanalyze...
2024-04-10  GCC AdministratorDaily bump.
2024-04-09  Jakub JelinekFix up duplicated words mostly in comments, part 2
2024-04-08  GCC AdministratorDaily bump.
2024-04-05  David Malcolmanalyzer: respect GCC_COLORS in out-of-bounds diagrams...
2024-04-03  GCC AdministratorDaily bump.
2024-04-02  David Malcolmanalyzer: prevent ICEs with null types
2024-03-28  GCC AdministratorDaily bump.
2024-03-27  David Malcolmanalyzer: fix ICE due to type mismatch when replaying...
2024-03-24  GCC AdministratorDaily bump.
2024-03-23  David Malcolmanalyzer: fix ICE and false positive with -Wanalyzer...
2024-03-23  GCC AdministratorDaily bump.
2024-03-22  David Malcolmanalyzer: look through casts in taint sanitization...
2024-03-22  David Malcolmanalyzer: add SARIF property bags to taint diagnostics
2024-03-22  GCC AdministratorDaily bump.
2024-03-21  David Malcolmanalyzer: fix ignored constraints involving casts ...
2024-03-21  GCC AdministratorDaily bump.
2024-03-20  David Malcolmanalyzer: fix -Wanalyzer-deref-before-check false posit...
2024-03-20  Jakub JelinekUse integer_{zero,one}_node some more
2024-03-20  GCC AdministratorDaily bump.
2024-03-19  Jakub Jelinekanalyzer: fix ICE due to corrupt MEM_REFs [PR113505]
2024-03-19  David Malcolmanalyzer: fixes to __atomic_{exchange,load,store} ...
2024-03-19  GCC AdministratorDaily bump.
2024-03-18  David Malcolmanalyzer: fix ICEs due to sloppy types in bounds-checki...
2024-03-18  David Malcolmanalyzer: support null operands in remove_ssa_names
2024-03-08  GCC AdministratorDaily bump.
2024-03-07  Jakub Jelinekanalyzer: Fix up some -Wformat* warnings
2024-03-01  GCC AdministratorDaily bump.
2024-02-29  David Malcolmanalyzer: fix ICE in call summarization [PR114159]
2024-02-28  GCC AdministratorDaily bump.
2024-02-27  David Malcolmanalyzer: use correct format code for string literal...
2024-02-27  David Malcolmanalyzer: fix ICE on floating-point bounds [PR111881]
2024-02-22  GCC AdministratorDaily bump.
2024-02-21  David Malcolmanalyzer: handle array-initialization from a string_cst...
2024-02-21  David Malcolmanalyzer: handle empty ranges in symbolic_byte_range...
2024-02-20  GCC AdministratorDaily bump.
2024-02-19  David Malcolmanalyzer: fix -Wanalyzer-va-arg-type-mismatch false...
2024-02-19  Andrew Pinskianalyzer: Fix maybe_undo_optimize_bit_field_compare...
2024-02-16  GCC AdministratorDaily bump.
2024-02-15  David Malcolmanalyzer: remove offset_region size overloads [PR111266]
2024-02-14  GCC AdministratorDaily bump.
2024-02-13  David Malcolmdiagnostics: unbreak 'make gcc.pot'
2024-02-01  GCC AdministratorDaily bump.
2024-01-31  David Malcolmanalyzer: fix skipping of debug stmts [PR113253]
2024-01-31  David Malcolmanalyzer: handle null "var" in state_change_event:...
2024-01-31  GCC AdministratorDaily bump.
2024-01-30  David Malcolmanalyzer: fix -Wanalyzer-allocation-size false +ve...
2024-01-30  David Malcolmanalyzer: add SARIF property bag to -Wanalyzer-allocati...
2024-01-26  GCC AdministratorDaily bump.
2024-01-25  David Malcolmanalyzer: fix defaults in compound assignments from...
2024-01-25  GCC AdministratorDaily bump.
2024-01-24  David Malcolmanalyzer: fix taint false +ve due to overzealous state...
2024-01-19  GCC AdministratorDaily bump.
2024-01-18  David Malcolmanalyzer: fix ICE on strlen ((char *)&VECTOR_CST) ...
2024-01-18  David Malcolmanalyzer: fix offsets in has_null_terminator [PR112811]
2024-01-16  GCC AdministratorDaily bump.
2024-01-16  David Malcolmanalyzer: fix false +ves from -Wanalyzer-tainted-array...
2024-01-16  David Malcolmanalyzer: casting all zeroes should give all zeroes...
2024-01-05  GCC AdministratorDaily bump.
2024-01-04  David MalcolmAdd generated .opt.urls files
2024-01-04  David Malcolmanalyzer: add sarif properties for checker events
2024-01-04  David Malcolmanalyzer: fix deref-before-check false positives due...
2024-01-04  David Malcolmanalyzer: handle arrays of unknown size in access diagr...
2024-01-03  Jakub JelinekUpdate copyright years.
2024-01-03  Jakub JelinekUpdate Copyright year in ChangeLog files
2023-12-17  GCC AdministratorDaily bump.
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
next