aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/analyzer.opt
AgeCommit message (Expand)AuthorFilesLines
2024-06-07analyzer: new warning: -Wanalyzer-undefined-behavior-ptrdiff (PR analyzer/105...David Malcolm1-0/+4
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek1-1/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm1-1/+5
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-0/+4
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-0/+8
2023-08-29analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860]David Malcolm1-0/+4
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-4/+0
2023-08-14analyzer: New option fanalyzer-show-events-in-system-headers [PR110543]benjamin priour1-0/+4
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm1-0/+4
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-0/+20
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm1-0/+4
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-0/+8
2022-11-13analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235]David Malcolm1-0/+4
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm1-0/+4
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-0/+4
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-0/+4
2022-08-18analyzer: warn on the use of floating-points operands in the size argument [P...Tim Lange1-0/+4
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+4
2022-08-05New warning: -Wanalyzer-jump-through-null [PR105947]David Malcolm1-0/+4
2022-07-28analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893]David Malcolm1-0/+4
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-0/+4
2022-07-02analyzer: implement five new warnings for misuse of POSIX file descriptor API...Immad Mir1-0/+20
2022-06-15analyzer: fix up paths for inlining (PR analyzer/105962)David Malcolm1-0/+4
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+16
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-0/+4
2022-03-04analyzer: reduce svalue depth limit from 13 to 12 [PR103521]David Malcolm1-1/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-0/+16
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+4
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm1-0/+4
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm1-0/+8
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-11analyzer: warn on invalid shift counts [PR97424]David Malcolm1-0/+8
2020-10-12analyzer: add warnings about writes to constant regions [PR95007]David Malcolm1-0/+8
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-0/+4
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+4
2020-09-14analyzer: add -param=analyzer-max-constraints=David Malcolm1-0/+4
2020-09-09analyzer: generalize sm-malloc to new/delete [PR94355]David Malcolm1-0/+4
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+8
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm1-4/+0
2020-03-02analyzer: don't print the duplicate count by defaultDavid Malcolm1-0/+4
2020-02-18analyzer.opt: rewrite description of -fdump-analyzer-callgraph [PR 93692]David Malcolm1-1/+1
2020-02-11analyzer.opt: reword descriptions of two dump options (PR 93657)David Malcolm1-2/+2
2020-02-10analyzer.opt: fix typos in descriptions (PR 93659)David Malcolm1-2/+2
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+181
generated by cgit v1.1 at 2025-01-17 06:49:37 +0000