Age | Commit message (Expand) | Author | Files | Lines |
2025-01-02 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2024-11-01 | analyzer: use std::unique_ptr in "to_json" functions | David Malcolm | 1 | -5/+5 |
2024-10-25 | gcc: Remove trailing whitespace | Jakub Jelinek | 1 | -1/+1 |
2024-06-01 | analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203] | David Malcolm | 1 | -0/+1 |
2024-02-29 | analyzer: fix ICE in call summarization [PR114159] | David Malcolm | 1 | -4/+4 |
2024-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2023-11-17 | analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] | David Malcolm | 1 | -3/+36 |
2023-09-14 | analyzer: use unique_ptr for rejected_constraint | David Malcolm | 1 | -5/+4 |
2023-08-30 | analyzer: implement reference count checking for CPython plugin [PR107646] | Eric Feng | 1 | -1/+3 |
2023-08-21 | analyzer: add ability for context to add events to a saved_diagnostic | David Malcolm | 1 | -0/+1 |
2023-02-15 | analyzer: fix uninit false +ves [PR108664,PR108666,PR108725] | David Malcolm | 1 | -0/+1 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-11-15 | analyzer: add warnings relating to sockets [PR106140] | David Malcolm | 1 | -4/+6 |
2022-11-11 | analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] | David Malcolm | 1 | -0/+5 |
2022-11-10 | analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] | David Malcolm | 1 | -0/+2 |
2022-11-03 | analyzer: use std::unique_ptr during bifurcation | David Malcolm | 1 | -1/+1 |
2022-11-03 | analyzer: use std::unique_ptr for feasibility_problems and exploded_path | David Malcolm | 1 | -1/+1 |
2022-11-03 | analyzer: use std::unique_ptr for custom_edge_info pointers | David Malcolm | 1 | -7/+4 |
2022-11-03 | analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finder | David Malcolm | 1 | -1/+1 |
2022-11-03 | analyzer: use std::unique_ptr for pending_diagnostic/note | David Malcolm | 1 | -2/+2 |
2022-10-24 | analyzer: simplify sm_state_map lookup | David Malcolm | 1 | -9/+4 |
2022-10-24 | analyzer: handle "pipe" and "pipe2" [PR106300] | David Malcolm | 1 | -0/+3 |
2022-10-05 | analyzer: remove unused variables | Martin Liska | 1 | -2/+0 |
2022-10-04 | analyzer: revamp side-effects of call summaries [PR107072] | David Malcolm | 1 | -5/+31 |
2022-07-19 | analyzer: fix taint handling of switch statements [PR106321] | David Malcolm | 1 | -0/+3 |
2022-06-24 | analyzer: consolidate call_string instances | David Malcolm | 1 | -58/+3 |
2022-05-20 | Use "final" and "override" directly, rather than via macros | David Malcolm | 1 | -26/+26 |
2022-04-28 | analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibility | David Malcolm | 1 | -0/+2 |
2022-03-10 | analyzer: add notes to write-to-const/string from access attr [PR104793] | David Malcolm | 1 | -0/+1 |
2022-02-15 | analyzer: fix uninit false +ve due to optimized conditionals [PR102692] | David Malcolm | 1 | -0/+2 |
2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2021-11-13 | analyzer: add four new taint-based warnings | David Malcolm | 1 | -0/+3 |
2021-08-30 | analyzer: support "bifurcation"; reimplement realloc [PR99260] | David Malcolm | 1 | -33/+29 |
2021-08-21 | analyzer: Fix PR analyzer/101980 | Ankur Saini | 1 | -7/+7 |
2021-08-18 | analyzer: detect and analyze calls via function pointer | Ankur Saini | 1 | -0/+39 |
2021-07-15 | analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al] | David Malcolm | 1 | -1/+14 |
2021-07-15 | analyzer: add -fdump-analyzer-exploded-paths | David Malcolm | 1 | -3/+6 |
2021-07-07 | analyzer: remove add_any_constraints_from_ssa_def_stmt | David Malcolm | 1 | -1/+3 |
2021-06-15 | analyzer: track dynamic extents of regions | David Malcolm | 1 | -16/+4 |
2021-04-08 | analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774] | David Malcolm | 1 | -2/+9 |
2021-04-01 | analyzer: record per-enode saved_diagnostics | David Malcolm | 1 | -9/+25 |
2021-03-11 | analyzer: new implementation of shortest feasible path [PR96374] | David Malcolm | 1 | -0/+8 |
2021-03-10 | analyzer: factor out new class feasibility_state | David Malcolm | 1 | -0/+22 |
2021-02-26 | analyzer: implement exploded_path copy ctor | David Malcolm | 1 | -1/+0 |
2021-02-25 | analyzer: eliminate dedupe_candidate [PR96374] | David Malcolm | 1 | -1/+0 |
2021-01-14 | analyzer: fixes to -fdump-analyzer-json | David Malcolm | 1 | -0/+4 |
2021-01-04 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2020-10-12 | analyzer: handle static callbacks [PR97258] | David Malcolm | 1 | -0/+8 |
2020-09-23 | analyzer: add -fno-analyzer-feasibility | David Malcolm | 1 | -5/+8 |
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+7 |