Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   3649 patches
« 1 2 3 4 … 36 37 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[pushed:,r16-7938] testsuite: fix ICEs in analyzer plugin with CPython >= 3.11 [PR107646, PR112520] [pushed:,r16-7938] testsuite: fix ICEs in analyzer plugin with CPython >= 3.11 [PR107646, PR112520] - - - - --- 2026-03-06 David Malcolm New
[pushed:,r16-7708] analyzer: fix ICE on putenv of a field [PR124232] [pushed:,r16-7708] analyzer: fix ICE on putenv of a field [PR124232] - - - - --- 2026-02-26 David Malcolm New
[pushed:,r16-7672] analyzer: fix ICE on (X + (-X)) for vectors [PR124188] [pushed:,r16-7672] analyzer: fix ICE on (X + (-X)) for vectors [PR124188] - - - - --- 2026-02-24 David Malcolm New
[pushed:,r16-7671] analyzer: fix ICE on division by zero [PR124195] [pushed:,r16-7671] analyzer: fix ICE on division by zero [PR124195] - - - - --- 2026-02-24 David Malcolm New
[pushed:,r16-7579] testsuite: remove xfails from analyzer test [PR108400, PR124116] [pushed:,r16-7579] testsuite: remove xfails from analyzer test [PR108400, PR124116] - - - - --- 2026-02-19 David Malcolm New
[pushed:,r16-7560] analyzer: fix ICE due to sloppy types in unaryop_svalue [PR124104] [pushed:,r16-7560] analyzer: fix ICE due to sloppy types in unaryop_svalue [PR124104] - - - - --- 2026-02-17 David Malcolm New
[pushed:,r16-7559] analyzer: fix ICE when throw-handling hits svalue complexity limit [PR124139] [pushed:,r16-7559] analyzer: fix ICE when throw-handling hits svalue complexity limit [PR124139] - - - - --- 2026-02-17 David Malcolm New
[pushed:,r16-7536] c++: fix missing file:line:column on "required from here" [PR122001] [pushed:,r16-7536] c++: fix missing file:line:column on "required from here" [PR122001] - - - - --- 2026-02-17 David Malcolm New
[pushed:,r16-7535] testsuite: fix analyzer failures seen after r16-3810 [PR121928] [pushed:,r16-7535] testsuite: fix analyzer failures seen after r16-3810 [PR121928] - - - - --- 2026-02-17 David Malcolm New
[5/5] aarch64: improve diagnostics for bogus JSON tuning inputs [PR124094] Improve diagnostics for bad JSON inputs [PR124094] - - - - --- 2026-02-14 David Malcolm New
[4/5] Add json-diagnostic.{cc,h} Improve diagnostics for bad JSON inputs [PR124094] - - - - --- 2026-02-14 David Malcolm New
[3/5] json: split out replayer_location_map from libsarifreplay.cc Improve diagnostics for bad JSON inputs [PR124094] - - - - --- 2026-02-14 David Malcolm New
[2/5] diagnostics: split out physical_location_maker from libgdiagnostics Improve diagnostics for bad JSON inputs [PR124094] - - - - --- 2026-02-14 David Malcolm New
[1/5] diagnostics: use label_text for logical_location strings Improve diagnostics for bad JSON inputs [PR124094] - - - - --- 2026-02-14 David Malcolm New
[pushed:,r16-7507] sarif-replay: fix escaping of JSON Pointer [pushed:,r16-7507] sarif-replay: fix escaping of JSON Pointer - - - - --- 2026-02-13 David Malcolm New
[pushed:,r16-7500] diagnostics: don't cache logical_loc_mgr in html_sink [PR124014] [pushed:,r16-7500] diagnostics: don't cache logical_loc_mgr in html_sink [PR124014] - - - - --- 2026-02-13 David Malcolm New
[pushed:,r16-7470] analyzer: fix false +ve buffer overflow on sprintf [PR117369] [pushed:,r16-7470] analyzer: fix false +ve buffer overflow on sprintf [PR117369] - - - - --- 2026-02-12 David Malcolm New
[pushed:,r16-7469] testsuite: add regression test for analyzer ICE [PR111099] [pushed:,r16-7469] testsuite: add regression test for analyzer ICE [PR111099] - - - - --- 2026-02-12 David Malcolm New
[pushed:,r16-7468] analyzer: fix ICE in push_frame with missing return statement [PR124073] [pushed:,r16-7468] analyzer: fix ICE in push_frame with missing return statement [PR124073] - - - - --- 2026-02-12 David Malcolm New
[pushed:,r16-7459] analyzer: fix uninit in null-termination checking [PR124055] [pushed:,r16-7459] analyzer: fix uninit in null-termination checking [PR124055] - - - - --- 2026-02-11 David Malcolm New
[pushed:,r16-7458] analyzer: fold X + (Y - X) to Y [PR123973] [pushed:,r16-7458] analyzer: fold X + (Y - X) to Y [PR123973] - - - - --- 2026-02-11 David Malcolm New
[pushed:,r16-7428] analyzer: fix assertion failure in bounded_ranges::cmp [PR113496] [pushed:,r16-7428] analyzer: fix assertion failure in bounded_ranges::cmp [PR113496] - - - - --- 2026-02-10 David Malcolm New
[pushed:,r16-7422] sarif output: Fix ICE due to overzealous caching [PR124014] [pushed:,r16-7422] sarif output: Fix ICE due to overzealous caching [PR124014] - - - - --- 2026-02-09 David Malcolm New
[pushed:,r16-7383] analyzer: fix ICE on operator new with discarded result [PR116228] [pushed:,r16-7383] analyzer: fix ICE on operator new with discarded result [PR116228] - - - - --- 2026-02-07 David Malcolm New
[pushed:,r16-7364] analyzer: fix ICE on repeated_svalue with no type [PR117491] [pushed:,r16-7364] analyzer: fix ICE on repeated_svalue with no type [PR117491] - - - - --- 2026-02-06 David Malcolm New
analyzer: use value_range and range_op in eval_condition [PR98447] analyzer: use value_range and range_op in eval_condition [PR98447] - - - - --- 2026-02-05 David Malcolm New
value-range: update comments value-range: update comments - - - - --- 2026-02-04 David Malcolm New
[pushed:,r16-7274] analyzer: fix ICE on pointer offsets [PR116865] [pushed:,r16-7274] analyzer: fix ICE on pointer offsets [PR116865] - - - - --- 2026-02-03 David Malcolm New
[v2] diagnostics: respect dumpdir when outputting SARIF and HTML file [PR110522] [v2] diagnostics: respect dumpdir when outputting SARIF and HTML file [PR110522] - - - - --- 2026-02-02 David Malcolm New
[pushed:,r16-7206] analyzer: fix ICE on rethrow without throw [PR123880] [pushed:,r16-7206] analyzer: fix ICE on rethrow without throw [PR123880] - - - - --- 2026-01-31 David Malcolm New
diagnostics: respect dumpdir when outputting SARIF and HTML file [PR110522] diagnostics: respect dumpdir when outputting SARIF and HTML file [PR110522] - - - - --- 2026-01-30 David Malcolm New
[PATCH/RFC] analyzer: add option -fanalyzer-assume-nothrow [PR122623] [PATCH/RFC] analyzer: add option -fanalyzer-assume-nothrow [PR122623] - - - - --- 2026-01-27 David Malcolm New
[pushed:,r16-7053] analyzer: avoid calling binding_map::const_iterator::operator* [PR123145] [pushed:,r16-7053] analyzer: avoid calling binding_map::const_iterator::operator* [PR123145] - - - - --- 2026-01-27 David Malcolm New
[pushed;,r16-6966] sarif-replay: improve path output when source is unavailable [PR122622] [pushed;,r16-6966] sarif-replay: improve path output when source is unavailable [PR122622] - - - - --- 2026-01-22 David Malcolm New
[pushed:,r16-6962] analyzer: ensure that concrete binding keys don't overlap [pushed:,r16-6962] analyzer: ensure that concrete binding keys don't overlap - - - - --- 2026-01-21 David Malcolm New
[pushed:,r16-6961] analyzer: different decls don't alias [pushed:,r16-6961] analyzer: different decls don't alias - - - - --- 2026-01-21 David Malcolm New
[pushed:,r16-6931] sarif-replay: skip "sarif:/" embedded links [PR123056] [pushed:,r16-6931] sarif-replay: skip "sarif:/" embedded links [PR123056] - - - - --- 2026-01-20 David Malcolm New
[pushed:,r16-6930] analyzer: fix -Wmaybe-uninitialized of 'edge_sense' [pushed:,r16-6930] analyzer: fix -Wmaybe-uninitialized of 'edge_sense' - - - - --- 2026-01-20 David Malcolm New
[pushed:,r16-6824] analyzer: fix check against --param=analyzer-bb-explosion-factor=0 [pushed:,r16-6824] analyzer: fix check against --param=analyzer-bb-explosion-factor=0 - - - - --- 2026-01-16 David Malcolm New
[pushed:,r16-6823] analyzer: add timevar values for supergraph manipulation [PR123145] [pushed:,r16-6823] analyzer: add timevar values for supergraph manipulation [PR123145] - - - - --- 2026-01-16 David Malcolm New
[pushed:,r16-6822] analyzer: eliminate unused field eh_dispatch_edge_op::m_dst_snode [PR123540] [pushed:,r16-6822] analyzer: eliminate unused field eh_dispatch_edge_op::m_dst_snode [PR123540] - - - - --- 2026-01-16 David Malcolm New
[2/2,v4] c++: UX improvements for close matches in print_candidates Untitled series #488251 - - - - --- 2026-01-14 David Malcolm New
[2/2,v3] c++: UX improvements for close matches in print_candidates Untitled series #488088 - - - - --- 2026-01-12 David Malcolm New
[2/2,v2] c++: UX improvements for close matches in print_candidates [1/2,v2] c++: use nesting and counts in print_candidates - - - - --- 2026-01-10 David Malcolm New
[1/2,v2] c++: use nesting and counts in print_candidates [1/2,v2] c++: use nesting and counts in print_candidates - - - - --- 2026-01-10 David Malcolm New
[pushed:,r16-6668] analyzer: port pop_frame_callbacks to pub/sub [pushed:,r16-6668] analyzer: port pop_frame_callbacks to pub/sub - - - - --- 2026-01-09 David Malcolm New
[pushed:,r16-6667] analyzer: port translation_unit_callbacks to pub/sub [pushed:,r16-6667] analyzer: port translation_unit_callbacks to pub/sub - - - - --- 2026-01-09 David Malcolm New
[pushed:,r16-6180] analyzer: fix warnings [PR123136] [pushed:,r16-6180] analyzer: fix warnings [PR123136] - - - - --- 2025-12-16 David Malcolm New
[pushed:,r16-6179] analyzer: escape filenames in supergraph dump [pushed:,r16-6179] analyzer: escape filenames in supergraph dump - - - - --- 2025-12-16 David Malcolm New
[pushed:,r16-6178] testsuite: require dot for diagnostic-test-graphs-html.c [PR123142] [pushed:,r16-6178] testsuite: require dot for diagnostic-test-graphs-html.c [PR123142] - - - - --- 2025-12-16 David Malcolm New
[pushed:,r16-6175] analyzer: fix state dumps for return_event [PR122003] [pushed:,r16-6175] analyzer: fix state dumps for return_event [PR122003] - - - - --- 2025-12-16 David Malcolm New
[pushed:,r16-6137] analyzer: fix strlen(STRING_CST + OFFSET) [PR123085] [pushed:,r16-6137] analyzer: fix strlen(STRING_CST + OFFSET) [PR123085] - - - - --- 2025-12-15 David Malcolm New
[pushed:,r16-6136] analyzer: fold X + (-X) to zero [PR122975] [pushed:,r16-6136] analyzer: fold X + (-X) to zero [PR122975] - - - - --- 2025-12-15 David Malcolm New
analyzer: reimplement supergraph to eliminate function_point and stmt_finder analyzer: reimplement supergraph to eliminate function_point and stmt_finder - - - - --- 2025-12-12 David Malcolm New
[pushed:,r16-5949] analyzer: remove duplicated registration of builtins [pushed:,r16-5949] analyzer: remove duplicated registration of builtins - - - - --- 2025-12-07 David Malcolm New
[pushed:,r16-5590] testsuite: fix issues in gcc.dg/analyzer/strchr-1.c seen with C23 libc [pushed:,r16-5590] testsuite: fix issues in gcc.dg/analyzer/strchr-1.c seen with C23 libc - - - - --- 2025-11-25 David Malcolm New
[pushed:,r16-5589] analyzer: add logging to deref_before_check::emit [pushed:,r16-5589] analyzer: add logging to deref_before_check::emit - - - - --- 2025-11-25 David Malcolm New
[pushed:,r16-5363] SARIF output: fix diagnostics within C++ member fns [PR122626] [pushed:,r16-5363] SARIF output: fix diagnostics within C++ member fns [PR122626] - - - - --- 2025-11-17 David Malcolm New
[pushed:,r16-5362] diagnostics: fix socket includes for MinGW host [PR122666] [pushed:,r16-5362] diagnostics: fix socket includes for MinGW host [PR122666] - - - - --- 2025-11-17 David Malcolm New
[PATCH/RFC] analyzer: reimplement supergraph [PATCH/RFC] analyzer: reimplement supergraph - - - - --- 2025-11-16 David Malcolm New
[2/2] c++: UX improvements for close matches in print_candidates [1/2] c++: use nesting and counts in print_candidates - - - - --- 2025-11-15 David Malcolm New
[1/2] c++: use nesting and counts in print_candidates [1/2] c++: use nesting and counts in print_candidates - - - - --- 2025-11-15 David Malcolm New
[v2] RFC: optionally capture suppressed diagnostics in SARIF output [PR121039] [v2] RFC: optionally capture suppressed diagnostics in SARIF output [PR121039] - - - - --- 2025-11-14 David Malcolm New
[4/4] analyzer: replace PLUGIN_ANALYZER_INIT with a pub/sub channel Publish/subscribe framework for typesafe loosely-coupled notifications - - - - --- 2025-11-14 David Malcolm New
[3/4] diagnostics: add optional CFG dumps to SARIF/HTML output sinks Publish/subscribe framework for typesafe loosely-coupled notifications - - - - --- 2025-11-14 David Malcolm New
[2/4] Add publish/subscribe topics and channel: pass_events Publish/subscribe framework for typesafe loosely-coupled notifications - - - - --- 2025-11-14 David Malcolm New
[1/4] Add pub-sub.{h,cc} Publish/subscribe framework for typesafe loosely-coupled notifications - - - - --- 2025-11-14 David Malcolm New
[pushed:,r16-5207] EXPERIMENTAL_SARIF_SOCKET: decode errno when reporting errors [PR115970] [pushed:,r16-5207] EXPERIMENTAL_SARIF_SOCKET: decode errno when reporting errors [PR115970] - - - - --- 2025-11-12 David Malcolm New
[pushed:,r16-5206] diagnostics: add class unique_fd [pushed:,r16-5206] diagnostics: add class unique_fd - - - - --- 2025-11-12 David Malcolm New
[pushed:,r16-5205] analyzer: fix log of name in ana::log_set_of_svalues [pushed:,r16-5205] analyzer: fix log of name in ana::log_set_of_svalues - - - - --- 2025-11-12 David Malcolm New
[pushed:,r16-5170] diagnostics: add experimental SARIF JSON-RPC notifications for IDEs [PR115970] [pushed:,r16-5170] diagnostics: add experimental SARIF JSON-RPC notifications for IDEs [PR115970] - - - - --- 2025-11-11 David Malcolm New
[pushed:,r16-5091] gdbhooks.py: add printers for analyzer types (supernode and exploded_node) [pushed:,r16-5091] gdbhooks.py: add printers for analyzer types (supernode and exploded_node) - - - - --- 2025-11-07 David Malcolm New
[pushed:,r16-5090] analyzer: fix stray trailing "allocated here" text in events [pushed:,r16-5090] analyzer: fix stray trailing "allocated here" text in events - - - - --- 2025-11-07 David Malcolm New
[pushed:,r16-5021] analyzer: add event kinds for special control flow [PR122544] [pushed:,r16-5021] analyzer: add event kinds for special control flow [PR122544] - - - - --- 2025-11-04 David Malcolm New
[pushed:,r16-5020] cp: fix typo "an decrement" -> "a decrement" [pushed:,r16-5020] cp: fix typo "an decrement" -> "a decrement" - - - - --- 2025-11-04 David Malcolm New
[pushed:,r16-4459] diagnostics: generalize state graph code to use json::property instances (v2) [pushed:,r16-4459] diagnostics: generalize state graph code to use json::property instances (v2) - - - - --- 2025-10-16 David Malcolm New
[pushed:,r16-4334] analyzer: reimplement binding_map using a "spatial" representation [pushed:,r16-4334] analyzer: reimplement binding_map using a "spatial" representation - - - - --- 2025-10-09 David Malcolm New
[pushed:,r16-4330] diagnostics: add class sink::extension [pushed:,r16-4330] diagnostics: add class sink::extension - - - - --- 2025-10-09 David Malcolm New
[pushed:,r16-4193] diagnostics: generalize state graph code to use json::property instances [pushed:,r16-4193] diagnostics: generalize state graph code to use json::property instances - - - - --- 2025-10-02 David Malcolm New
[pushed:,r16-4190] diagnostics::output_spec: support client-specific keys [pushed:,r16-4190] diagnostics::output_spec: support client-specific keys - - - - --- 2025-10-02 David Malcolm New
[pushed:,r16-4189] testsuite: fix typo in comment in gcc.dg/plugin/start_unit_plugin.cc [pushed:,r16-4189] testsuite: fix typo in comment in gcc.dg/plugin/start_unit_plugin.cc - - - - --- 2025-10-02 David Malcolm New
[pushed:,r16-4151] testsuite: remove redundant import in sarif.py [pushed:,r16-4151] testsuite: remove redundant import in sarif.py - - - - --- 2025-09-30 David Malcolm New
[pushed:,r16-4150] diagnostics::output_spec: fix "color" in "text" output scheme [pushed:,r16-4150] diagnostics::output_spec: fix "color" in "text" output scheme - - - - --- 2025-09-30 David Malcolm New
[pushed:,r16-4149] diagnostics::output_spec: refactor per-sink key-value handling [pushed:,r16-4149] diagnostics::output_spec: refactor per-sink key-value handling - - - - --- 2025-09-30 David Malcolm New
[pushed:,r16-4148] diagnostics::output_spec: move class scheme_handler [pushed:,r16-4148] diagnostics::output_spec: move class scheme_handler - - - - --- 2025-09-30 David Malcolm New
[pushed:,r16-4147] diagnostics: simplifying output-spec.cc [pushed:,r16-4147] diagnostics: simplifying output-spec.cc - - - - --- 2025-09-30 David Malcolm New
[pushed:,r16-4064] sarif output: add descriptions to fix-it hints (§3.55.2) [PR121986] [pushed:,r16-4064] sarif output: add descriptions to fix-it hints (§3.55.2) [PR121986] - - - - --- 2025-09-23 David Malcolm New
[pushed:,r16-3959] diagnostics: add dump methods to client_data_hooks and logical_location_manager [pushed:,r16-3959] diagnostics: add dump methods to client_data_hooks and logical_location_manager - - - - --- 2025-09-18 David Malcolm New
[pushed:,r16-3958] diagnostics/libcpp: convert enum location_aspect to enum class [pushed:,r16-3958] diagnostics/libcpp: convert enum location_aspect to enum class - - - - --- 2025-09-18 David Malcolm New
[pushed:,r16-3957] diagnostics: use diagnostic.h in fewer places [pushed:,r16-3957] diagnostics: use diagnostic.h in fewer places - - - - --- 2025-09-18 David Malcolm New
[pushed:,r16-3941] c++: improve nesting in print_z_candidate [PR121966] [pushed:,r16-3941] c++: improve nesting in print_z_candidate [PR121966] - - - - --- 2025-09-17 David Malcolm New
[pushed:,r16-3940] c++: fix count of z candidates for non-viable candidates [PR121966] [pushed:,r16-3940] c++: fix count of z candidates for non-viable candidates [PR121966] - - - - --- 2025-09-17 David Malcolm New
[pushed:,r16-3939] testsuite: add 'std-' prefix to c++ analyzer test cases [pushed:,r16-3939] testsuite: add 'std-' prefix to c++ analyzer test cases - - - - --- 2025-09-17 David Malcolm New
[pushed:,r16-3938] sarif-replay: fix uninitialized m_debug_physical_locations [pushed:,r16-3938] sarif-replay: fix uninitialized m_debug_physical_locations - - - - --- 2025-09-17 David Malcolm New
[pushed:,r16-3828] diagnostics: handle fatal_error in SARIF output [PR120063] [pushed:,r16-3828] diagnostics: handle fatal_error in SARIF output [PR120063] - - - - --- 2025-09-12 David Malcolm New
[pushed:,r16-3827] diagnostics: fix crash-handling inside nested diagnostics [PR121876] [pushed:,r16-3827] diagnostics: fix crash-handling inside nested diagnostics [PR121876] - - - - --- 2025-09-12 David Malcolm New
[pushed:,r16-3826] testsuite: fix typo in name of plugin test file [pushed:,r16-3826] testsuite: fix typo in name of plugin test file - - - - --- 2025-09-12 David Malcolm New
[PATCH/RFC] optionally capture suppressed diagnostics in SARIF output [PR121039] [PATCH/RFC] optionally capture suppressed diagnostics in SARIF output [PR121039] - - - - --- 2025-09-10 David Malcolm New
[pushed:,r16-3465] diagnostics: add GCC_DIAGNOSTICS_LOG [pushed:,r16-3465] diagnostics: add GCC_DIAGNOSTICS_LOG - - - - --- 2025-08-29 David Malcolm New
[pushed:,r16-3194] diagnostics/output-spec.cc: simplify implementation [pushed:,r16-3194] diagnostics/output-spec.cc: simplify implementation - - - - --- 2025-08-13 David Malcolm New
« 1 2 3 4 … 36 37 »