aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.cc
AgeCommit message (Expand)AuthorFilesLines
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-0/+9
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-4/+7
2023-06-02analyzer: regions in different memory spaces can't aliasDavid Malcolm1-0/+12
2023-03-10analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059]David Malcolm1-12/+58
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-11analyzer: fix leak false positives on "*UNKNOWN = PTR;" [PR108252]David Malcolm1-0/+2
2022-12-14analyzer: don't call binding_key::make on empty regions [PR108065]David Malcolm1-0/+14
2022-12-06analyzer: don't create bindings or binding keys for empty regions [PR107882]David Malcolm1-6/+24
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm1-0/+9
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+17
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-06analyzer: fix another ICE in PR 107158David Malcolm1-28/+6
2022-10-05analyzer: simplify some includesDavid Malcolm1-5/+0
2022-10-05analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm1-6/+10
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+161
2022-09-11analyzer: consider empty ranges and zero byte accesses [PR106845]Tim Lange1-2/+10
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange1-8/+10
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+67
2022-07-26analyzer: fix false +ves from -Wanalyzer-va-arg-type-mismatch on int promotio...David Malcolm1-1/+3
2022-07-22analyzer: fix ICE in binding_cluster ctor [PR106401]David Malcolm1-1/+0
2022-07-19analyzer: don't track string literals in the store [PR106359]David Malcolm1-0/+7
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-3/+3
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-3/+0
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-1/+1
2022-04-28analyzer: handle repeated accesses after init of unknown size [PR105285]David Malcolm1-0/+12
2022-04-07analyzer: fix leak false +ve with symbolic writes [PR102208]David Malcolm1-21/+91
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-9/+14
2022-03-26analyzer: fix ICE on memset of untracked region [PR105057]David Malcolm1-4/+13
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-1/+5
2022-03-15analyzer: presize m_cluster_map in store copy ctorDavid Malcolm1-1/+2
2022-03-07Fix up duplicated duplicated words in commentsJakub Jelinek1-2/+2
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-0/+21
2022-01-06analyzer: make use of may_be_aliased in alias detection [PR103546]David Malcolm1-7/+11
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-29analyzer: further false leak fixes due to overzealous state merging [PR103217]David Malcolm1-2/+12
2021-08-23analyzer: fix uninit false positive on overlapping bindingsDavid Malcolm1-3/+74
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+17
2021-07-21analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522]David Malcolm1-5/+9
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+55
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-224/+429
2021-06-28analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm1-6/+48
2021-06-18analyzer: fix issue with symbolic reads with concrete bindingsDavid Malcolm1-0/+10
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm1-2/+2
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-0/+12
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-0/+186
2021-06-08analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm1-11/+27
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-11/+77
2021-02-11analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm1-2/+17
2021-02-09analyzer: treat pointers written to *UNKNOWN as escaping [PR98575]David Malcolm1-3/+14
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm1-1/+1
generated by cgit v1.1 at 2025-01-31 02:30:50 +0000