Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   92 patches
Patch Series rb/tb S/W/F Date Submitter Delegate State
[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: move more impl_* to known_function [committed] analyzer: move more impl_* to known_function - - --- 2022-11-18 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
[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
analyzer: add warnings relating to sockets [PR106140] analyzer: add warnings relating to sockets [PR106140] - - --- 2022-11-08 David Malcolm New
[committed] analyzer: introduce succeed_or_fail_call_info [committed] analyzer: introduce succeed_or_fail_call_info - - --- 2022-11-08 David Malcolm New
c, analyzer: support named constants in analyzer [PR106302] c, analyzer: support named constants in analyzer [PR106302] - - --- 2022-10-31 David Malcolm New
[committed] analyzer: simplify sm_state_map lookup [committed] analyzer: simplify sm_state_map lookup - - --- 2022-10-24 David Malcolm New
[committed] analyzer: handle "pipe" and "pipe2" [PR106300] [committed] analyzer: handle "pipe" and "pipe2" [PR106300] - - --- 2022-10-24 David Malcolm New
[2/2] analyzer: use std::unique_ptr for pending_diagnostic/note [1/2] Add gcc/make-unique.h - - --- 2022-10-21 David Malcolm New
[1/2] Add gcc/make-unique.h [1/2] Add gcc/make-unique.h - - --- 2022-10-21 David Malcolm New
c/c++: new warning: -Wxor-used-as-pow [PR90885] c/c++: new warning: -Wxor-used-as-pow [PR90885] - - --- 2022-08-12 David Malcolm New
[2/2] analyzer: use std::unique_ptr for pending_diagnostic/note [1/2] Add gcc/make-unique.h - - --- 2022-07-12 David Malcolm New
[1/2] Add gcc/make-unique.h [1/2] Add gcc/make-unique.h - - --- 2022-07-12 David Malcolm New
[12/12] Work-in-progress of path remapping RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[11/12] Fixups to diagnostic-format-sarif.cc RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[10/12] Add sarif frontend RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[09/12] Add json frontend RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[08/12] Add json-reader.h/cc RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[07/12] Add deferred-locations.h/cc RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[06/12] prune.exp: move multiline-handling to before other pruning RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[05/12] Placeholder libcpp fixups RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[04/12] json: add json parsing support RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[03/12] Add more emit_diagnostic overloads RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[02/12] diagnostics: associate rules with plugins in SARIF output RFC: Replay of serialized diagnostics - - --- 2022-06-22 David Malcolm New
[10/10] Add 'final' and 'override' in various places Add 'final' and 'override' where missing - - --- 2022-05-23 David Malcolm New
[08/10] i386: add 'final' and 'override' to scalar_chain vfunc impls Add 'final' and 'override' where missing - - --- 2022-05-23 David Malcolm New
[01/10] Add 'final' and 'override' to opt_pass vfunc impls Add 'final' and 'override' where missing - - --- 2022-05-23 David Malcolm New
[8/8] aarch64: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[7/8] gcc: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[6/8] jit: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[5/8] c++: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[4/8] c-family: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[3/8] analyzer: update for move of FINAL and OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[2/8] libcpp: update for move of FINAL And OVERRIDE [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h [1/8] Move FINAL and OVERRIDE from ansidecl.h to gcc-plugin.h - - --- 2022-05-19 David Malcolm New
[wwwdocs] gcc-12: linkify various options [wwwdocs] gcc-12: linkify various options - - --- 2022-04-01 David Malcolm New
[wwwdocs] gcc-12: jit changes [wwwdocs] gcc-12: jit changes - - --- 2022-04-01 David Malcolm New
[committed] jit: further doc fixes [committed] jit: further doc fixes - - --- 2022-04-01 David Malcolm New
[v2] Document that the 'access' and 'nonnull' attributes are independent [v2] Document that the 'access' and 'nonnull' attributes are independent - - --- 2022-03-23 David Malcolm New
[committed] analyzer: extend state-purging to locals [PR104943] [committed] analyzer: extend state-purging to locals [PR104943] - - --- 2022-03-18 David Malcolm New
Update per-file selftest and finalization hooks for .c to .cc renaming Update per-file selftest and finalization hooks for .c to .cc renaming - - --- 2022-01-19 David Malcolm New
[6/6] Add __attribute__ ((tainted)) RFC: adding support to GCC for detecting trust boundaries - - --- 2021-11-13 David Malcolm New
[5/6] analyzer: use region::untrusted_p in taint detection RFC: adding support to GCC for detecting trust boundaries - - --- 2021-11-13 David Malcolm New
[4b/6] analyzer: implement region::untrusted_p in terms of __attribute__((untrusted)) [4b/6] analyzer: implement region::untrusted_p in terms of __attribute__((untrusted)) - - --- 2021-11-13 David Malcolm New
[4a/6] analyzer: implement region::untrusted_p in terms of custom address spaces [4a/6] analyzer: implement region::untrusted_p in terms of custom address spaces - - --- 2021-11-13 David Malcolm New
[3/6] analyzer: implement infoleak detection RFC: adding support to GCC for detecting trust boundaries - - --- 2021-11-13 David Malcolm New
[2/6] Add returns_zero_on_success/failure attributes RFC: adding support to GCC for detecting trust boundaries - - --- 2021-11-13 David Malcolm New
[1b/6] Add __attribute__((untrusted)) [1b/6] Add __attribute__((untrusted)) - - --- 2021-11-13 David Malcolm New
[1a/6] RFC: Implement "#pragma GCC custom_address_space" [1a/6] RFC: Implement "#pragma GCC custom_address_space" - - --- 2021-11-13 David Malcolm New
[committed] analyzer: add four new taint-based warnings [committed] analyzer: add four new taint-based warnings - - --- 2021-11-13 David Malcolm New
[2/2] Capture locations of bidi chars and underline ranges Re: [PATCH] libcpp: Implement -Wbidirectional for CVE-2021-42574 [PR103026] - - --- 2021-11-02 David Malcolm New
[1/2] Flag CPP_W_BIDIRECTIONAL so that source lines are escaped Re: [PATCH] libcpp: Implement -Wbidirectional for CVE-2021-42574 [PR103026] - - --- 2021-11-02 David Malcolm New
Initial implementation of -Whomoglyph [PR preprocessor/103027] Initial implementation of -Whomoglyph [PR preprocessor/103027] - - --- 2021-11-01 David Malcolm New
contrib: add unicode/utf8-dump.py contrib: add unicode/utf8-dump.py - - --- 2021-11-01 David Malcolm New
gcc/Makefile.in: fix bug in gengtype link rule gcc/Makefile.in: fix bug in gengtype link rule - - --- 2021-10-26 David Malcolm New