Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   205 patches
« 1 2 3 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
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] 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] 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
[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
[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: fix infinite recursion false +ves [PR108935] [pushed] analyzer: fix infinite recursion false +ves [PR108935] - - - -1- 2023-03-01 David Malcolm Repeat Merge
[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-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
[committed] analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455] [committed] analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455] - - - -1- 2023-01-19 David Malcolm Repeat Merge
[committed] analyzer: add SARD testsuite 81 [committed] analyzer: add SARD testsuite 81 - - - -1- 2023-01-18 David Malcolm Repeat Merge
[committed] analyzer: add heuristics for switch on enum type [PR105273] [committed] analyzer: add heuristics for switch on enum type [PR105273] - - - -1- 2023-01-13 David Malcolm Repeat Merge
[committed] analyzer: fix leak false positives on "*UNKNOWN = PTR; " [PR108252] [committed] analyzer: fix leak false positives on "*UNKNOWN = PTR; " [PR108252] - - - -1- 2023-01-11 David Malcolm Repeat Merge
[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] - - - -1- 2022-12-16 David Malcolm Repeat Merge
[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] - - - -1- 2022-12-09 David Malcolm Repeat Merge
[committed] analyzer: handle memmove like memcpy [committed] analyzer: handle memmove like memcpy - - - -1- 2022-12-09 David Malcolm Repeat Merge
[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] - - - -1- 2022-12-06 David Malcolm Repeat Merge
[committed] analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325] [committed] analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325] - - - -1- 2022-12-06 David Malcolm Unresolved
[committed] contrib: doxygen: add gcc/analyzer subdirectory to INPUT [committed] contrib: doxygen: add gcc/analyzer subdirectory to INPUT - - - -1- 2022-12-06 David Malcolm Repeat Merge
[committed] analyzer: update internal docs [committed] analyzer: update internal docs - - - -1- 2022-12-06 David Malcolm Repeat Merge
[committed] analyzer: split out more stuff from region-model-impl-calls.cc [committed] analyzer: split out more stuff from region-model-impl-calls.cc - - - -1- 2022-12-06 David Malcolm Repeat Merge
[committed] analyzer: introduce struct event_loc_info [committed] analyzer: introduce struct event_loc_info - - - -1- 2022-12-02 David Malcolm Unresolved
[committed] analyzer: fixes to region creation messages [PR107851] [committed] analyzer: fixes to region creation messages [PR107851] - - - -1- 2022-12-02 David Malcolm Unresolved
[committed] analyzer: handle comparisons against negated symbolic values [PR107948] [committed] analyzer: handle comparisons against negated symbolic values [PR107948] - - - -1- 2022-12-02 David Malcolm Repeat Merge
[committed] analyzer: add test coverage for string ops [committed] analyzer: add test coverage for string ops - - - -1- 2022-12-02 David Malcolm Repeat Merge
[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 - - - -1- 2022-12-01 David Malcolm Unresolved
[committed,6/7] analyzer: unify bounds-checking class hierarchies [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - -1- 2022-12-01 David Malcolm Unresolved
[committed,5/7] diagnostics: tweak diagnostic_path::interprocedural_p [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - -1- 2022-12-01 David Malcolm Unresolved
[committed,4/7] analyzer: more bounds-checking wording tweaks [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - -1- 2022-12-01 David Malcolm Unresolved
[committed,3/7] analyzer: add note about valid subscripts [PR106626] [committed,1/7] analyzer: move bounds checking to a new bounds-checking.cc - - - -1- 2022-12-01 David Malcolm Unresolved
[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 - - - -1- 2022-12-01 David Malcolm Unresolved
[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 - - - -1- 2022-12-01 David Malcolm Unresolved
[committed] analyzer: fix ICE on bind/connect with a constant fd [PR107928] [committed] analyzer: fix ICE on bind/connect with a constant fd [PR107928] - - - -1- 2022-12-01 David Malcolm Repeat Merge
[committed] analyzer: move stdio known fns to sm-file.cc [committed] analyzer: move stdio known fns to sm-file.cc - - - -1- 2022-11-30 David Malcolm Unresolved
[committed] analyzer: revamp of heap-allocated regions [PR106473] [committed] analyzer: revamp of heap-allocated regions [PR106473] - - - -1- 2022-11-24 David Malcolm Unresolved
[committed] analyzer: fix nondeterminism in logs [committed] analyzer: fix nondeterminism in logs - - - -1- 2022-11-24 David Malcolm Repeat Merge
[committed,2/2] analyzer: eliminate region_model::on_ fns for sockets [committed,1/2] analyzer: move known funs for fds to sm-fd.cc - - - -1- 2022-11-24 David Malcolm Unresolved
[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 - - - -1- 2022-11-24 David Malcolm Unresolved
[committed] analyzer: only look for named functions in root ns [PR107788] [committed] analyzer: only look for named functions in root ns [PR107788] - - - -1- 2022-11-22 David Malcolm Unresolved
[committed] analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783] [committed] analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783] - - - -1- 2022-11-22 David Malcolm Repeat Merge
[committed] analyzer: fix 'errno' on Solaris and OS X [PR107807] [committed] analyzer: fix 'errno' on Solaris and OS X [PR107807] - - - -1- 2022-11-22 David Malcolm Unresolved
[committed] analyzer: eliminate region_model::impl_call_* special cases [committed] analyzer: eliminate region_model::impl_call_* special cases - - - -1- 2022-11-22 David Malcolm Unresolved
[committed] analyzer: fix ICE on 'bind' that returns a struct [PR107788] [committed] analyzer: fix ICE on 'bind' that returns a struct [PR107788] - - - -1- 2022-11-22 David Malcolm Unresolved
[committed] analyzer: fix ICE on 'bind' with non-pointer arg [P107783] [committed] analyzer: fix ICE on 'bind' with non-pointer arg [P107783] - - - -1- 2022-11-22 David Malcolm Repeat Merge
[committed] analyzer: fix ICE on writes to errno [PR107777] [committed] analyzer: fix ICE on writes to errno [PR107777] - - - -1- 2022-11-22 David Malcolm Repeat Merge
[committed] analyzer, testsuite: add more examples taken from CWE [committed] analyzer, testsuite: add more examples taken from CWE - - - -1- 2022-11-22 David Malcolm Repeat Merge
[committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] [committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] - - - -1- 2022-11-19 David Malcolm Repeat Merge
[committed] analyzer: move more impl_* to known_function [committed] analyzer: move more impl_* to known_function - - - -1- 2022-11-18 David Malcolm Repeat Merge
[committed] analyzer: more test coverage for named constants [committed] analyzer: more test coverage for named constants - - - -1- 2022-11-16 David Malcolm Repeat Merge
[committed] analyzer: log the stashing of named constants [PR107711] [committed] analyzer: log the stashing of named constants [PR107711] - - - -1- 2022-11-16 David Malcolm Repeat Merge
[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} - - - -1- 2022-11-16 David Malcolm Repeat Merge
[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 - - - -1- 2022-11-16 David Malcolm Repeat Merge
[committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] [committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] - - - -1- 2022-11-13 David Malcolm Repeat Merge
[v2] analyzer: add warnings relating to sockets [PR106140] [v2] analyzer: add warnings relating to sockets [PR106140] - - - -1- 2022-11-12 David Malcolm Unresolved
[committed] analyzer: more state machine documentation [committed] analyzer: more state machine documentation - - - -1- 2022-11-11 David Malcolm Repeat Merge
[committed] analyzer: split out checker_event classes to their own header [committed] analyzer: split out checker_event classes to their own header - - - -1- 2022-11-11 David Malcolm Unresolved
[committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] [committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] - - - -1- 2022-11-11 David Malcolm Unresolved
[committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] [committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] - - - -1- 2022-11-10 David Malcolm Repeat Merge
[committed] analyzer: better logging of event creation [committed] analyzer: better logging of event creation - - - -1- 2022-11-09 David Malcolm Repeat Merge
[committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] [committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] - - - -1- 2022-11-08 David Malcolm Repeat Merge
analyzer: add warnings relating to sockets [PR106140] analyzer: add warnings relating to sockets [PR106140] - - - -1- 2022-11-08 David Malcolm Unresolved
[commited] analyzer: start adding support for errno [commited] analyzer: start adding support for errno - - - -1- 2022-11-08 David Malcolm Unresolved
[committed] analyzer: introduce succeed_or_fail_call_info [committed] analyzer: introduce succeed_or_fail_call_info - - - -1- 2022-11-08 David Malcolm Repeat Merge
[committed] analyzer: fix "when 'strchr' returns non-NULL" message [committed] analyzer: fix "when 'strchr' returns non-NULL" message - - - -1- 2022-11-08 David Malcolm Repeat Merge
[committed,8/8] analyzer: use std::unique_ptr for state machines from plugins Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,7/8] analyzer: use std::unique_ptr for known functions Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,6/8] analyzer: use std::unique_ptr during bifurcation Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,5/8] analyzer: use std::unique_ptr for checker_event Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,4/8] analyzer: use std::unique_ptr for feasibility_problems and exploded_path Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,3/8] analyzer: use std::unique_ptr for custom_edge_info pointers Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,2/8] analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finder Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed,1/8] analyzer: use std::unique_ptr for pending_diagnostic/note Use std::unique_ptr in analyzer - - - -1- 2022-11-03 David Malcolm Unresolved
[committed] analyzer: fix ICE when pipe's arg isn't a pointer [PR107486] [committed] analyzer: fix ICE when pipe's arg isn't a pointer [PR107486] - - - -1- 2022-11-03 David Malcolm Repeat Merge
[committed] analyzer: fixes to file-descriptor handling [committed] analyzer: fixes to file-descriptor handling - - - -1- 2022-10-26 David Malcolm Repeat Merge
[committed] analyzer: add sm-fd.dot [committed] analyzer: add sm-fd.dot - - - -1- 2022-10-26 David Malcolm Repeat Merge
[commited] analyzer: fix ICE on va_copy [PR107349] [commited] analyzer: fix ICE on va_copy [PR107349] - - - -1- 2022-10-24 David Malcolm Repeat Merge
[committed] diagnostics: fix ICE in sarif output with NULL filename [PR107366] [committed] diagnostics: fix ICE in sarif output with NULL filename [PR107366] - - - -1- 2022-10-24 David Malcolm Repeat Merge
« 1 2 3 »