aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2022-11-07analyzer: start adding support for errnoDavid Malcolm9-2/+144
2022-11-07analyzer: introduce succeed_or_fail_call_infoDavid Malcolm2-23/+32
2022-11-07analyzer: fix "when 'strchr' returns non-NULL" messageDavid Malcolm2-9/+19
2022-11-04Daily bump.GCC Administrator1-0/+241
2022-11-03analyzer: use std::unique_ptr for state machines from pluginsDavid Malcolm2-3/+3
2022-11-03analyzer: use std::unique_ptr for known functionsDavid Malcolm4-6/+7
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm14-28/+31
2022-11-03analyzer: use std::unique_ptr for checker_eventDavid Malcolm8-120/+133
2022-11-03analyzer: use std::unique_ptr for feasibility_problems and exploded_pathDavid Malcolm6-47/+43
2022-11-03analyzer: use std::unique_ptr for custom_edge_info pointersDavid Malcolm4-42/+25
2022-11-03analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finderDavid Malcolm4-13/+12
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm34-185/+257
2022-11-03analyzer: fix ICE when pipe's arg isn't a pointer [PR107486]David Malcolm3-4/+22
2022-10-27Daily bump.GCC Administrator1-0/+11
2022-10-26analyzer: fixes to file-descriptor handlingDavid Malcolm1-17/+17
2022-10-26analyzer: add sm-fd.dotDavid Malcolm1-0/+109
2022-10-25Daily bump.GCC Administrator1-0/+65
2022-10-24analyzer: fix ICE on va_copy [PR107349]David Malcolm1-3/+2
2022-10-24analyzer: handle (NULL == &VAR) [PR107345]David Malcolm1-3/+12
2022-10-24analyzer: simplify sm_state_map lookupDavid Malcolm3-92/+48
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm6-9/+196
2022-10-20Daily bump.GCC Administrator1-0/+13
2022-10-19analyzer: fix ICE on __builtin_ms_va_copy [PR105765]David Malcolm1-16/+23
2022-10-14Daily bump.GCC Administrator1-0/+6
2022-10-13analyzer: fix ICE introduced in r13-3168 [PR107210]David Malcolm1-1/+2
2022-10-08Daily bump.GCC Administrator1-0/+9
2022-10-07analyzer: extract bits from integer constants [PR105783]David Malcolm2-1/+68
2022-10-07Daily bump.GCC Administrator1-0/+14
2022-10-06analyzer: fix another ICE in PR 107158David Malcolm1-28/+6
2022-10-06analyzer: fixes to call_summary_replay::dump_to_ppDavid Malcolm1-2/+8
2022-10-06Daily bump.GCC Administrator1-0/+179
2022-10-05analyzer: simplify some includesDavid Malcolm41-180/+8
2022-10-05analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm6-15/+48
2022-10-05analyzer: remove unused variablesMartin Liska4-8/+1
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm23-54/+1613
2022-10-04analyzer: move region_model_manager decl to its own headerDavid Malcolm2-288/+313
2022-10-04analyzer: fold -(-(VAL)) to VALDavid Malcolm1-0/+11
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm5-12/+17
2022-09-13Daily bump.GCC Administrator1-0/+5
2022-09-12analyzer: remove unused fieldsMartin Liska1-9/+3
2022-09-12Daily bump.GCC Administrator1-0/+14
2022-09-11analyzer: consider empty ranges and zero byte accesses [PR106845]Tim Lange3-2/+25
2022-09-10Daily bump.GCC Administrator1-0/+68
2022-09-09analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm8-31/+746
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm7-2/+283
2022-09-09Daily bump.GCC Administrator1-0/+51
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange7-90/+616
2022-09-06Daily bump.GCC Administrator1-0/+14
2022-09-05analyzer: strcpy semanticsTim Lange3-3/+45
2022-09-05analyzer: return a concrete offset for cast_regionsTim Lange2-0/+12
generated by cgit v1.1 at 2025-09-20 06:23:40 +0000