Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   2971 patches
« 1 2 3 4 … 29 30 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
Add -fsarif-time-report [PR109361] Add -fsarif-time-report [PR109361] - - - - --- 2023-04-04 David Malcolm New
[pushed] Don't emit -Wxor-used-as-pow on macro expansions [PR107002] [pushed] Don't emit -Wxor-used-as-pow on macro expansions [PR107002] - - - - --- 2023-03-28 David Malcolm New
[pushed] diagnostics: ensure that .sarif files are UTF-8 encoded [PR109098] [pushed] diagnostics: ensure that .sarif files are UTF-8 encoded [PR109098] - - - - --- 2023-03-25 David Malcolm New
[pushed] docs, analyzer: improvements to "Debugging the Analyzer" [pushed] docs, analyzer: improvements to "Debugging the Analyzer" - - - - --- 2023-03-24 David Malcolm New
[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] - - - - --- 2023-03-22 David Malcolm New
testsuite: always use UTF-8 in scan-sarif-file[-not] [PR105959] testsuite: always use UTF-8 in scan-sarif-file[-not] [PR105959] - - - - --- 2023-03-20 David Malcolm New
[pushed] analyzer: fix ICE on certain longjmp calls [PR109094] [pushed] analyzer: fix ICE on certain longjmp calls [PR109094] - - - - --- 2023-03-18 David Malcolm New
json: preserve key-insertion order [PR109163] json: preserve key-insertion order [PR109163] - - - - --- 2023-03-17 David Malcolm New
[pushed] diagnostics: attempt to capture crash info in SARIF output [PR109097] [pushed] diagnostics: attempt to capture crash info in SARIF output [PR109097] - - - - --- 2023-03-15 David Malcolm New
[pushed] testsuite: add test coverage for analyzer leak false +ve [PR105906] [pushed] testsuite: add test coverage for analyzer leak false +ve [PR105906] - - - - --- 2023-03-13 David Malcolm New
[pushed] testsuite: add test coverage for PR analyzer/108045 [pushed] testsuite: add test coverage for PR analyzer/108045 - - - - --- 2023-03-13 David Malcolm New
[pushed] analyzer, testsuite: add test coverage for various builtins [pushed] analyzer, testsuite: add test coverage for various builtins - - - - --- 2023-03-13 David Malcolm New
[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] - - - - --- 2023-03-10 David Malcolm New
[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] - - - - --- 2023-03-10 David Malcolm New
[pushed] testsuite: add various -Wanalyzer-null-dereference false +ve test cases [pushed] testsuite: add various -Wanalyzer-null-dereference false +ve test cases - - - - --- 2023-03-09 David Malcolm New
[pushed] analyzer: start adding test coverage for OpenMP [PR109016] [pushed] analyzer: start adding test coverage for OpenMP [PR109016] - - - - --- 2023-03-03 David Malcolm New
[committed] analyzer: provide placeholder implementation of sprintf [committed] analyzer: provide placeholder implementation of sprintf - - - - --- 2023-03-03 David Malcolm New
[pushed] testsuite: remove XFAIL in gcc.dg/analyzer/pr99716-1.c [PR108988] [pushed] testsuite: remove XFAIL in gcc.dg/analyzer/pr99716-1.c [PR108988] - - - - --- 2023-03-03 David Malcolm New
[pushed] analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968] [pushed] analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968] - - - - --- 2023-03-02 David Malcolm New
[pushed] analyzer: fixes to side-effects for built-in functions [PR107565] [pushed] analyzer: fixes to side-effects for built-in functions [PR107565] - - - - --- 2023-03-01 David Malcolm New
[pushed] analyzer: fix infinite recursion false +ves [PR108935] [pushed] analyzer: fix infinite recursion false +ves [PR108935] - - - - --- 2023-03-01 David Malcolm New
[pushed] analyzer: stop exploring the path after certain diagnostics [PR108830] [pushed] analyzer: stop exploring the path after certain diagnostics [PR108830] - - - - --- 2023-02-21 David Malcolm New
[pushed] analyzer: respect some conditions from bit masks [PR108806] [pushed] analyzer: respect some conditions from bit masks [PR108806] - - - - --- 2023-02-16 David Malcolm New
[pushed] analyzer: fix uninit false +ves [PR108664, PR108666, PR108725] [pushed] analyzer: fix uninit false +ves [PR108664, PR108666, PR108725] - - - - --- 2023-02-15 David Malcolm New
[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] - - - - --- 2023-02-10 David Malcolm New
[pushed] analyzer: fix further overzealous state purging [PR108733] [pushed] analyzer: fix further overzealous state purging [PR108733] - - - - --- 2023-02-09 David Malcolm New
[pushed] analyzer: fix overzealous state purging with on-stack structs [PR108704] [pushed] analyzer: fix overzealous state purging with on-stack structs [PR108704] - - - - --- 2023-02-08 David Malcolm New
[pushed,wwwdocs] gcc-13: add analyzer improvements [pushed,wwwdocs] gcc-13: add analyzer improvements - - - - --- 2023-02-08 David Malcolm New
[pushed,wwwdocs] gcc-13: add -Wxor-used-as-pow [pushed,wwwdocs] gcc-13: add -Wxor-used-as-pow - - - - --- 2023-02-08 David Malcolm New
[pushed,wwwdocs] gcc-13: add SARIF and other diagnostics improvements [pushed,wwwdocs] gcc-13: add SARIF and other diagnostics improvements - - - - --- 2023-02-08 David Malcolm New
[pushed,wwwdocs] gcc-13: linkify some options - - - - --- 2023-02-08 David Malcolm New
[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] - - - - --- 2023-02-07 David Malcolm New
[pushed] analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633] [pushed] analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633] - - - - --- 2023-02-02 David Malcolm New
[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 - - - - --- 2023-02-02 David Malcolm New
[pushed] analyzer: fix uses of alloca in testsuite [pushed] analyzer: fix uses of alloca in testsuite - - - - --- 2023-02-01 David Malcolm New
[pushed] analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616] [pushed] analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616] - - - - --- 2023-02-01 David Malcolm New
[pushed] doc: add notes about limitations of -fanalyzer [pushed] doc: add notes about limitations of -fanalyzer - - - - --- 2023-02-01 David Malcolm New
[committed] analyzer: fix SARD-tc841-basic-00182-min.c test case [PR108507] [committed] analyzer: fix SARD-tc841-basic-00182-min.c test case [PR108507] - - - - --- 2023-01-26 David Malcolm New
[committed] analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524] [committed] analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524] - - - - --- 2023-01-26 David Malcolm New
[committed] analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455] [committed] analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455] - - - - --- 2023-01-19 David Malcolm New
[committed] analyzer: add SARD testsuite 81 [committed] analyzer: add SARD testsuite 81 - - - - --- 2023-01-18 David Malcolm New
[committed] analyzer: add heuristics for switch on enum type [PR105273] [committed] analyzer: add heuristics for switch on enum type [PR105273] - - - - --- 2023-01-13 David Malcolm New
[committed] analyzer: fix leak false positives on "*UNKNOWN = PTR; " [PR108252] [committed] analyzer: fix leak false positives on "*UNKNOWN = PTR; " [PR108252] - - - - --- 2023-01-11 David Malcolm New
[committed] analyzer: add src_region param to region_model::check_for_poison [PR106479] [committed] analyzer: add src_region param to region_model::check_for_poison [PR106479] - - - - --- 2022-12-16 David Malcolm New
gccrs: avoid printing to stderr in selftest::rust_flatten_list gccrs: avoid printing to stderr in selftest::rust_flatten_list - - - - --- 2022-12-16 David Malcolm New
gccrs: add selftest-rust-gdb and selftest-rust-valgrind "make" targets gccrs: add selftest-rust-gdb and selftest-rust-valgrind "make" targets - - - - --- 2022-12-16 David Malcolm New
[committed] analyzer: don't call binding_key::make on empty regions [PR108065] [committed] analyzer: don't call binding_key::make on empty regions [PR108065] - - - - --- 2022-12-14 David Malcolm New
[committed] analyzer: rename region-model-impl-calls.cc to kf.cc [committed] analyzer: rename region-model-impl-calls.cc to kf.cc - - - - --- 2022-12-09 David Malcolm New
[committed] analyzer: fix ICE on region creation during get_referenced_base_regions [PR108003] [committed] analyzer: fix ICE on region creation during get_referenced_base_regions [PR108003] - - - - --- 2022-12-09 David Malcolm New
[committed] analyzer: handle memmove like memcpy [committed] analyzer: handle memmove like memcpy - - - - --- 2022-12-09 David Malcolm New
[committed] analyzer: don't create bindings or binding keys for empty regions [PR107882] [committed] analyzer: don't create bindings or binding keys for empty regions [PR107882] - - - - --- 2022-12-06 David Malcolm New
[committed] analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325] [committed] analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325] - - - - --- 2022-12-06 David Malcolm New
[committed] contrib: doxygen: add gcc/analyzer subdirectory to INPUT [committed] contrib: doxygen: add gcc/analyzer subdirectory to INPUT - - - - --- 2022-12-06 David Malcolm New
[committed] analyzer: update internal docs [committed] analyzer: update internal docs - - - - --- 2022-12-06 David Malcolm New
[committed] analyzer: split out more stuff from region-model-impl-calls.cc [committed] analyzer: split out more stuff from region-model-impl-calls.cc - - - - --- 2022-12-06 David Malcolm New
[committed] analyzer: introduce struct event_loc_info [committed] analyzer: introduce struct event_loc_info - - - - --- 2022-12-02 David Malcolm New
[committed] analyzer: fixes to region creation messages [PR107851] [committed] analyzer: fixes to region creation messages [PR107851] - - - - --- 2022-12-02 David Malcolm New
[trunk,PR104308,analyzer] handle memmove like memcpy [trunk,PR104308,analyzer] handle memmove like memcpy - - - - --- 2022-12-02 David Malcolm New
[committed] analyzer: handle comparisons against negated symbolic values [PR107948] [committed] analyzer: handle comparisons against negated symbolic values [PR107948] - - - - --- 2022-12-02 David Malcolm New
[committed] analyzer: add test coverage for string ops [committed] analyzer: add test coverage for string ops - - - - --- 2022-12-02 David Malcolm New
[committed,7/7] analyzer: fix i18n issues in symbolic out-of-bounds [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,6/7] analyzer: unify bounds-checking class hierarchies [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,5/7] diagnostics: tweak diagnostic_path::interprocedural_p [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,4/7] analyzer: more bounds-checking wording tweaks [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,3/7] analyzer: add note about valid subscripts [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,2/7] analyzer: fix wording of 'number of bad bytes' note [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - - --- 2022-12-01 David Malcolm New
[committed] analyzer: fix ICE on bind/connect with a constant fd [PR107928] [committed] analyzer: fix ICE on bind/connect with a constant fd [PR107928] - - - - --- 2022-12-01 David Malcolm New
[committed] analyzer: move stdio known fns to sm-file.cc [committed] analyzer: move stdio known fns to sm-file.cc - - - - --- 2022-11-30 David Malcolm New
[committed] analyzer work on issues with flex-generated lexers [PR103546] [committed] analyzer work on issues with flex-generated lexers [PR103546] - - - - --- 2022-11-30 David Malcolm New
[committed] analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] [committed] analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] - - - - --- 2022-11-30 David Malcolm New
[committed] analyzer: revamp of heap-allocated regions [PR106473] [committed] analyzer: revamp of heap-allocated regions [PR106473] - - - - --- 2022-11-24 David Malcolm New
[committed] analyzer: fix nondeterminism in logs [committed] analyzer: fix nondeterminism in logs - - - - --- 2022-11-24 David Malcolm New
[committed,2/2] analyzer: eliminate region_model::on_ fns for sockets [committed,1/2] analyzer: move known funs for fds to sm-fd.cc - - - - --- 2022-11-24 David Malcolm New
[committed,1/2] analyzer: move known funs for fds to sm-fd.cc [committed,1/2] analyzer: move known funs for fds to sm-fd.cc - - - - --- 2022-11-24 David Malcolm New
[committed] analyzer: only look for named functions in root ns [PR107788] [committed] analyzer: only look for named functions in root ns [PR107788] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783] [committed] analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix 'errno' on Solaris and OS X [PR107807] [committed] analyzer: fix 'errno' on Solaris and OS X [PR107807] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: eliminate region_model::impl_call_* special cases [committed] analyzer: eliminate region_model::impl_call_* special cases - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix ICE on 'bind' that returns a struct [PR107788] [committed] analyzer: fix ICE on 'bind' that returns a struct [PR107788] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix ICE on 'bind' with non-pointer arg [P107783] [committed] analyzer: fix ICE on 'bind' with non-pointer arg [P107783] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix ICE on writes to errno [PR107777] [committed] analyzer: fix ICE on writes to errno [PR107777] - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer, testsuite: add more examples taken from CWE [committed] analyzer, testsuite: add more examples taken from CWE - - - - --- 2022-11-22 David Malcolm New
[committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] [committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] - - - - --- 2022-11-19 David Malcolm New
[committed] analyzer: move more impl_* to known_function [committed] analyzer: move more impl_* to known_function - - - - --- 2022-11-18 David Malcolm New
c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] - - - - --- 2022-11-17 David Malcolm New
[committed] analyzer: more test coverage for named constants [committed] analyzer: more test coverage for named constants - - - - --- 2022-11-16 David Malcolm New
[committed] analyzer: log the stashing of named constants [PR107711] [committed] analyzer: log the stashing of named constants [PR107711] - - - - --- 2022-11-16 David Malcolm New
[committed] analyzer: use known_function to simplify region_model::on_call_{pre, post} [committed] analyzer: use known_function to simplify region_model::on_call_{pre, post} - - - - --- 2022-11-16 David Malcolm New
[committed] analyzer: split out checker-path.cc into a new checker-event.cc [committed] analyzer: split out checker-path.cc into a new checker-event.cc - - - - --- 2022-11-16 David Malcolm New
[v3] c, analyzer: support named constants in analyzer [PR106302] [v3] c, analyzer: support named constants in analyzer [PR106302] - - - - --- 2022-11-15 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] [committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] - - - - --- 2022-11-13 David Malcolm New
[v2] analyzer: add warnings relating to sockets [PR106140] [v2] analyzer: add warnings relating to sockets [PR106140] - - - - --- 2022-11-12 David Malcolm New
[v2] c, analyzer: support named constants in analyzer [PR106302] [v2] c, analyzer: support named constants in analyzer [PR106302] - - - - --- 2022-11-12 David Malcolm New
[committed] analyzer: more state machine documentation [committed] analyzer: more state machine documentation - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: split out checker_event classes to their own header [committed] analyzer: split out checker_event classes to their own header - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] [committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] [committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] - - - - --- 2022-11-10 David Malcolm New
[committed] analyzer: better logging of event creation [committed] analyzer: better logging of event creation - - - - --- 2022-11-09 David Malcolm New
[committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] [committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] - - - - --- 2022-11-08 David Malcolm New
« 1 2 3 4 … 29 30 »