Age | Commit message (Expand) | Author | Files | Lines |
2024-07-04 | analyzer: handle <error.h> at -O0 [PR115724] | David Malcolm | 1 | -0/+4 |
2024-05-30 | Add new text_art::tree_widget and use it in analyzer | David Malcolm | 1 | -0/+1 |
2024-05-03 | testsuite: fix analyzer C++ failures on Solaris [PR111475] | David Malcolm | 1 | -0/+22 |
2024-03-23 | analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11... | David Malcolm | 1 | -0/+22 |
2024-03-19 | analyzer: fixes to __atomic_{exchange,load,store} [PR114286] | David Malcolm | 1 | -33/+102 |
2024-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2023-12-01 | diagnostics, analyzer: add optional per-diagnostic property bags to SARIF | David Malcolm | 1 | -19/+13 |
2023-11-18 | analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] | David Malcolm | 1 | -1/+319 |
2023-09-06 | analyzer: implement kf_strstr [PR105899] | David Malcolm | 1 | -0/+96 |
2023-09-06 | analyzer: implement kf_strncpy [PR105899] | David Malcolm | 1 | -0/+182 |
2023-09-06 | analyzer: add ctxt to fill_region/zero_fill_region | David Malcolm | 1 | -5/+2 |
2023-08-31 | Darwin: homogenize spelling of macOS | Francois-Xavier Coudert | 1 | -1/+1 |
2023-08-29 | analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860] | David Malcolm | 1 | -2/+17 |
2023-08-29 | analyzer: improve strdup handling [PR105899] | David Malcolm | 1 | -9/+19 |
2023-08-27 | analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395] | benjamin priour | 1 | -44/+166 |
2023-08-24 | analyzer: implement kf_strcat [PR105899] | David Malcolm | 1 | -10/+62 |
2023-08-24 | analyzer: reimplement kf_memcpy_memmove | David Malcolm | 1 | -10/+4 |
2023-08-24 | analyzer: reimplement kf_strcpy [PR105899] | David Malcolm | 1 | -18/+14 |
2023-08-22 | analyzer: reimplement kf_strlen [PR105899] | David Malcolm | 1 | -30/+26 |
2023-08-21 | analyzer: add kf_fopen | David Malcolm | 1 | -0/+28 |
2023-08-11 | analyzer: new warning: -Wanalyzer-unterminated-string [PR105899] | David Malcolm | 1 | -0/+11 |
2023-08-09 | analyzer: remove default return value from region_model::on_call_pre | David Malcolm | 1 | -2/+16 |
2023-06-21 | analyzer: add text-art visualizations of out-of-bounds accesses [PR106626] | David Malcolm | 1 | -2/+4 |
2023-06-02 | analyzer: implement various atomic builtins [PR109015] | David Malcolm | 1 | -0/+355 |
2023-03-03 | analyzer: provide placeholder implementation of sprintf | David Malcolm | 1 | -0/+29 |
2023-03-02 | analyzer: Support errno for newlib | Hans-Peter Nilsson | 1 | -0/+2 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2023-01-11 | analyzer: fix leak false positives on "*UNKNOWN = PTR;" [PR108252] | David Malcolm | 1 | -0/+56 |
2022-12-16 | analyzer: add src_region param to region_model::check_for_poison [PR106479] | David Malcolm | 1 | -1/+1 |
2022-12-08 | analyzer: rename region-model-impl-calls.cc to kf.cc | David Malcolm | 1 | -0/+991 |