aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
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
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-37/+50
2022-11-03analyzer: fix ICE when pipe's arg isn't a pointer [PR107486]David Malcolm1-4/+4
2022-10-24analyzer: handle (NULL == &VAR) [PR107345]David Malcolm1-3/+12
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm1-4/+31
2022-10-07analyzer: extract bits from integer constants [PR105783]David Malcolm1-0/+52
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-10-05analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm1-0/+6
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-21/+28
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-1/+1
2022-09-12analyzer: remove unused fieldsMartin Liska1-9/+3
2022-09-11analyzer: consider empty ranges and zero byte accesses [PR106845]Tim Lange1-0/+3
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-0/+568
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-0/+109
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange1-32/+437
generated by cgit v1.1 at 2024-07-17 18:52:25 +0000