aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/kf.cc
AgeCommit message (Expand)AuthorFilesLines
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