Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   3189 patches
« 1 2 ... 3 4 5 … 31 32 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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: fix feasibility false +ve on jumps through function ptrs [PR107582] [committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] - - - - --- 2022-11-19 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
c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] c: fix ICE with -fanalyzer and -Wunused-macros [PR107711] - - - - --- 2022-11-17 David Malcolm New
[committed] analyzer: more test coverage for named constants [committed] analyzer: more test coverage for named constants - - - - --- 2022-11-16 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
[committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] [committed] analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235] - - - - --- 2022-11-13 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
[committed] analyzer: more state machine documentation [committed] analyzer: more state machine documentation - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: split out checker_event classes to their own header [committed] analyzer: split out checker_event classes to their own header - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] [committed] analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] - - - - --- 2022-11-11 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] [committed] analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] - - - - --- 2022-11-10 David Malcolm New
[committed] analyzer: better logging of event creation [committed] analyzer: better logging of event creation - - - - --- 2022-11-09 David Malcolm New
[committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] [committed] analyzer: eliminate region_model::eval_condition_without_cm [PR101962] - - - - --- 2022-11-08 David Malcolm New
analyzer: add warnings relating to sockets [PR106140] analyzer: add warnings relating to sockets [PR106140] - - - - --- 2022-11-08 David Malcolm New
[commited] analyzer: start adding support for errno [commited] analyzer: start adding support for errno - - - - --- 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
[committed] analyzer: fix "when 'strchr' returns non-NULL" message [committed] analyzer: fix "when 'strchr' returns non-NULL" message - - - - --- 2022-11-08 David Malcolm New
[committed,8/8] analyzer: use std::unique_ptr for state machines from plugins Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,7/8] analyzer: use std::unique_ptr for known functions Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,6/8] analyzer: use std::unique_ptr during bifurcation Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,5/8] analyzer: use std::unique_ptr for checker_event Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,4/8] analyzer: use std::unique_ptr for feasibility_problems and exploded_path Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,3/8] analyzer: use std::unique_ptr for custom_edge_info pointers Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,2/8] analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finder Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[committed,1/8] analyzer: use std::unique_ptr for pending_diagnostic/note Use std::unique_ptr in analyzer - - - - --- 2022-11-03 David Malcolm New
[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] - - - - --- 2022-11-03 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: fixes to file-descriptor handling [committed] analyzer: fixes to file-descriptor handling - - - - --- 2022-10-26 David Malcolm New
[committed] analyzer: add sm-fd.dot [committed] analyzer: add sm-fd.dot - - - - --- 2022-10-26 David Malcolm New
[v3] Add gcc/make-unique.h [v3] Add gcc/make-unique.h - - - - --- 2022-10-26 David Malcolm New
[commited] analyzer: fix ICE on va_copy [PR107349] [commited] analyzer: fix ICE on va_copy [PR107349] - - - - --- 2022-10-24 David Malcolm New
[committed] diagnostics: fix ICE in sarif output with NULL filename [PR107366] [committed] diagnostics: fix ICE in sarif output with NULL filename [PR107366] - - - - --- 2022-10-24 David Malcolm New
[committed] analyzer: handle (NULL == &VAR) [PR107345] [committed] analyzer: handle (NULL == &VAR) [PR107345] - - - - --- 2022-10-24 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
[committed] analyzer: fix ICE on __builtin_ms_va_copy [PR105765] [committed] analyzer: fix ICE on __builtin_ms_va_copy [PR105765] - - - - --- 2022-10-19 David Malcolm New
[committed] analyzer: fix ICE introduced in r13-3168 [PR107210] [committed] analyzer: fix ICE introduced in r13-3168 [PR107210] - - - - --- 2022-10-13 David Malcolm New
[committed] analyzer: extract bits from integer constants [PR105783] [committed] analyzer: extract bits from integer constants [PR105783] - - - - --- 2022-10-07 David Malcolm New
[committed] analyzer: fix another ICE in PR 107158 [committed] analyzer: fix another ICE in PR 107158 - - - - --- 2022-10-06 David Malcolm New
[committed] analyzer: fixes to call_summary_replay::dump_to_pp [committed] analyzer: fixes to call_summary_replay::dump_to_pp - - - - --- 2022-10-06 David Malcolm New
[committed] analyzer: add regression test for PR 107158 [committed] analyzer: add regression test for PR 107158 - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: simplify some includes [committed] analyzer: simplify some includes - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: fix ICEs seen with call summaries on PR 107060 [committed] analyzer: fix ICEs seen with call summaries on PR 107060 - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: revamp side-effects of call summaries [PR107072] [committed] analyzer: revamp side-effects of call summaries [PR107072] - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: move region_model_manager decl to its own header [committed] analyzer: move region_model_manager decl to its own header - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: fold -(-(VAL)) to VAL [committed] analyzer: fold -(-(VAL)) to VAL - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: widening_svalues take a function_point rather than a program_point [committed] analyzer: widening_svalues take a function_point rather than a program_point - - - - --- 2022-10-05 David Malcolm New
[committed] analyzer: implement trust boundaries via a plugin for Linux kernel [committed] analyzer: implement trust boundaries via a plugin for Linux kernel - - - - --- 2022-09-09 David Malcolm New
[committed] analyzer: add support for plugin-supplied known function behaviors [committed] analyzer: add support for plugin-supplied known function behaviors - - - - --- 2022-09-09 David Malcolm New
[committed] analyzer: add test coverage for flexible array members [PR98247] [committed] analyzer: add test coverage for flexible array members [PR98247] - - - - --- 2022-09-09 David Malcolm New
c: fix uninitialized c_expr::m_decimal [PR106830] c: fix uninitialized c_expr::m_decimal [PR106830] - - - - --- 2022-09-07 David Malcolm New
[committed] analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626] [committed] analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626] - - - - --- 2022-08-15 David Malcolm New
[committed] analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573] [committed] analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573] - - - - --- 2022-08-15 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
[committed] analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased functions … [committed] analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased functions … - - - - --- 2022-08-10 David Malcolm New
[committed] docs: add notes on which functions -fanalyzer has hardcoded knowledge of [committed] docs: add notes on which functions -fanalyzer has hardcoded knowledge of - - - - --- 2022-08-09 David Malcolm New
[committed] New warning: -Wanalyzer-jump-through-null [PR105947] [committed] New warning: -Wanalyzer-jump-through-null [PR105947] - - - - --- 2022-08-05 David Malcolm New
[committed] c: improvements to address space diagnostics [committed] c: improvements to address space diagnostics - - - - --- 2022-08-01 David Malcolm New
[committed] docs: fix copy&paste error in -Wanalyzer-putenv-of-auto-var [committed] docs: fix copy&paste error in -Wanalyzer-putenv-of-auto-var - - - - --- 2022-08-01 David Malcolm New
[committed] analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893] [committed] analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893] - - - - --- 2022-07-28 David Malcolm New
[committed] analyzer: add CWE identifier URLs to docs [committed] analyzer: add CWE identifier URLs to docs - - - - --- 2022-07-28 David Malcolm New
[committed] analyzer: expand the comment in region.h [committed] analyzer: expand the comment in region.h - - - - --- 2022-07-28 David Malcolm New
[committed] jit: update docs to reflect .c to .cc renaming [committed] jit: update docs to reflect .c to .cc renaming - - - - --- 2022-07-28 David Malcolm New
[committed] analyzer: fix false +ves from -Wanalyzer-va-arg-type-mismatch on int promotion [PR10631… [committed] analyzer: fix false +ves from -Wanalyzer-va-arg-type-mismatch on int promotion [PR10631… - - - - --- 2022-07-26 David Malcolm New
[committed] analyzer: fix stray get_element decls [committed] analyzer: fix stray get_element decls - - - - --- 2022-07-26 David Malcolm New
[committed] analyzer: fix state explosion on va_arg [PR106413] [committed] analyzer: fix state explosion on va_arg [PR106413] - - - - --- 2022-07-22 David Malcolm New
[committed] analyzer: fix ICE in binding_cluster ctor [PR106401] [committed] analyzer: fix ICE in binding_cluster ctor [PR106401] - - - - --- 2022-07-22 David Malcolm New
[committed] analyzer: fix -Wanalyzer-va-list-exhausted false +ve on va_arg in subroutine [PR106383] [committed] analyzer: fix -Wanalyzer-va-list-exhausted false +ve on va_arg in subroutine [PR106383] - - - - --- 2022-07-21 David Malcolm New
[committed] analyzer: bulletproof taint warnings against NULL m_arg [committed] analyzer: bulletproof taint warnings against NULL m_arg - - - - --- 2022-07-21 David Malcolm New
[committed] analyzer: fix ICE on untracked decl_regions [PR106374] [committed] analyzer: fix ICE on untracked decl_regions [PR106374] - - - - --- 2022-07-21 David Malcolm New
[committed] analyzer: update "tainted" state of RHS in comparisons [PR106373] [committed] analyzer: update "tainted" state of RHS in comparisons [PR106373] - - - - --- 2022-07-20 David Malcolm New
[committed] analyzer: don't track string literals in the store [PR106359] [committed] analyzer: don't track string literals in the store [PR106359] - - - - --- 2022-07-20 David Malcolm New
[committed] analyzer: fix taint handling of switch statements [PR106321] [committed] analyzer: fix taint handling of switch statements [PR106321] - - - - --- 2022-07-19 David Malcolm New
[committed] analyzer: log out-edge description in exploded_graph::process_node [committed] analyzer: log out-edge description in exploded_graph::process_node - - - - --- 2022-07-19 David Malcolm New
[committed] analyzer: fix taint false positive on optimized range checks [PR106284] [committed] analyzer: fix taint false positive on optimized range checks [PR106284] - - - - --- 2022-07-15 David Malcolm New
[committed] analyzer: documentation nits relating to new fd warnings [committed] analyzer: documentation nits relating to new fd warnings - - - - --- 2022-07-15 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
[pushed,2/2] analyzer: use label_text for superedge::get_description [pushed,1/2] Convert label_text to C++11 move semantics - - - - --- 2022-07-07 David Malcolm New
[pushed,1/2] Convert label_text to C++11 move semantics [pushed,1/2] Convert label_text to C++11 move semantics - - - - --- 2022-07-07 David Malcolm New
[pushed] analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225] [pushed] analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225] - - - - --- 2022-07-07 David Malcolm New
[committed] analyzer: fix uninit false positive with -ftrivial-auto-var-init= [PR106204] [committed] analyzer: fix uninit false positive with -ftrivial-auto-var-init= [PR106204] - - - - --- 2022-07-06 David Malcolm New
[committed] analyzer: consolidate call_string instances [committed] analyzer: consolidate call_string instances - - - - --- 2022-06-24 David Malcolm New
[committed] analyzer: whitespace cleanups [committed] analyzer: whitespace cleanups - - - - --- 2022-06-24 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
« 1 2 ... 3 4 5 … 31 32 »