aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/checker-path.cc
AgeCommit message (Expand)AuthorFilesLines
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-4/+3
2022-12-02analyzer: fixes to region creation messages [PR107851]David Malcolm1-9/+5
2022-11-23analyzer: fix nondeterminism in logsDavid Malcolm1-2/+4
2022-11-16analyzer: split out checker-path.cc into a new checker-event.ccDavid Malcolm1-1149/+1
2022-11-13analyzer: new warning: -Wanalyzer-tainted-assertion [PR106235]David Malcolm1-1/+1
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm1-15/+8
2022-11-09analyzer: better logging of event creationDavid Malcolm1-0/+29
2022-11-03analyzer: use std::unique_ptr for checker_eventDavid Malcolm1-12/+13
2022-11-03analyzer: use std::unique_ptr for custom_edge_info pointersDavid Malcolm1-1/+1
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-8/+0
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm1-14/+77
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-23/+23
2022-07-07analyzer: use label_text for superedge::get_descriptionDavid Malcolm1-2/+1
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-65/+32
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-1/+10
2022-06-15analyzer: fix up paths for inlining (PR analyzer/105962)David Malcolm1-5/+259
2022-06-02diagnostics: add SARIF output formatDavid Malcolm1-4/+102
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-2/+14
2022-05-11analyzer: fix memory leaksDavid Malcolm1-2/+6
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm1-0/+41
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-10/+18
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm1-3/+3
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders1-3/+1
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm1-4/+6
2021-01-29analyzer: consolidate conditionals in pathsDavid Malcolm1-0/+26
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-0/+9
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-09-18analyzer: fix warning_event::get_desc for global state changesDavid Malcolm1-8/+21
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-13/+12
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-22/+30
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-02-24analyzer: eliminate irrelevant control-flow edges from pathsDavid Malcolm1-1/+1
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-5/+9
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+957
generated by cgit v1.1 at 2024-11-03 20:27:18 +0000