aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
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
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-13/+9
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm1-12/+49
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm1-3/+70
2022-03-10analyzer: check for writes to consts via access attr [PR104793]David Malcolm1-0/+58
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-4/+55
2022-02-16analyzer: const functions have no side effects [PR104576]David Malcolm1-2/+4
2022-02-15analyzer: fix uninit false +ve due to optimized conditionals [PR102692]David Malcolm1-0/+111
2022-02-11analyzer: ignore uninitialized uses of empty types [PR104274]David Malcolm1-1/+9
2022-02-08analyzer: fix hashing of bit_range_region::key_t [PR104452]David Malcolm1-0/+18
2022-02-02analyzer: fix missing check for uninit of return valuesDavid Malcolm1-10/+11
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+14
2022-02-02analyzer: stop -ftrivial-auto-var-init from suppressing uninit warnings [PR10...David Malcolm1-0/+10
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm1-5/+38
2022-01-26analyzer: fix missing uninit warning on args to stdio builtins [PR104224]David Malcolm1-0/+11
generated by cgit v1.1 at 2024-08-16 06:41:51 +0000