summaryrefslogtreecommitdiff
path: root/gcc/analyzer
Commit message (Expand)AuthorAgeFilesLines
* Daily bump.GCC Administrator2022-10-251-0/+65
* analyzer: fix ICE on va_copy [PR107349]David Malcolm2022-10-241-3/+2
* analyzer: handle (NULL == &VAR) [PR107345]David Malcolm2022-10-241-3/+12
* analyzer: simplify sm_state_map lookupDavid Malcolm2022-10-243-92/+48
* analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm2022-10-246-9/+196
* Daily bump.GCC Administrator2022-10-201-0/+13
* analyzer: fix ICE on __builtin_ms_va_copy [PR105765]David Malcolm2022-10-191-16/+23
* Daily bump.GCC Administrator2022-10-141-0/+6
* analyzer: fix ICE introduced in r13-3168 [PR107210]David Malcolm2022-10-131-1/+2
* Daily bump.GCC Administrator2022-10-081-0/+9
* analyzer: extract bits from integer constants [PR105783]David Malcolm2022-10-072-1/+68
* Daily bump.GCC Administrator2022-10-071-0/+14
* analyzer: fix another ICE in PR 107158David Malcolm2022-10-061-28/+6
* analyzer: fixes to call_summary_replay::dump_to_ppDavid Malcolm2022-10-061-2/+8
* Daily bump.GCC Administrator2022-10-061-0/+179
* analyzer: simplify some includesDavid Malcolm2022-10-0541-180/+8
* analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm2022-10-056-15/+48
* analyzer: remove unused variablesMartin Liska2022-10-054-8/+1
* analyzer: revamp side-effects of call summaries [PR107072]David Malcolm2022-10-0423-54/+1613
* analyzer: move region_model_manager decl to its own headerDavid Malcolm2022-10-042-288/+313
* analyzer: fold -(-(VAL)) to VALDavid Malcolm2022-10-041-0/+11
* analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm2022-10-045-12/+17
* Daily bump.GCC Administrator2022-09-131-0/+5
* analyzer: remove unused fieldsMartin Liska2022-09-121-9/+3
* Daily bump.GCC Administrator2022-09-121-0/+14
* analyzer: consider empty ranges and zero byte accesses [PR106845]Tim Lange2022-09-113-2/+25
* Daily bump.GCC Administrator2022-09-101-0/+68
* analyzer: implement trust boundaries via a plugin for Linux kernelDavid Malcolm2022-09-098-31/+746
* analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm2022-09-097-2/+283
* Daily bump.GCC Administrator2022-09-091-0/+51
* analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange2022-09-087-90/+616
* Daily bump.GCC Administrator2022-09-061-0/+14
* analyzer: strcpy semanticsTim Lange2022-09-053-3/+45
* analyzer: return a concrete offset for cast_regionsTim Lange2022-09-052-0/+12
* Daily bump.GCC Administrator2022-08-231-0/+4
* analyzer: add missing final keywordMartin Liska2022-08-221-1/+1
* Daily bump.GCC Administrator2022-08-191-0/+18
* analyzer: warn on the use of floating-points operands in the size argument [P...Tim Lange2022-08-183-23/+162
* Daily bump.GCC Administrator2022-08-171-0/+6
* analyzer: add more final override keywordsMartin Liska2022-08-162-3/+4
* Daily bump.GCC Administrator2022-08-161-0/+19
* analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626]David Malcolm2022-08-151-2/+2
* analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]David Malcolm2022-08-151-3/+1
* analyzer: fix for ICE in sm-fd.cc [PR106551]Immad Mir2022-08-151-2/+1
* Daily bump.GCC Administrator2022-08-131-0/+39
* analyzer: out-of-bounds checker [PR106000]Tim Lange2022-08-127-0/+541
* analyzer: consider that realloc could shrink the buffer [PR106539]Tim Lange2022-08-121-6/+42
* Daily bump.GCC Administrator2022-08-121-0/+7
* analyzer: fix ICE casued by dup2 in sm-fd.cc[PR106551]Immad Mir2022-08-111-4/+6
* Daily bump.GCC Administrator2022-08-101-0/+6