Show patches with: Submitter = David Malcolm       |    State = Action Required       |   233 patches
« 1 2 3 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[pushed] analyzer: fix ICE in call summarization [PR114159] [pushed] analyzer: fix ICE in call summarization [PR114159] - - - -1- 2024-02-29 David Malcolm Unresolved
[pushed] analyzer: use correct format code for string literal indices [PR110483, PR111802] [pushed] analyzer: use correct format code for string literal indices [PR110483, PR111802] - - - -1- 2024-02-27 David Malcolm Unresolved
[pushed] analyzer: handle array-initialization from a string_cst [PR113999] [pushed] analyzer: handle array-initialization from a string_cst [PR113999] - - - -1- 2024-02-21 David Malcolm Unresolved
[pushed] analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998] [pushed] analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998] - - - -1- 2024-02-21 David Malcolm Unresolved
[pushed] analyzer: remove offset_region size overloads [PR111266] [pushed] analyzer: remove offset_region size overloads [PR111266] - - - -1- 2024-02-15 David Malcolm Unresolved
[pushed] diagnostics: unbreak 'make gcc.pot' [pushed] diagnostics: unbreak 'make gcc.pot' - - - -1- 2024-02-13 David Malcolm Unresolved
[pushed] analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up macro [PR113… [pushed] analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up macro [PR113… - - - -1- 2024-01-30 David Malcolm Unresolved
[pushed] analyzer: add SARIF property bag to -Wanalyzer-allocation-size [pushed] analyzer: add SARIF property bag to -Wanalyzer-allocation-size - - - -1- 2024-01-30 David Malcolm Unresolved
[pushed] analyzer: fix defaults in compound assignments from non-zero offsets [PR112969] [pushed] analyzer: fix defaults in compound assignments from non-zero offsets [PR112969] - - - -1- 2024-01-25 David Malcolm Unresolved
[pushed] analyzer: fix taint false +ve due to overzealous state purging [PR112977] [pushed] analyzer: fix taint false +ve due to overzealous state purging [PR112977] - - - -1- 2024-01-24 David Malcolm Unresolved
[pushed] analyzer kernel plugin: implement __check_object_size [PR112927] [pushed] analyzer kernel plugin: implement __check_object_size [PR112927] - - - -1- 2024-01-24 David Malcolm Unresolved
[pushed] analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361] [pushed] analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361] - - - -1- 2024-01-18 David Malcolm Unresolved
[pushed] analyzer: fix offsets in has_null_terminator [PR112811] [pushed] analyzer: fix offsets in has_null_terminator [PR112811] - - - -1- 2024-01-18 David Malcolm Unresolved
[pushed] Fix ICE in -fdiagnostics-generate-patch [PR112684] [pushed] Fix ICE in -fdiagnostics-generate-patch [PR112684] - - - -1- 2024-01-18 David Malcolm Unresolved
[pushed] analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned char index [PR1… [pushed] analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned char index [PR1… - - - -1- 2024-01-16 David Malcolm Unresolved
[pushed,3/3] gcc-urlifier: handle option prefixes such as '-fno-' [pushed,1/3] pretty-print: add selftest coverage for numbered args - - - -1- 2024-01-10 David Malcolm Unresolved
[pushed,2/3] pretty-print: support urlification in phase 3 [pushed,1/3] pretty-print: add selftest coverage for numbered args - - - -1- 2024-01-10 David Malcolm Unresolved
[pushed] analyzer: add sarif properties for checker events [pushed] analyzer: add sarif properties for checker events - - - -1- 2024-01-04 David Malcolm Unresolved
[pushed] analyzer: handle arrays of unknown size in access diagrams [PR113222] [pushed] analyzer: handle arrays of unknown size in access diagrams [PR113222] - - - -1- 2024-01-04 David Malcolm Unresolved
[pushed] analyzer: add sarif properties for bounds checking diagnostics [pushed] analyzer: add sarif properties for bounds checking diagnostics - - - -1- 2023-12-16 David Malcolm Unresolved
[pushed] json: fix escaping of object keys [pushed] json: fix escaping of object keys - - - -1- 2023-12-16 David Malcolm Unresolved
[pushed] analyzer: use bit-level granularity for concrete bounds-checking [PR112792] [pushed] analyzer: use bit-level granularity for concrete bounds-checking [PR112792] - - - -1- 2023-12-16 David Malcolm Unresolved
[4/4;,v2] options: wire up options-urls.cc into gcc_urlifier [4/4;,v2] options: wire up options-urls.cc into gcc_urlifier - - - -1- 2023-12-14 David Malcolm Unresolved
[3/4;,v2] opts: add logic to generate options-urls.cc v3 of: Option handling: add documentation URLs - - - -1- 2023-12-14 David Malcolm Unresolved
[pushed] analyzer: cleanups [PR112655] [pushed] analyzer: cleanups [PR112655] - - - -1- 2023-12-14 David Malcolm Unresolved
[pushed] analyzer: add more test coverage for tainted modulus [pushed] analyzer: add more test coverage for tainted modulus - - - -1- 2023-12-12 David Malcolm Unresolved
analyzer: fix uninitialized bitmap [PR112955] analyzer: fix uninitialized bitmap [PR112955] - - - -1- 2023-12-11 David Malcolm Unresolved
[pushed] analyzer: fix taint false positives with UNKNOWN [PR112850] [pushed] analyzer: fix taint false positives with UNKNOWN [PR112850] - - - -1- 2023-12-07 David Malcolm Unresolved
[pushed] v2: diagnostics: prettify JSON output formats [pushed] v2: diagnostics: prettify JSON output formats - - - -1- 2023-12-06 David Malcolm Unresolved
[pushed] diagnostics: use const and references for diagnostic_info [pushed] diagnostics: use const and references for diagnostic_info - - - -1- 2023-12-06 David Malcolm Unresolved
[pushed] diagnostics, analyzer: add optional per-diagnostic property bags to SARIF [pushed] diagnostics, analyzer: add optional per-diagnostic property bags to SARIF - - - -1- 2023-12-01 David Malcolm Unresolved
binutils: v2: experimental use of libdiagnostics in gas binutils: v2: experimental use of libdiagnostics in gas - - - -1- 2023-11-21 David Malcolm Unresolved
[5/5] diagnostics: don't print annotation lines when there's no column info [1/5] libdiagnostics v2: header and examples - - - -1- 2023-11-21 David Malcolm Unresolved
[pushed] libcpp: split decls out to rich-location.h [pushed] libcpp: split decls out to rich-location.h - - - -1- 2023-11-19 David Malcolm Unresolved
[pushed] analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] [pushed] analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] - - - -1- 2023-11-19 David Malcolm Unresolved
[pushed] analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] [pushed] analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] - - - -1- 2023-11-18 David Malcolm Unresolved
[4/4] options: wire up options-urls.cc into gcc_urlifier v2 of Option handling: add documentation URLs - - - -1- 2023-11-16 David Malcolm Unresolved
[3/4] opts: add logic to generate options-urls.cc v2 of Option handling: add documentation URLs - - - -1- 2023-11-16 David Malcolm Unresolved
[pushed] diagnostics: make m_lang_mask private [pushed] diagnostics: make m_lang_mask private - - - -1- 2023-11-16 David Malcolm Unresolved
[PATCH/RFC] json.cc: format JSON output [PATCH/RFC] json.cc: format JSON output - - - -1- 2023-11-15 David Malcolm Unresolved
[pushed] analyzer: enable taint state machine by default [PR103533] [pushed] analyzer: enable taint state machine by default [PR103533] - - - -1- 2023-11-14 David Malcolm Unresolved
[pushed] diagnostics: make option-handling callbacks private [pushed] diagnostics: make option-handling callbacks private - - - -1- 2023-11-14 David Malcolm Unresolved
[pushed] diagnostics: make m_text_callbacks private [pushed] diagnostics: make m_text_callbacks private - - - -1- 2023-11-14 David Malcolm Unresolved
[pushed] input.h: eliminate implicit users of global_dc's file_cache [pushed] input.h: eliminate implicit users of global_dc's file_cache - - - -1- 2023-11-14 David Malcolm Unresolved
[pushed] json: reduce use of naked new in json-building code [pushed] json: reduce use of naked new in json-building code - - - -1- 2023-11-14 David Malcolm Unresolved
[3/3] diagnostics: use the .opt.urls files to urlify quoted text Option handling: add documentation URLs - - - -1- 2023-11-10 David Malcolm Unresolved
[pushed] diagnostics: cleanups to diagnostic-show-locus.cc [pushed] diagnostics: cleanups to diagnostic-show-locus.cc - - - -1- 2023-11-09 David Malcolm Unresolved
[pushed,4/4] diagnostics: split out struct diagnostic_source_printing_options [pushed,1/4] diagnostics: eliminate diagnostic_kind_count - - - -1- 2023-11-06 David Malcolm Unresolved
[pushed,3/4] diagnostics: introduce class diagnostic_option_classifier [pushed,1/4] diagnostics: eliminate diagnostic_kind_count - - - -1- 2023-11-06 David Malcolm Unresolved
[pushed,2/4] diagnostics: make diagnostic_context::m_urlifier private [pushed,1/4] diagnostics: eliminate diagnostic_kind_count - - - -1- 2023-11-06 David Malcolm Unresolved
[pushed,1/4] diagnostics: eliminate diagnostic_kind_count [pushed,1/4] diagnostics: eliminate diagnostic_kind_count - - - -1- 2023-11-06 David Malcolm Unresolved
[pushed] diagnostics: add automatic URL-ification within messages [pushed] diagnostics: add automatic URL-ification within messages - - - -1- 2023-11-04 David Malcolm Unresolved
[pushed] diagnostics: convert diagnostic_context to a class [pushed] diagnostics: convert diagnostic_context to a class - - - -1- 2023-11-04 David Malcolm Unresolved
[pushed] diagnostics: consolidate group-handling fields in diagnostic_context [pushed] diagnostics: consolidate group-handling fields in diagnostic_context - - - -1- 2023-11-03 David Malcolm Unresolved
[4/4] RFC: add contrib/regenerate-index-urls.py C/C++/diagnostics: various UX improvements - - - -1- 2023-11-02 David Malcolm Unresolved
[3/4] diagnostics: add automatic URL-ification within messages C/C++/diagnostics: various UX improvements - - - -1- 2023-11-02 David Malcolm Unresolved
[2/4] c: add #pragma GCC show_layout C/C++/diagnostics: various UX improvements - - - -1- 2023-11-02 David Malcolm Unresolved
[pushed] analyzer: fix clang warnings [PR112317] [pushed] analyzer: fix clang warnings [PR112317] - - - -1- 2023-11-02 David Malcolm Unresolved
[pushed] analyzer: move class record_layout to its own .h/.cc [pushed] analyzer: move class record_layout to its own .h/.cc - - - -1- 2023-10-31 David Malcolm Unresolved
[pushed] libcpp: eliminate MACRO_MAP_EXPANSION_POINT_LOCATION [pushed] libcpp: eliminate MACRO_MAP_EXPANSION_POINT_LOCATION - - - -1- 2023-10-31 David Malcolm Unresolved
[RFC] Add function attribute: null_terminated_string_arg(PARAM_IDX) [RFC] Add function attribute: null_terminated_string_arg(PARAM_IDX) - - - -1- 2023-10-19 David Malcolm Unresolved
[pushed] diagnostics: special-case -fdiagnostics-text-art-charset=ascii for LANG=C [pushed] diagnostics: special-case -fdiagnostics-text-art-charset=ascii for LANG=C - - - -1- 2023-10-16 David Malcolm Unresolved
[pushed] libcpp: eliminate LINEMAPS_{ORDINARY,MACRO}_MAPS [pushed] libcpp: eliminate LINEMAPS_{ORDINARY,MACRO}_MAPS - - - -1- 2023-10-08 David Malcolm Unresolved
[pushed] libcpp: eliminate LINEMAPS_LAST_ALLOCATED{, _ORDINARY, _MACRO}_MAP [pushed] libcpp: eliminate LINEMAPS_LAST_ALLOCATED{, _ORDINARY, _MACRO}_MAP - - - -1- 2023-10-08 David Malcolm Unresolved
[pushed] analyzer: improvements to out-of-bounds diagrams [PR111155] [pushed] analyzer: improvements to out-of-bounds diagrams [PR111155] - - - -1- 2023-10-08 David Malcolm Unresolved
[pushed] libcpp: eliminate COMBINE_LOCATION_DATA [pushed] libcpp: eliminate COMBINE_LOCATION_DATA - - - -1- 2023-10-08 David Malcolm Unresolved
[pushed] diagnostics: fix ICE on sarif output when source file is unreadable [PR111700] [pushed] diagnostics: fix ICE on sarif output when source file is unreadable [PR111700] - - - -1- 2023-10-08 David Malcolm Unresolved
[pushed] diagnostics: add ctors to text_info; add m_ prefixes to fields [pushed] diagnostics: add ctors to text_info; add m_ prefixes to fields - - - -1- 2023-10-03 David Malcolm Unresolved
[pushed] diagnostics: add diagnostic_output_format class [pushed] diagnostics: add diagnostic_output_format class - - - -1- 2023-10-02 David Malcolm Unresolved
[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: 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: 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
[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
[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] 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
[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/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 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:,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
« 1 2 3 »