Show patches with: Submitter = David Malcolm       |    Archived = No       |   287 patches
« 1 2 3 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[pushed] diagnostics: add diagnostic_output_format class [pushed] diagnostics: add diagnostic_output_format class - - - -1- 2023-10-02 David Malcolm Unresolved
[pushed] diagnostics: group together source printing fields of diagnostic_context [pushed] diagnostics: group together source printing fields of diagnostic_context - - - 1-- 2023-10-02 David Malcolm Accepted
[pushed] diagnostics: fix missing init of set_locations_cb [pushed] diagnostics: fix missing init of set_locations_cb - - - 1-- 2023-10-02 David Malcolm Accepted
[pushed] analyzer: support diagnostics that don't have a stmt [pushed] analyzer: support diagnostics that don't have a stmt - - - -1- 2023-09-15 David Malcolm Unresolved
[pushed] analyzer: introduce pending_location [pushed] analyzer: introduce pending_location - - - -1- 2023-09-15 David Malcolm Unresolved
[pushed] analyzer: handle volatile ops [pushed] analyzer: handle volatile ops - - - 1-- 2023-09-15 David Malcolm Accepted
[pushed] diagnostics: support multithreaded diagnostic paths [pushed] diagnostics: support multithreaded diagnostic paths - - - 1-- 2023-09-14 David Malcolm Accepted
[pushed] analyzer: fix missing return in compatible_epath_p [pushed] analyzer: fix missing return in compatible_epath_p - - - -1- 2023-09-14 David Malcolm Unresolved
[pushed] analyzer: use unique_ptr for rejected_constraint [pushed] analyzer: use unique_ptr for rejected_constraint - - - -1- 2023-09-14 David Malcolm Unresolved
[pushed] analyzer: basic support for computed gotos (PR analyzer/110529) [pushed] analyzer: basic support for computed gotos (PR analyzer/110529) - - - 1-- 2023-09-07 David Malcolm Accepted
[pushed] analyzer: fix -Wunused-parameter warnings [pushed] analyzer: fix -Wunused-parameter warnings - - - -1- 2023-09-07 David Malcolm Unresolved
[pushed] analyzer: implement kf_strstr [PR105899] [pushed] analyzer: implement kf_strstr [PR105899] - - - -1- 2023-09-06 David Malcolm Unresolved
[pushed] analyzer: implement kf_strncpy [PR105899] [pushed] analyzer: implement kf_strncpy [PR105899] - - - -1- 2023-09-06 David Malcolm Unresolved
[pushed] analyzer: add ctxt to fill_region/zero_fill_region [pushed] analyzer: add ctxt to fill_region/zero_fill_region - - - -1- 2023-09-06 David Malcolm Unresolved
ggc, jit: forcibly clear GTY roots in jit ggc, jit: forcibly clear GTY roots in jit - - - 1-- 2023-09-06 David Malcolm Accepted
[pushed] analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860] [pushed] analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860] - - - -1- 2023-08-29 David Malcolm Unresolved
[pushed] analyzer: improve strdup handling [PR105899] [pushed] analyzer: improve strdup handling [PR105899] - - - -1- 2023-08-29 David Malcolm Unresolved
[pushed] analyzer: fix ICE in text art strings support [pushed] analyzer: fix ICE in text art strings support - - - -1- 2023-08-25 David Malcolm Unresolved
[9/9] analyzer: implement kf_strcat [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[8/9] analyzer: handle strlen(BITS_WITHIN) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[7/9] analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[6/9] analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[5/9] analyzer: reimplement kf_memcpy_memmove analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[4/9] analyzer: eliminate region_model::get_string_size [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[3/9] analyzer: reimplement kf_strcpy [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[2/9] analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[1/9] analyzer: add logging to impl_path_context analyzer: strlen, strcpy, and strcat [PR105899] - - - 1-- 2023-08-24 David Malcolm Accepted
[pushed] analyzer: reimplement kf_strlen [PR105899] [pushed] analyzer: reimplement kf_strlen [PR105899] - - - -1- 2023-08-22 David Malcolm Unresolved
[pushed,6/6] analyzer: check format strings for null termination [PR105899] [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - -1- 2023-08-22 David Malcolm Unresolved
[pushed,5/6] analyzer: add kf_fopen [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - -1- 2023-08-22 David Malcolm Unresolved
[pushed,4/6] analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminator [PR1058… [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - -1- 2023-08-22 David Malcolm Unresolved
[pushed,3/6] analyzer: handle NULL inner context in region_model_context_decorator [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - 1-- 2023-08-22 David Malcolm Accepted
[pushed,2/6] analyzer: add ability for context to add events to a saved_diagnostic [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - 1-- 2023-08-22 David Malcolm Accepted
[pushed,1/6] analyzer: convert note_adding_context to annotating_context [pushed,1/6] analyzer: convert note_adding_context to annotating_context - - - 1-- 2023-08-22 David Malcolm Accepted
[pushed] analyzer: new warning: -Wanalyzer-unterminated-string [PR105899] [pushed] analyzer: new warning: -Wanalyzer-unterminated-string [PR105899] - - - -1- 2023-08-11 David Malcolm Unresolved
[pushed] analyzer: remove default return value from region_model::on_call_pre [pushed] analyzer: remove default return value from region_model::on_call_pre - - - -1- 2023-08-09 David Malcolm Unresolved
[pushed] analyzer: handle function attribute "alloc_size" [PR110426] [pushed] analyzer: handle function attribute "alloc_size" [PR110426] - - - -1- 2023-08-04 David Malcolm Unresolved
[pushed] analyzer: fix some svalue::dump_to_pp implementations [pushed] analyzer: fix some svalue::dump_to_pp implementations - - - 1-- 2023-08-04 David Malcolm Accepted
[committed] testsuite, analyzer: add test case [PR108171] [committed] testsuite, analyzer: add test case [PR108171] - - - 1-- 2023-08-03 David Malcolm Accepted
[committed] analyzer: fix ICE on zero-sized arrays [PR110882] [committed] analyzer: fix ICE on zero-sized arrays [PR110882] - - - 1-- 2023-08-03 David Malcolm Accepted
[v2] SARIF and -ftime-report's output [PR109361] [v2] SARIF and -ftime-report's output [PR109361] - - - -1- 2023-07-28 David Malcolm Unresolved
[pushed] analyzer: add symbol base class, moving region id to there [PR104940] [pushed] analyzer: add symbol base class, moving region id to there [PR104940] - - - -1- 2023-07-26 David Malcolm Unresolved
[pushed] analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455] [pushed] analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455] - - - 1-- 2023-07-21 David Malcolm Accepted
[pushed] analyzer/text-art: fix clang warnings [PR110433,PR110612] [pushed] analyzer/text-art: fix clang warnings [PR110433,PR110612] - - - -1- 2023-07-21 David Malcolm Unresolved
[pushed] analyzer: fix ICE on certain pointer subtractions [PR110387] [pushed] analyzer: fix ICE on certain pointer subtractions [PR110387] - - - 1-- 2023-07-21 David Malcolm Accepted
[pushed] analyzer: fix ICE on division of tainted floating-point values [PR110700] [pushed] analyzer: fix ICE on division of tainted floating-point values [PR110700] - - - -1- 2023-07-19 David Malcolm Unresolved
[pushed,2/2] jit.exp: handle dwarf version mismatch in jit-check-debug-info [PR110466] [pushed,1/2] jit: avoid using __vector in testcase [PR110466] - - - 1-- 2023-06-30 David Malcolm Accepted
[pushed,1/2] jit: avoid using __vector in testcase [PR110466] [pushed,1/2] jit: avoid using __vector in testcase [PR110466] - - - 1-- 2023-06-30 David Malcolm Accepted
[pushed:,v2] text-art: remove explicit #include of C++ standard library headers [pushed:,v2] text-art: remove explicit #include of C++ standard library headers - - - -1- 2023-06-24 David Malcolm Unresolved
[pushed] c++: provide #include hint for missing includes [PR110164] [pushed] c++: provide #include hint for missing includes [PR110164] - - - 1-- 2023-06-23 David Malcolm Accepted
text-art: remove explicit #include of C++ standard library headers text-art: remove explicit #include of C++ standard library headers - - - -1- 2023-06-23 David Malcolm Unresolved
[pushed] c: add name hints to c_parser_declspecs [PR107583] [pushed] c: add name hints to c_parser_declspecs [PR107583] - - - 1-- 2023-06-16 David Malcolm Accepted
c++: provide #include hint for missing includes [PR110164] c++: provide #include hint for missing includes [PR110164] - - - 1-- 2023-06-15 David Malcolm Accepted
[pushed] c/c++: use positive tone in missing header notes [PR84890] [pushed] c/c++: use positive tone in missing header notes [PR84890] - - - 1-- 2023-06-13 David Malcolm Accepted
[pushed] analyzer: add caching to globals with initializers [PR110112] [pushed] analyzer: add caching to globals with initializers [PR110112] - - - 1-- 2023-06-09 David Malcolm Accepted
[pushed] analyzer: implement various atomic builtins [PR109015] [pushed] analyzer: implement various atomic builtins [PR109015] - - - 1-- 2023-06-02 David Malcolm Accepted
[pushed] analyzer: regions in different memory spaces can't alias [pushed] analyzer: regions in different memory spaces can't alias - - - 1-- 2023-06-02 David Malcolm Accepted
[3/3] analyzer: add text-art visualizations of out-of-bounds accesses [PR106626] Add diagram support to gcc diagnostics - - - 1-- 2023-05-31 David Malcolm Accepted
[2/3] diagnostics: add support for "text art" diagrams Add diagram support to gcc diagnostics - - - 1-- 2023-05-31 David Malcolm Accepted
[1/3] testsuite: move handle-multiline-outputs to before check for blank lines Add diagram support to gcc diagnostics - - - 1-- 2023-05-31 David Malcolm Accepted
[pushed] testsuite: add verify-sarif-file to some testcases that were missing it [pushed] testsuite: add verify-sarif-file to some testcases that were missing it - - - 1-- 2023-05-30 David Malcolm Accepted
Add -fsarif-time-report [PR109361] Add -fsarif-time-report [PR109361] - - - 1-- 2023-04-04 David Malcolm Accepted
[pushed] Don't emit -Wxor-used-as-pow on macro expansions [PR107002] [pushed] Don't emit -Wxor-used-as-pow on macro expansions [PR107002] - - - 1-- 2023-03-28 David Malcolm Accepted
[pushed] diagnostics: ensure that .sarif files are UTF-8 encoded [PR109098] [pushed] diagnostics: ensure that .sarif files are UTF-8 encoded [PR109098] - - - -1- 2023-03-25 David Malcolm Corrupt patch
[pushed] docs, analyzer: improvements to "Debugging the Analyzer" [pushed] docs, analyzer: improvements to "Debugging the Analyzer" - - - 1-- 2023-03-24 David Malcolm Accepted
[pushed] analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [PR109239] [pushed] analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [PR109239] - - - -1- 2023-03-22 David Malcolm Repeat Merge
testsuite: always use UTF-8 in scan-sarif-file[-not] [PR105959] testsuite: always use UTF-8 in scan-sarif-file[-not] [PR105959] - - - 1-- 2023-03-20 David Malcolm Accepted
[pushed] analyzer: fix ICE on certain longjmp calls [PR109094] [pushed] analyzer: fix ICE on certain longjmp calls [PR109094] - - - -1- 2023-03-18 David Malcolm Repeat Merge
json: preserve key-insertion order [PR109163] json: preserve key-insertion order [PR109163] - - - 1-- 2023-03-17 David Malcolm Accepted
[pushed] diagnostics: attempt to capture crash info in SARIF output [PR109097] [pushed] diagnostics: attempt to capture crash info in SARIF output [PR109097] - - - -1- 2023-03-15 David Malcolm Repeat Merge
[pushed] testsuite: add test coverage for analyzer leak false +ve [PR105906] [pushed] testsuite: add test coverage for analyzer leak false +ve [PR105906] - - - -1- 2023-03-13 David Malcolm Repeat Merge
[pushed] testsuite: add test coverage for PR analyzer/108045 [pushed] testsuite: add test coverage for PR analyzer/108045 - - - -1- 2023-03-13 David Malcolm Repeat Merge
[pushed] analyzer, testsuite: add test coverage for various builtins [pushed] analyzer, testsuite: add test coverage for various builtins - - - -1- 2023-03-13 David Malcolm Repeat Merge
[pushed] analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059] [pushed] analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059] - - - -1- 2023-03-10 David Malcolm Repeat Merge
[pushed] analyzer: fix deref-before-check false +ves seen in haproxy [PR108475, PR109060] [pushed] analyzer: fix deref-before-check false +ves seen in haproxy [PR108475, PR109060] - - - -1- 2023-03-10 David Malcolm Repeat Merge
[pushed] testsuite: add various -Wanalyzer-null-dereference false +ve test cases [pushed] testsuite: add various -Wanalyzer-null-dereference false +ve test cases - - - -1- 2023-03-09 David Malcolm Repeat Merge
[pushed] analyzer: start adding test coverage for OpenMP [PR109016] [pushed] analyzer: start adding test coverage for OpenMP [PR109016] - - - -1- 2023-03-03 David Malcolm Repeat Merge
[committed] analyzer: provide placeholder implementation of sprintf [committed] analyzer: provide placeholder implementation of sprintf - - - -1- 2023-03-03 David Malcolm Repeat Merge
[pushed] testsuite: remove XFAIL in gcc.dg/analyzer/pr99716-1.c [PR108988] [pushed] testsuite: remove XFAIL in gcc.dg/analyzer/pr99716-1.c [PR108988] - - - -1- 2023-03-03 David Malcolm Repeat Merge
[pushed] analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968] [pushed] analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968] - - - -1- 2023-03-02 David Malcolm Unresolved
[pushed] analyzer: fixes to side-effects for built-in functions [PR107565] [pushed] analyzer: fixes to side-effects for built-in functions [PR107565] - - - 1-- 2023-03-01 David Malcolm Accepted
[pushed] analyzer: fix infinite recursion false +ves [PR108935] [pushed] analyzer: fix infinite recursion false +ves [PR108935] - - - -1- 2023-03-01 David Malcolm Repeat Merge
[pushed] analyzer: stop exploring the path after certain diagnostics [PR108830] [pushed] analyzer: stop exploring the path after certain diagnostics [PR108830] - - - 1-- 2023-02-21 David Malcolm Accepted
[pushed] analyzer: respect some conditions from bit masks [PR108806] [pushed] analyzer: respect some conditions from bit masks [PR108806] - - - -1- 2023-02-16 David Malcolm Repeat Merge
[pushed] analyzer: fix uninit false +ves [PR108664, PR108666, PR108725] [pushed] analyzer: fix uninit false +ves [PR108664, PR108666, PR108725] - - - -1- 2023-02-15 David Malcolm Repeat Merge
[pushed] analyzer: don't warn for deref-before-check for checks in macros [PR108745] [pushed] analyzer: don't warn for deref-before-check for checks in macros [PR108745] - - - -1- 2023-02-10 David Malcolm Repeat Merge
[pushed] analyzer: fix further overzealous state purging [PR108733] [pushed] analyzer: fix further overzealous state purging [PR108733] - - - -1- 2023-02-09 David Malcolm Repeat Merge
[pushed] analyzer: fix overzealous state purging with on-stack structs [PR108704] [pushed] analyzer: fix overzealous state purging with on-stack structs [PR108704] - - - -1- 2023-02-08 David Malcolm Repeat Merge
[pushed,wwwdocs] gcc-13: add analyzer improvements [pushed,wwwdocs] gcc-13: add analyzer improvements - - - -1- 2023-02-08 David Malcolm Unresolved
[pushed,wwwdocs] gcc-13: add -Wxor-used-as-pow [pushed,wwwdocs] gcc-13: add -Wxor-used-as-pow - - - -1- 2023-02-08 David Malcolm Unresolved
[pushed,wwwdocs] gcc-13: add SARIF and other diagnostics improvements [pushed,wwwdocs] gcc-13: add SARIF and other diagnostics improvements - - - -1- 2023-02-08 David Malcolm Unresolved
[pushed,wwwdocs] gcc-13: linkify some options [pushed,wwwdocs] gcc-13: linkify some options - - - -1- 2023-02-08 David Malcolm Unresolved
[pushed] analyzer: fix -Wanalyzer-use-of-uninitialized-value false +ve on "read" [PR108661] [pushed] analyzer: fix -Wanalyzer-use-of-uninitialized-value false +ve on "read" [PR108661] - - - 1-- 2023-02-07 David Malcolm Accepted
[pushed] analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633] [pushed] analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633] - - - -1- 2023-02-02 David Malcolm Repeat Merge
[pushed] analyzer: add deref-before-check-qemu-qtest_rsp_args.c test case [pushed] analyzer: add deref-before-check-qemu-qtest_rsp_args.c test case - - - -1- 2023-02-02 David Malcolm Repeat Merge
[pushed] analyzer: fix uses of alloca in testsuite [pushed] analyzer: fix uses of alloca in testsuite - - - -1- 2023-02-01 David Malcolm Repeat Merge
[pushed] analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616] [pushed] analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616] - - - -1- 2023-02-01 David Malcolm Repeat Merge
[pushed] doc: add notes about limitations of -fanalyzer [pushed] doc: add notes about limitations of -fanalyzer - - - -1- 2023-02-01 David Malcolm Repeat Merge
[committed] analyzer: fix SARD-tc841-basic-00182-min.c test case [PR108507] [committed] analyzer: fix SARD-tc841-basic-00182-min.c test case [PR108507] - - - -1- 2023-01-26 David Malcolm Repeat Merge
[committed] analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524] [committed] analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524] - - - -1- 2023-01-26 David Malcolm Repeat Merge
« 1 2 3 »