aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.h
AgeCommit message (Expand)AuthorFilesLines
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm1-5/+5
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-2/+2
2024-06-07analyzer: add logging to get_representative_path_varDavid Malcolm1-0/+2
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+13
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-16analyzer: add sarif properties for bounds checking diagnosticsDavid Malcolm1-0/+4
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm1-9/+8
2023-12-07analyzer: fix ICE for 2 bits before the start of base region [PR112889]David Malcolm1-5/+5
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-0/+7
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-0/+9
2023-03-10analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059]David Malcolm1-3/+8
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-06analyzer: don't create bindings or binding keys for empty regions [PR107882]David Malcolm1-3/+5
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-1/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-2/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+16
2022-09-11analyzer: consider empty ranges and zero byte accesses [PR106845]Tim Lange1-0/+12
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+9
2022-07-19analyzer: don't track string literals in the store [PR106359]David Malcolm1-3/+1
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-6/+6
2022-04-07analyzer: fix leak false +ve with symbolic writes [PR102208]David Malcolm1-3/+7
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-3/+6
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-0/+2
2022-01-07analyzer: implement __analyzer_dump_escapedDavid Malcolm1-0/+2
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-23analyzer: fix uninit false positive on overlapping bindingsDavid Malcolm1-0/+5
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+1
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+10
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-81/+76
2021-06-28analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm1-0/+25
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-0/+1
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-0/+18
2021-06-08analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm1-11/+50
2021-06-03analyzer: remove unused prototypesDavid Malcolm1-2/+0
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-4/+85
2021-01-14analyzer: const fixes [PR98679]David Malcolm1-2/+2
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm1-0/+2
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-27analyzer: Change cast from long to intptr_t [PR96608]Markus Böck1-1/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-0/+6
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+7
2020-08-31analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm1-3/+3
2020-08-31analyzer: fix ICE on RANGE_EXPR in CONSTRUCTORs [PR96763]David Malcolm1-0/+8
2020-08-22analyzer: simplify store::eval_aliasDavid Malcolm1-1/+3
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm1-0/+2
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm1-0/+3
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+613
generated by cgit v1.1 at 2025-02-07 05:35:26 +0000