aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/kf.cc
AgeCommit message (Expand)AuthorFilesLines
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+1
2024-05-03testsuite: fix analyzer C++ failures on Solaris [PR111475]David Malcolm1-0/+22
2024-03-23analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11...David Malcolm1-0/+22
2024-03-19analyzer: fixes to __atomic_{exchange,load,store} [PR114286]David Malcolm1-33/+102
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-19/+13
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-1/+319
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 2024-08-18 06:09:56 +0000