aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/kf.cc
AgeCommit message (Expand)AuthorFilesLines
2023-09-06analyzer: implement kf_strstr [PR105899]David Malcolm1-0/+96
2023-09-06analyzer: implement kf_strncpy [PR105899]David Malcolm1-0/+182
2023-09-06analyzer: add ctxt to fill_region/zero_fill_regionDavid Malcolm1-5/+2
2023-08-31Darwin: homogenize spelling of macOSFrancois-Xavier Coudert1-1/+1
2023-08-29analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860]David Malcolm1-2/+17
2023-08-29analyzer: improve strdup handling [PR105899]David Malcolm1-9/+19
2023-08-27analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395]benjamin priour1-44/+166
2023-08-24analyzer: implement kf_strcat [PR105899]David Malcolm1-10/+62
2023-08-24analyzer: reimplement kf_memcpy_memmoveDavid Malcolm1-10/+4
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm1-18/+14
2023-08-22analyzer: reimplement kf_strlen [PR105899]David Malcolm1-30/+26
2023-08-21analyzer: add kf_fopenDavid Malcolm1-0/+28
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm1-0/+11
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm1-2/+16
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-2/+4
2023-06-02analyzer: implement various atomic builtins [PR109015]David Malcolm1-0/+355
2023-03-03analyzer: provide placeholder implementation of sprintfDavid Malcolm1-0/+29
2023-03-02analyzer: Support errno for newlibHans-Peter Nilsson1-0/+2
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-11analyzer: fix leak false positives on "*UNKNOWN = PTR;" [PR108252]David Malcolm1-0/+56
2022-12-16analyzer: add src_region param to region_model::check_for_poison [PR106479]David Malcolm1-1/+1
2022-12-08analyzer: rename region-model-impl-calls.cc to kf.ccDavid Malcolm1-0/+991
generated by cgit v1.1 at 2025-01-30 00:48:48 +0000