aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/checker-path.h
AgeCommit message (Expand)AuthorFilesLines
2024-06-18diagnostics: eliminate "tree" from diagnostic_{event,path}David Malcolm1-0/+4
2024-06-18diagnostics: move simple_diagnostic_{path,thread,event} to their own .h/ccDavid Malcolm1-0/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-0/+1
2023-09-14diagnostics: support multithreaded diagnostic pathsDavid Malcolm1-1/+16
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-2/+1
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm1-1/+2
2022-11-11analyzer: split out checker_event classes to their own headerDavid Malcolm1-582/+2
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm1-5/+3
2022-11-09analyzer: better logging of event creationDavid Malcolm1-5/+5
2022-11-03analyzer: use std::unique_ptr for checker_eventDavid Malcolm1-2/+2
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-4/+30
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-1/+1
2022-06-15analyzer: fix up paths for inlining (PR analyzer/105962)David Malcolm1-13/+45
2022-06-02diagnostics: add SARIF output formatDavid Malcolm1-1/+21
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-26/+26
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-1/+5
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm1-0/+21
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+6
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm1-5/+17
2021-01-29analyzer: consolidate conditionals in pathsDavid Malcolm1-0/+55
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-0/+4
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm1-0/+6
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-6/+6
2020-03-04analyzer: fix ICE on non-lvalue in prune_for_sm_diagnostic [PR93993]David Malcolm1-2/+2
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-12/+18
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14analyzer: cleanups to checker_pathDavid Malcolm1-0/+8
2020-01-14analyzer: delete checker_event::cloneDavid Malcolm1-72/+0
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+586