aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
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
2022-09-05analyzer: strcpy semanticsTim Lange1-0/+29
2022-08-22analyzer: add missing final keywordMartin Liska1-1/+1
2022-08-18analyzer: warn on the use of floating-points operands in the size argument [P...Tim Lange1-23/+156
2022-08-16analyzer: add more final override keywordsMartin Liska1-2/+2
2022-08-15analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626]David Malcolm1-2/+2
2022-08-15analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]David Malcolm1-3/+1
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+422
2022-08-09analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased ...David Malcolm1-0/+8
2022-07-28analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893]David Malcolm1-0/+6
2022-07-22Fix handling of zero capacity regions in -Wanalyzer-allocation-size [PR106394]Tim Lange1-1/+1
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+2
2022-07-06analyzer: fix uninit false positive with -ftrivial-auto-var-init= [PR106204]David Malcolm1-13/+56
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-0/+370
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-8/+8
2022-05-23analyzer: use 'final' and 'override' where appropriateDavid Malcolm1-1/+1
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-27/+27
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+26
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-3/+5
2022-03-23analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm1-22/+28