summaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)Author
2022-07-27analyzer: show saved diagnostics as nodes in .eg.dot dumpsDavid Malcolm
2022-07-27analyzer: fix memory leaksDavid Malcolm
2022-07-27analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm
2022-03-23analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm
2022-03-23analyzer: fix ICE adding note to disabled diagnostic [PR104997]David Malcolm
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm
2022-03-07analyzer: fix leak suppression at end of 'main' [PR101983]David Malcolm
2022-03-07Fix up duplicated duplicated words in commentsJakub Jelinek
2022-02-16analyzer: fixes to free of non-heap detection [PR104560]David Malcolm
2022-02-03analyzer: fixes to realloc-handling [PR104369]David Malcolm
2022-01-13Add __attribute__ ((tainted_args))David Malcolm
2022-01-12analyzer: complain about tainted sizes with "access" attribute [PR103940]David Malcolm
2022-01-07analyzer: add logging of aliasingDavid Malcolm
2022-01-03Update copyright years.Jakub Jelinek
2021-12-12Replace gnu::unique_ptr with std::unique_ptrJonathan Wakely
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm
2021-11-12analyzer: "__analyzer_dump_state" has no side-effectsDavid Malcolm
2021-09-17analyzer: Fix bootstrap with clangMaxim Blinov
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm
2021-08-25analyzer: Impose recursion limit on indirect calls.Ankur Saini
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm
2021-07-15analyzer: use DECL_DEBUG_EXPR on SSA names for artificial varsDavid Malcolm
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders
2021-06-11analyzer: tweak priority of callstrings in worklist::key_t::cmpDavid Malcolm
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm
2021-03-10analyzer: factor out new class feasibility_stateDavid Malcolm
2021-02-26analyzer: implement exploded_path copy ctorDavid Malcolm
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm
2021-02-22analyzer: handle error/error_at_line [PR99196]David Malcolm
2021-02-11analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 21:29:19 +0000