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
[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
gccrs: avoid printing to stderr in selftest::rust_flatten_list gccrs: avoid printing to stderr in selftest::rust_flatten_list - - - 1-- 2022-12-16 David Malcolm Accepted
gccrs: add selftest-rust-gdb and selftest-rust-valgrind "make" targets gccrs: add selftest-rust-gdb and selftest-rust-valgrind "make" targets - - - 1-- 2022-12-16 David Malcolm Accepted
[committed] analyzer: don't call binding_key::make on empty regions [PR108065] [committed] analyzer: don't call binding_key::make on empty regions [PR108065] - - - 1-- 2022-12-14 David Malcolm Accepted
[committed] analyzer: rename region-model-impl-calls.cc to kf.cc [committed] analyzer: rename region-model-impl-calls.cc to kf.cc - - - --1 2022-12-09 David Malcolm Not Applicable
[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
[trunk,PR104308,analyzer] handle memmove like memcpy [trunk,PR104308,analyzer] handle memmove like memcpy - - - 1-- 2022-12-02 David Malcolm Accepted
[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 work on issues with flex-generated lexers [PR103546] [committed] analyzer work on issues with flex-generated lexers [PR103546] - - - 1-- 2022-11-30 David Malcolm Accepted
[committed] analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] [committed] analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] - - - 1-- 2022-11-30 David Malcolm Accepted
[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
c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] - - - 1-- 2022-11-17 David Malcolm Accepted
[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
[v3] c, analyzer: support named constants in analyzer [PR106302] [v3] c, analyzer: support named constants in analyzer [PR106302] - - - 1-- 2022-11-15 David Malcolm Accepted
[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
[v2] c, analyzer: support named constants in analyzer [PR106302] [v2] c, analyzer: support named constants in analyzer [PR106302] - - - 1-- 2022-11-12 David Malcolm Accepted
[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
c, analyzer: support named constants in analyzer [PR106302] c, analyzer: support named constants in analyzer [PR106302] - - - 1-- 2022-10-31 David Malcolm Accepted
[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
[v3] Add gcc/make-unique.h [v3] Add gcc/make-unique.h - - - 1-- 2022-10-26 David Malcolm Accepted
[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
[committed] analyzer: handle (NULL == &VAR) [PR107345] [committed] analyzer: handle (NULL == &VAR) [PR107345] - - - -1- 2022-10-24 David Malcolm Unresolved
[committed] analyzer: simplify sm_state_map lookup [committed] analyzer: simplify sm_state_map lookup - - - -1- 2022-10-24 David Malcolm Unresolved
[committed] analyzer: handle "pipe" and "pipe2" [PR106300] [committed] analyzer: handle "pipe" and "pipe2" [PR106300] - - - -1- 2022-10-24 David Malcolm Unresolved
[2/2] analyzer: use std::unique_ptr for pending_diagnostic/note [1/2] Add gcc/make-unique.h - - - 1-- 2022-10-21 David Malcolm Accepted
[1/2] Add gcc/make-unique.h [1/2] Add gcc/make-unique.h - - - 1-- 2022-10-21 David Malcolm Accepted
[committed] analyzer: fix ICE on __builtin_ms_va_copy [PR105765] [committed] analyzer: fix ICE on __builtin_ms_va_copy [PR105765] - - - -1- 2022-10-19 David Malcolm Repeat Merge
[committed] analyzer: fix ICE introduced in r13-3168 [PR107210] [committed] analyzer: fix ICE introduced in r13-3168 [PR107210] - - - -1- 2022-10-13 David Malcolm Repeat Merge
« 1 2 3 »