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

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

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / sm-taint.cc

2024-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw
2023-12-14	David Malcolm	analyzer: cleanups [PR112655]	blob \| commitdiff \| raw \| diff to current
2023-12-08	David Malcolm	analyzer: avoid taint for (TAINTED % NON_TAINTED)	blob \| commitdiff \| raw \| diff to current
2023-12-07	David Malcolm	analyzer: fix taint false positives with UNKNOWN [PR112850]	blob \| commitdiff \| raw \| diff to current
2023-12-01	David Malcolm	diagnostics, analyzer: add optional per-diagnostic...	blob \| commitdiff \| raw \| diff to current
2023-11-14	David Malcolm	analyzer: enable taint state machine by default [PR103533]	blob \| commitdiff \| raw \| diff to current
2023-07-19	David Malcolm	analyzer: fix ICE on division of tainted floating-point...	blob \| commitdiff \| raw \| diff to current
2023-06-22	David Malcolm	analyzer: add text-art visualizations of out-of-bounds...	blob \| commitdiff \| raw \| diff to current
2023-01-16	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2023-01-13	David Malcolm	analyzer: add heuristics for switch on enum type [PR105273]	blob \| commitdiff \| raw \| diff to current
2022-11-13	David Malcolm	analyzer: new warning: -Wanalyzer-tainted-assertion...	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-05	David Malcolm	analyzer: simplify some includes	blob \| commitdiff \| raw \| diff to current
2022-09-09	David Malcolm	analyzer: implement trust boundaries via a plugin for...	blob \| commitdiff \| raw \| diff to current
2022-07-28	David Malcolm	analyzer: add CWE identifier URLs to docs	blob \| commitdiff \| raw \| diff to current
2022-07-21	David Malcolm	analyzer: bulletproof taint warnings against NULL m_arg	blob \| commitdiff \| raw \| diff to current
2022-07-20	David Malcolm	analyzer: update "tainted" state of RHS in comparisons...	blob \| commitdiff \| raw \| diff to current
2022-07-19	David Malcolm	analyzer: fix taint handling of switch statements ...	blob \| commitdiff \| raw \| diff to current
2022-07-15	David Malcolm	analyzer: fix taint false positive on optimized range...	blob \| commitdiff \| raw \| diff to current
2022-07-07	David Malcolm	analyzer: fix false positives from -Wanalyzer-tainted...	blob \| commitdiff \| raw \| diff to current
2022-06-02	David Malcolm	diagnostics: add SARIF output format	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-03-23	David Malcolm	analyzer: use tainted_allocation_size::m_mem_space...	blob \| commitdiff \| raw \| diff to current
2022-03-16	David Malcolm	analyzer: early rejection of disabled warnings [PR104955]	blob \| commitdiff \| raw \| diff to current
2022-03-10	David Malcolm	analyzer: fix duplicates in check_for_tainted_size_arg	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-02-07	David Malcolm	analyzer: fix ICE on realloc of non-heap [PR104417]	blob \| commitdiff \| raw \| diff to current
2022-02-03	David Malcolm	analyzer: fixes to realloc-handling [PR104369]	blob \| commitdiff \| raw \| diff to current
2022-01-14	David Malcolm	analyzer: fix ICE when combining taint states has_ub...	blob \| commitdiff \| raw \| diff to current
2022-01-14	David Malcolm	analyzer: fix ICE in taint checker on unary ops [PR104029]	blob \| commitdiff \| raw \| diff to current
2022-01-12	David Malcolm	analyzer: complain about tainted sizes with "access...	blob \| commitdiff \| raw \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2021-11-13	David Malcolm	analyzer: add four new taint-based warnings	blob \| commitdiff \| raw \| diff to current
2021-07-07	David Malcolm	analyzer: remove add_any_constraints_from_ssa_def_stmt	blob \| commitdiff \| raw \| diff to current
2021-03-30	David Malcolm	analyzer: only call get_diagnostic_tree when it's needed	blob \| commitdiff \| raw \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2020-09-22	David Malcolm	analyzer: add -fdump-analyzer-json	blob \| commitdiff \| raw \| diff to current
2020-09-09	David Malcolm	analyzer: eliminate sm_context::warn_for_state in favor...	blob \| commitdiff \| raw \| diff to current
2020-09-09	David Malcolm	analyzer: use objects for state_machine::state_t	blob \| commitdiff \| raw \| diff to current
2020-08-13	David Malcolm	analyzer: rewrite of region and value-handling	blob \| commitdiff \| raw \| diff to current
2020-01-28	David Malcolm	diagnostic_metadata: unbreak xgettext (v2)	blob \| commitdiff \| raw \| diff to current
2020-01-22	David Malcolm	analyzer: introduce namespace to avoid ODR clashes...	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	analyzer: fix dedupe issue seen with CVE-2005-1689	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	Initial commit of analyzer	blob \| commitdiff \| raw \| diff to current

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

RSS Atom