aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.cc
AgeCommit message (Expand)AuthorFilesLines
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm1-31/+7
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm1-5/+5
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm1-3/+3
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-4/+4
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-7/+7
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-2/+2
2024-06-07analyzer: add logging to get_representative_path_varDavid Malcolm1-3/+9
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+156
2024-04-10analyzer: fix ICE on negative values for size_t [PR114472]David Malcolm1-4/+16
2024-01-25analyzer: fix defaults in compound assignments from non-zero offsets [PR112969]David Malcolm1-1/+10
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-16analyzer: add sarif properties for bounds checking diagnosticsDavid Malcolm1-0/+30
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm1-71/+71
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-1/+0
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-0/+1
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
generated by cgit v1.1 at 2024-10-20 22:30:00 +0000