git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/store.cc

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / store.cc

2022-12-14	David Malcolm	analyzer: don't call binding_key::make on empty regions...	blob \| commitdiff \| raw
2022-12-06	David Malcolm	analyzer: don't create bindings or binding keys for...	blob \| commitdiff \| raw \| diff to current
2022-11-24	David Malcolm	analyzer: revamp of heap-allocated regions [PR106473]	blob \| commitdiff \| raw \| diff to current
2022-11-08	David Malcolm	analyzer: start adding support for errno	blob \| commitdiff \| raw \| diff to current
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for pending_diagnostic...	blob \| commitdiff \| raw \| diff to current
2022-10-06	David Malcolm	analyzer: fix another ICE in PR 107158	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: simplify some includes	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: fix ICEs seen with call summaries on PR 107060	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: revamp side-effects of call summaries [PR107072]	blob \| commitdiff \| raw \| diff to current
2022-09-11	Tim Lange	analyzer: consider empty ranges and zero byte accesses...	blob \| commitdiff \| raw \| diff to current
2022-09-08	Tim Lange	analyzer: support for symbolic values in the out-of...	blob \| commitdiff \| raw \| diff to current
2022-08-12	Tim Lange	analyzer: out-of-bounds checker [PR106000]	blob \| commitdiff \| raw \| diff to current
2022-07-26	David Malcolm	analyzer: fix false +ves from -Wanalyzer-va-arg-type...	blob \| commitdiff \| raw \| diff to current
2022-07-22	David Malcolm	analyzer: fix ICE in binding_cluster ctor [PR106401]	blob \| commitdiff \| raw \| diff to current
2022-07-20	David Malcolm	analyzer: don't track string literals in the store...	blob \| commitdiff \| raw \| diff to current
2022-07-15	Jonathan Wakely	libcpp: Improve encapsulation of label_text	blob \| commitdiff \| raw \| diff to current
2022-07-07	David Malcolm	Convert label_text to C++11 move semantics	blob \| commitdiff \| raw \| diff to current
2022-05-20	David Malcolm	Use "final" and "override" directly, rather than via...	blob \| commitdiff \| raw \| diff to current
2022-04-28	David Malcolm	analyzer: handle repeated accesses after init of unknow...	blob \| commitdiff \| raw \| diff to current
2022-04-07	David Malcolm	analyzer: fix leak false +ve with symbolic writes ...	blob \| commitdiff \| raw \| diff to current
2022-03-29	David Malcolm	analyzer: ensure that we purge state when reusing a...	blob \| commitdiff \| raw \| diff to current
2022-03-26	David Malcolm	analyzer: fix ICE on memset of untracked region [PR105057]	blob \| commitdiff \| raw \| diff to current
2022-03-25	David Malcolm	analyzer: add region::tracked_p to optimize state objec...	blob \| commitdiff \| raw \| diff to current
2022-03-15	David Malcolm	analyzer: presize m_cluster_map in store copy ctor	blob \| commitdiff \| raw \| diff to current
2022-03-07	Jakub Jelinek	Fix up duplicated duplicated words in comments	blob \| commitdiff \| raw \| diff to current
2022-01-08	David Malcolm	analyzer: add logging of aliasing	blob \| commitdiff \| raw \| diff to current
2022-01-06	David Malcolm	analyzer: make use of may_be_aliased in alias detection...	blob \| commitdiff \| raw \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2021-11-29	David Malcolm	analyzer: further false leak fixes due to overzealous...	blob \| commitdiff \| raw \| diff to current
2021-08-23	David Malcolm	analyzer: fix uninit false positive on overlapping...	blob \| commitdiff \| raw \| diff to current
2021-08-04	David Malcolm	analyzer: initial implementation of asm support [PR101570]	blob \| commitdiff \| raw \| diff to current
2021-07-21	David Malcolm	analyzer: fix ICE in binding_cluster::purge_state_invol...	blob \| commitdiff \| raw \| diff to current
2021-07-15	David Malcolm	analyzer: reimplement -Wanalyzer-use-of-uninitialized...	blob \| commitdiff \| raw \| diff to current
2021-06-30	David Malcolm	analyzer: eliminate enum binding_key [PR95006]	blob \| commitdiff \| raw \| diff to current
2021-06-28	David Malcolm	analyzer: introduce byte_range and use to simplify...	blob \| commitdiff \| raw \| diff to current
2021-06-18	David Malcolm	analyzer: fix issue with symbolic reads with concrete...	blob \| commitdiff \| raw \| diff to current
2021-06-18	David Malcolm	analyzer: add region_model_manager::get_or_create_int_cst	blob \| commitdiff \| raw \| diff to current
2021-06-15	David Malcolm	analyzer: fix bitfield endianness issues [PR99212,PR101082]	blob \| commitdiff \| raw \| diff to current
2021-06-08	David Malcolm	analyzer: bitfield fixes [PR99212]	blob \| commitdiff \| raw \| diff to current
2021-06-08	David Malcolm	analyzer: split out struct bit_range from class concret...	blob \| commitdiff \| raw \| diff to current
2021-04-08	David Malcolm	analyzer: fix leak false +ves due to maybe-clobbered...	blob \| commitdiff \| raw \| diff to current
2021-02-12	David Malcolm	analyzer: fix ICE in print_mem_ref [PR98969]	blob \| commitdiff \| raw \| diff to current
2021-02-09	David Malcolm	analyzer: treat pointers written to *UNKNOWN as escapin...	blob \| commitdiff \| raw \| diff to current
2021-01-14	David Malcolm	analyzer: fixes to -fdump-analyzer-json	blob \| commitdiff \| raw \| diff to current
2021-01-12	David Malcolm	analyzer: fix ICE merging dereferencing unknown ptrs...	blob \| commitdiff \| raw \| diff to current
2021-01-07	David Malcolm	analyzer: fix false leak reports when merging states...	blob \| commitdiff \| raw \| diff to current
2021-01-05	David Malcolm	analyzer: fix ICE with -fsanitize=undefined [PR98293]	blob \| commitdiff \| raw \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-determinism in logs	blob \| commitdiff \| raw \| diff to current
2020-10-14	David Malcolm	analyzer: fix build with ada [PR93723]	blob \| commitdiff \| raw \| diff to current
2020-09-22	David Malcolm	analyzer: add -fdump-analyzer-json	blob \| commitdiff \| raw \| diff to current
2020-09-08	David Malcolm	analyzer: fix another ICE in constructor-handling ...	blob \| commitdiff \| raw \| diff to current
2020-09-08	David Malcolm	analyzer: fix ICE on RANGE_EXPR with CONSTRUCTOR value...	blob \| commitdiff \| raw \| diff to current
2020-08-31	David Malcolm	analyzer: fix ICE on unknown index in CONSTRUCTOR ...	blob \| commitdiff \| raw \| diff to current
2020-08-31	David Malcolm	analyzer: fix ICE on RANGE_EXPR in CONSTRUCTORs [PR96763]	blob \| commitdiff \| raw \| diff to current
2020-08-26	David Malcolm	analyzer: fix leak false positive/widening on pointer...	blob \| commitdiff \| raw \| diff to current
2020-08-26	David Malcolm	analyzer: fix ICE on initializers for unsized array...	blob \| commitdiff \| raw \| diff to current
2020-08-22	David Malcolm	analyzer: simplify store::eval_alias	blob \| commitdiff \| raw \| diff to current
2020-08-19	David Malcolm	analyzer: consider initializers for globals [PR96651]	blob \| commitdiff \| raw \| diff to current
2020-08-17	David Malcolm	analyzer: handle &STRING_CST in constant pool initializ...	blob \| commitdiff \| raw \| diff to current
2020-08-14	David Malcolm	analyzer: fix initialization from constant pool [PR9660...	blob \| commitdiff \| raw \| diff to current
2020-08-14	David Malcolm	analyzer: fix ICE on escaped unknown pointers [PR96611]	blob \| commitdiff \| raw \| diff to current
2020-08-13	David Malcolm	analyzer: rewrite of region and value-handling	blob \| commitdiff \| raw \| diff to current

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom