aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm1-5/+27
2023-08-24analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]David Malcolm1-0/+15
2023-08-21analyzer: check format strings for null termination [PR105899]David Malcolm1-30/+95
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-85/+436
2023-08-21analyzer: handle NULL inner context in region_model_context_decoratorDavid Malcolm1-1/+2
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm1-0/+13
2023-08-21analyzer: convert note_adding_context to annotating_contextDavid Malcolm1-6/+6
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm1-0/+163
2023-08-11analyzer: More features for CPython analyzer plugin [PR107646]Eric Feng1-2/+15
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm1-146/+10
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-17/+92
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-7/+14
2023-07-20analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]David Malcolm1-1/+2
2023-06-30analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198]benjamin priour1-7/+8
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-17/+35
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange1-50/+30
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm1-24/+1
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour1-8/+14
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer1-1/+1
2023-03-18analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm1-3/+12
2023-03-10analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059]David Malcolm1-1/+3
2023-03-02analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]David Malcolm1-1/+8
2023-03-01analyzer: fixes to side-effects for built-in functions [PR107565]David Malcolm1-25/+19
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm1-0/+2
2023-02-16analyzer: respect some conditions from bit masks [PR108806]David Malcolm1-0/+3
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm1-4/+67
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-13analyzer: add heuristics for switch on enum type [PR105273]David Malcolm1-2/+102
2023-01-11analyzer: fix leak false positives on "*UNKNOWN = PTR;" [PR108252]David Malcolm1-10/+22
2022-12-16analyzer: add src_region param to region_model::check_for_poison [PR106479]David Malcolm1-5/+6
2022-12-08analyzer: fix ICE on region creation during get_referenced_base_regions [PR10...David Malcolm1-2/+2
2022-12-06analyzer: don't create bindings or binding keys for empty regions [PR107882]David Malcolm1-0/+8
2022-12-06analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]David Malcolm1-4/+25
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-4/+2
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm1-23/+24
2022-12-01analyzer: handle comparisons against negated symbolic values [PR107948]David Malcolm1-0/+13
2022-11-30analyzer: move bounds checking to a new bounds-checking.ccDavid Malcolm1-653/+0
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm1-13/+53
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm1-218/+34
2022-11-21analyzer: fix ICE on 'bind' that returns a struct [PR107788]David Malcolm1-0/+4
2022-11-21analyzer: fix ICE on writes to errno [PR107777]David Malcolm1-0/+2
2022-11-18analyzer: move more impl_* to known_functionDavid Malcolm1-122/+2
2022-11-16analyzer: use known_function to simplify region_model::on_call_{pre,post}David Malcolm1-32/+13
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-0/+30
2022-11-15c, analyzer: support named constants in analyzer [PR106302]David Malcolm1-0/+4
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-2/+7
2022-11-08analyzer: eliminate region_model::eval_condition_without_cm [PR101962]David Malcolm1-49/+26
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+22
2022-11-07analyzer: fix "when 'strchr' returns non-NULL" messageDavid Malcolm1-2/+12
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm1-2/+1
generated by cgit v1.1 at 2025-02-07 07:35:20 +0000