aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.h
AgeCommit message (Expand)AuthorFilesLines
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm1-0/+4
2023-08-21analyzer: check format strings for null termination [PR105899]David Malcolm1-0/+2
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-2/+11
2023-08-21analyzer: handle NULL inner context in region_model_context_decoratorDavid Malcolm1-28/+58
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm1-0/+6
2023-08-21analyzer: convert note_adding_context to annotating_contextDavid Malcolm1-7/+7
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm1-0/+3
2023-08-11analyzer: More features for CPython analyzer plugin [PR107646]Eric Feng1-3/+11
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-1/+2
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-0/+4
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour1-4/+4
2023-03-18analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm1-1/+2
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-13analyzer: add heuristics for switch on enum type [PR105273]David Malcolm1-0/+12
2022-12-16analyzer: add src_region param to region_model::check_for_poison [PR106479]David Malcolm1-0/+1
2022-12-08analyzer: fix ICE on region creation during get_referenced_base_regions [PR10...David Malcolm1-2/+2
2022-12-06analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]David Malcolm1-1/+3
2022-12-06analyzer: split out more stuff from region-model-impl-calls.ccDavid Malcolm1-50/+0
2022-11-30analyzer: move bounds checking to a new bounds-checking.ccDavid Malcolm1-0/+2
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm1-2/+5
2022-11-23analyzer: eliminate region_model::on_ fns for socketsDavid Malcolm1-5/+0
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm1-28/+8
2022-11-21analyzer: fix ICE on 'bind' with non-pointer arg [P107783]David Malcolm1-0/+4
2022-11-18analyzer: move more impl_* to known_functionDavid Malcolm1-15/+1
2022-11-16analyzer: use known_function to simplify region_model::on_call_{pre,post}David Malcolm1-5/+0
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-19/+38
2022-11-15c, analyzer: support named constants in analyzer [PR106302]David Malcolm1-0/+2
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-1/+10
2022-11-08analyzer: eliminate region_model::eval_condition_without_cm [PR101962]David Malcolm1-3/+0
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+3
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm1-6/+5
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-15/+16
2022-10-24analyzer: simplify sm_state_map lookupDavid Malcolm1-45/+35
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm1-1/+25
2022-10-05analyzer: simplify some includesDavid Malcolm1-0/+1
2022-10-05analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm1-0/+1
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-2/+3
2022-10-04analyzer: move region_model_manager decl to its own headerDavid Malcolm1-288/+1
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-1/+5
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-0/+11
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-0/+21
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange1-0/+9
2022-09-05analyzer: strcpy semanticsTim Lange1-0/+3
2022-08-18analyzer: warn on the use of floating-points operands in the size argument [P...Tim Lange1-0/+2
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+3
2022-07-28analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893]David Malcolm1-0/+1
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+17
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-0/+2
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-0/+8
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-42/+42
generated by cgit v1.1 at 2025-02-07 07:40:28 +0000