aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
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
2022-01-20analyzer: reject ((i + 1 > 0) && (i < 0)) for integers [PR94362]David Malcolm1-2/+3
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm1-0/+33
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-0/+7
2022-01-07analyzer: implement __analyzer_dump_escapedDavid Malcolm1-0/+2
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-2/+31
2021-11-16analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm1-3/+49
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-12/+35
2021-09-08analyzer: fix ICE when discarding result of realloc [PR102225]David Malcolm1-1/+1
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-4/+24
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-52/+23
2021-08-23analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962]David Malcolm1-28/+45
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini1-6/+11
2021-08-18analyzer: detect and analyze virtual function callsAnkur Saini1-0/+5
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-10/+34
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-1/+4
2021-07-28analyzer: play better with -fsanitize=boundsDavid Malcolm1-0/+6
generated by cgit v1.1 at 2024-08-17 01:32:06 +0000