Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   3167 patches
« 1 2 3 4 … 31 32 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[pushed] analyzer: fix ICE on negative values for size_t [PR114472] [pushed] analyzer: fix ICE on negative values for size_t [PR114472] - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: add SARIF property bag to -Wanalyzer-infinite-loop [pushed] analyzer: add SARIF property bag to -Wanalyzer-infinite-loop - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: add SARIF property bag to -Wanalyzer-infinite-recursion [pushed] analyzer: add SARIF property bag to -Wanalyzer-infinite-recursion - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffers [pushed] analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffers - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-size [pushed] analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-size - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: fixes to internal docs [pushed] analyzer: fixes to internal docs - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer, testuite: comment fixes [pushed] analyzer, testuite: comment fixes - - - - --- 2024-04-10 David Malcolm New
[pushed] testsuite: add some missing -fanalyzer to plugin tests [pushed] testsuite: add some missing -fanalyzer to plugin tests - - - - --- 2024-04-10 David Malcolm New
[pushed] analyzer: respect GCC_COLORS in out-of-bounds diagrams [PR114588] [pushed] analyzer: respect GCC_COLORS in out-of-bounds diagrams [PR114588] - - - - --- 2024-04-05 David Malcolm New
[9/9] wwwdocs: gcc-14: add 'Improvements to SARIF support' section [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[8/9] wwwdocs: gcc-14: analyzer improvements [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[7/9] wwwdocs: gcc-14: improvements for plugin authors [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[6/9] wwwdocs: gcc-14: improvements to automatic doc URLs for options [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[5/9] wwwdocs: gcc-14: libgccjit changes [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[4/9] wwwdocs: gcc-14: c++: note changes to source quoting in template errors [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[3/9] wwwdocs: gcc-14: add null_terminated_string_arg attribute [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[2/9] wwwdocs: gcc-14: add URLs to some options [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ [1/9] wwwdocs: gcc-14: add caveat about not using analyzer on C++ - - - - --- 2024-04-04 David Malcolm New
[pushed] analyzer: prevent ICEs with null types [pushed] analyzer: prevent ICEs with null types - - - - --- 2024-04-02 David Malcolm New
[pushed] analyzer: fix ICE due to type mismatch when replaying call summary [PR114473] [pushed] analyzer: fix ICE due to type mismatch when replaying call summary [PR114473] - - - - --- 2024-03-27 David Malcolm New
[pushed] analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408] [pushed] analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408] - - - - --- 2024-03-23 David Malcolm New
[pushed] analyzer: look through casts in taint sanitization [PR112974, PR112975] [pushed] analyzer: look through casts in taint sanitization [PR112974, PR112975] - - - - --- 2024-03-22 David Malcolm New
[pushed] analyzer: add SARIF property bags to taint diagnostics [pushed] analyzer: add SARIF property bags to taint diagnostics - - - - --- 2024-03-22 David Malcolm New
[pushed] analyzer: fix ignored constraints involving casts [PR113619] [pushed] analyzer: fix ignored constraints involving casts [PR113619] - - - - --- 2024-03-21 David Malcolm New
[pushed] analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR10… [pushed] analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR10… - - - - --- 2024-03-20 David Malcolm New
[pushed] analyzer: fix ICE due to corrupt MEM_REFs [PR113505] [pushed] analyzer: fix ICE due to corrupt MEM_REFs [PR113505] - - - - --- 2024-03-19 David Malcolm New
[pushed] diagnostics: fix corrupt json/SARIF on stderr [PR114348] [pushed] diagnostics: fix corrupt json/SARIF on stderr [PR114348] - - - - --- 2024-03-19 David Malcolm New
[pushed] analyzer: fixes to __atomic_{exchange, load, store} [PR114286] [pushed] analyzer: fixes to __atomic_{exchange, load, store} [PR114286] - - - - --- 2024-03-19 David Malcolm New
[pushed] analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902, PR110928, PR111305, P… [pushed] analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902, PR110928, PR111305, P… - - - - --- 2024-03-18 David Malcolm New
[pushed] analyzer: support null operands in remove_ssa_names [pushed] analyzer: support null operands in remove_ssa_names - - - - --- 2024-03-18 David Malcolm New
[pushed] analyzer: fix ICE in call summarization [PR114159] [pushed] analyzer: fix ICE in call summarization [PR114159] - - - - --- 2024-02-29 David Malcolm New
[pushed] analyzer: use correct format code for string literal indices [PR110483, PR111802] [pushed] analyzer: use correct format code for string literal indices [PR110483, PR111802] - - - - --- 2024-02-27 David Malcolm New
[pushed] analyzer: fix ICE on floating-point bounds [PR111881] [pushed] analyzer: fix ICE on floating-point bounds [PR111881] - - - - --- 2024-02-27 David Malcolm New
[pushed] analyzer: handle array-initialization from a string_cst [PR113999] [pushed] analyzer: handle array-initialization from a string_cst [PR113999] - - - - --- 2024-02-21 David Malcolm New
[pushed] analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998] [pushed] analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998] - - - - --- 2024-02-21 David Malcolm New
[pushed] analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289] [pushed] analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289] - - - - --- 2024-02-19 David Malcolm New
[pushed] analyzer, testsuite: add regression test [PR110520] [pushed] analyzer, testsuite: add regression test [PR110520] - - - - --- 2024-02-19 David Malcolm New
[pushed] analyzer: remove offset_region size overloads [PR111266] [pushed] analyzer: remove offset_region size overloads [PR111266] - - - - --- 2024-02-15 David Malcolm New
[pushed] diagnostics: unbreak 'make gcc.pot' [pushed] diagnostics: unbreak 'make gcc.pot' - - - - --- 2024-02-13 David Malcolm New
[pushed] analyzer: fix skipping of debug stmts [PR113253] [pushed] analyzer: fix skipping of debug stmts [PR113253] - - - - --- 2024-01-31 David Malcolm New
[pushed] analyzer: handle null "var" in state_change_event::get_desc [PR113509] [pushed] analyzer: handle null "var" in state_change_event::get_desc [PR113509] - - - - --- 2024-01-31 David Malcolm New
[pushed] analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up macro [PR113… [pushed] analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up macro [PR113… - - - - --- 2024-01-30 David Malcolm New
[pushed] analyzer: add SARIF property bag to -Wanalyzer-allocation-size [pushed] analyzer: add SARIF property bag to -Wanalyzer-allocation-size - - - - --- 2024-01-30 David Malcolm New
[pushed] analyzer: fix defaults in compound assignments from non-zero offsets [PR112969] [pushed] analyzer: fix defaults in compound assignments from non-zero offsets [PR112969] - - - - --- 2024-01-25 David Malcolm New
[pushed] analyzer: fix taint false +ve due to overzealous state purging [PR112977] [pushed] analyzer: fix taint false +ve due to overzealous state purging [PR112977] - - - - --- 2024-01-24 David Malcolm New
[pushed] analyzer kernel plugin: implement __check_object_size [PR112927] [pushed] analyzer kernel plugin: implement __check_object_size [PR112927] - - - - --- 2024-01-24 David Malcolm New
[pushed] analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361] [pushed] analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361] - - - - --- 2024-01-18 David Malcolm New
[pushed] analyzer: fix offsets in has_null_terminator [PR112811] [pushed] analyzer: fix offsets in has_null_terminator [PR112811] - - - - --- 2024-01-18 David Malcolm New
[pushed] Fix ICE in -fdiagnostics-generate-patch [PR112684] [pushed] Fix ICE in -fdiagnostics-generate-patch [PR112684] - - - - --- 2024-01-18 David Malcolm New
[pushed] analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned char index [PR1… [pushed] analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned char index [PR1… - - - - --- 2024-01-16 David Malcolm New
[pushed] analyzer: casting all zeroes should give all zeroes [PR113333] [pushed] analyzer: casting all zeroes should give all zeroes [PR113333] - - - - --- 2024-01-16 David Malcolm New
[pushed,3/3] gcc-urlifier: handle option prefixes such as '-fno-' [pushed,1/3] pretty-print: add selftest coverage for numbered args - - - - --- 2024-01-10 David Malcolm New
[pushed,2/3] pretty-print: support urlification in phase 3 [pushed,1/3] pretty-print: add selftest coverage for numbered args - - - - --- 2024-01-10 David Malcolm New
[pushed,1/3] pretty-print: add selftest coverage for numbered args [pushed,1/3] pretty-print: add selftest coverage for numbered args - - - - --- 2024-01-10 David Malcolm New
[pushed] analyzer: add sarif properties for checker events [pushed] analyzer: add sarif properties for checker events - - - - --- 2024-01-04 David Malcolm New
[pushed] analyzer: fix deref-before-check false positives due to inlining [PR112790] [pushed] analyzer: fix deref-before-check false positives due to inlining [PR112790] - - - - --- 2024-01-04 David Malcolm New
[pushed] analyzer: handle arrays of unknown size in access diagrams [PR113222] [pushed] analyzer: handle arrays of unknown size in access diagrams [PR113222] - - - - --- 2024-01-04 David Malcolm New
[1/4;,v4] options: add gcc/regenerate-opt-urls.py [1/4;,v4] options: add gcc/regenerate-opt-urls.py - - - - --- 2024-01-02 David Malcolm New
[pushed] analyzer: add sarif properties for bounds checking diagnostics [pushed] analyzer: add sarif properties for bounds checking diagnostics - - - - --- 2023-12-16 David Malcolm New
[pushed] json: fix escaping of object keys [pushed] json: fix escaping of object keys - - - - --- 2023-12-16 David Malcolm New
[pushed] analyzer: use bit-level granularity for concrete bounds-checking [PR112792] [pushed] analyzer: use bit-level granularity for concrete bounds-checking [PR112792] - - - - --- 2023-12-16 David Malcolm New
[pushed] testsuite: move more analyzer test cases to c-c++-common (3) [PR96395] [pushed] testsuite: move more analyzer test cases to c-c++-common (3) [PR96395] - - - - --- 2023-12-14 David Malcolm New
[4/4;,v2] options: wire up options-urls.cc into gcc_urlifier [4/4;,v2] options: wire up options-urls.cc into gcc_urlifier - - - - --- 2023-12-14 David Malcolm New
[3/4;,v2] opts: add logic to generate options-urls.cc [3/4;,v2] opts: add logic to generate options-urls.cc - - - - --- 2023-12-14 David Malcolm New
[2/4;,v3] Add generated .opt.urls files [2/4;,v3] Add generated .opt.urls files - - - - --- 2023-12-14 David Malcolm New
[1/4;,v3] options: add gcc/regenerate-opt-urls.py [1/4;,v3] options: add gcc/regenerate-opt-urls.py - - - - --- 2023-12-14 David Malcolm New
[pushed] analyzer: cleanups [PR112655] [pushed] analyzer: cleanups [PR112655] - - - - --- 2023-12-14 David Malcolm New
[pushed] analyzer: add more test coverage for tainted modulus [pushed] analyzer: add more test coverage for tainted modulus - - - - --- 2023-12-12 David Malcolm New
analyzer: fix uninitialized bitmap [PR112955] analyzer: fix uninitialized bitmap [PR112955] - - - - --- 2023-12-11 David Malcolm New
[pushed] analyzer: avoid taint for (TAINTED % NON_TAINTED) [pushed] analyzer: avoid taint for (TAINTED % NON_TAINTED) - - - - --- 2023-12-08 David Malcolm New
[pushed] analyzer: fix ICE on infoleak with poisoned size [pushed] analyzer: fix ICE on infoleak with poisoned size - - - - --- 2023-12-08 David Malcolm New
[pushed] analyzer: fix ICE for 2 bits before the start of base region [PR112889] [pushed] analyzer: fix ICE for 2 bits before the start of base region [PR112889] - - - - --- 2023-12-08 David Malcolm New
[pushed] analyzer: fix taint false positives with UNKNOWN [PR112850] [pushed] analyzer: fix taint false positives with UNKNOWN [PR112850] - - - - --- 2023-12-07 David Malcolm New
[pushed] v2: diagnostics: prettify JSON output formats [pushed] v2: diagnostics: prettify JSON output formats - - - - --- 2023-12-06 David Malcolm New
[pushed] diagnostics: use const and references for diagnostic_info [pushed] diagnostics: use const and references for diagnostic_info - - - - --- 2023-12-06 David Malcolm New
[pushed] diagnostics, analyzer: add optional per-diagnostic property bags to SARIF [pushed] diagnostics, analyzer: add optional per-diagnostic property bags to SARIF - - - - --- 2023-12-01 David Malcolm New
[pushed] docs: remove stray reference to -fanalyzer-checker=taint [PR103533] [pushed] docs: remove stray reference to -fanalyzer-checker=taint [PR103533] - - - - --- 2023-12-01 David Malcolm New
[pushed] analyzer: install header files for use by plugins [PR109077] [pushed] analyzer: install header files for use by plugins [PR109077] - - - - --- 2023-11-28 David Malcolm New
binutils: v2: experimental use of libdiagnostics in gas binutils: v2: experimental use of libdiagnostics in gas - - - - --- 2023-11-21 David Malcolm New
[5/5] diagnostics: don't print annotation lines when there's no column info v2 of libdiagnostics - - - - --- 2023-11-21 David Malcolm New
[4/5] diagnostics: add diagnostic_context::get_location_text v2 of libdiagnostics - - - - --- 2023-11-21 David Malcolm New
[3/5] libdiagnostics v2: add C++ wrapper API v2 of libdiagnostics - - - - --- 2023-11-21 David Malcolm New
[2/5] libdiagnostics v2: work-in-progress implementation v2 of libdiagnostics - - - - --- 2023-11-21 David Malcolm New
[1/5] libdiagnostics v2: header and examples v2 of libdiagnostics - - - - --- 2023-11-21 David Malcolm New
[pushed] libcpp: split decls out to rich-location.h [pushed] libcpp: split decls out to rich-location.h - - - - --- 2023-11-19 David Malcolm New
[pushed] analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] [pushed] analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] - - - - --- 2023-11-19 David Malcolm New
[pushed] analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] [pushed] analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] - - - - --- 2023-11-18 David Malcolm New
[4/4] options: wire up options-urls.cc into gcc_urlifier v2 of Option handling: add documentation URLs - - - - --- 2023-11-16 David Malcolm New
[3/4] opts: add logic to generate options-urls.cc v2 of Option handling: add documentation URLs - - - - --- 2023-11-16 David Malcolm New
[2/4] Add generated .opt.urls files v2 of Option handling: add documentation URLs - - - - --- 2023-11-16 David Malcolm New
[1/4] options: add gcc/regenerate-opt-urls.py v2 of Option handling: add documentation URLs - - - - --- 2023-11-16 David Malcolm New
[pushed] diagnostics: make m_lang_mask private [pushed] diagnostics: make m_lang_mask private - - - - --- 2023-11-16 David Malcolm New
[PATCH/RFC] json.cc: format JSON output [PATCH/RFC] json.cc: format JSON output - - - - --- 2023-11-15 David Malcolm New
[pushed] json.cc: use SELFTEST_LOCATION in selftests [pushed] json.cc: use SELFTEST_LOCATION in selftests - - - - --- 2023-11-15 David Malcolm New
[pushed] analyzer: enable taint state machine by default [PR103533] [pushed] analyzer: enable taint state machine by default [PR103533] - - - - --- 2023-11-14 David Malcolm New
[pushed] diagnostics: make option-handling callbacks private [pushed] diagnostics: make option-handling callbacks private - - - - --- 2023-11-14 David Malcolm New
[pushed] diagnostics: make m_text_callbacks private [pushed] diagnostics: make m_text_callbacks private - - - - --- 2023-11-14 David Malcolm New
[pushed] diagnostics: convert diagnostic_ready_p to an inline function [pushed] diagnostics: convert diagnostic_ready_p to an inline function - - - - --- 2023-11-14 David Malcolm New
[pushed] input.h: eliminate implicit users of global_dc's file_cache [pushed] input.h: eliminate implicit users of global_dc's file_cache - - - - --- 2023-11-14 David Malcolm New
[pushed] json: reduce use of naked new in json-building code [pushed] json: reduce use of naked new in json-building code - - - - --- 2023-11-14 David Malcolm New
« 1 2 3 4 … 31 32 »