aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)AuthorFilesLines
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-12Replace gnu::unique_ptr with std::unique_ptrJonathan Wakely1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-3/+7
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-0/+18
2021-11-12analyzer: "__analyzer_dump_state" has no side-effectsDavid Malcolm1-2/+5
2021-09-17analyzer: Fix bootstrap with clangMaxim Blinov1-0/+1
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-41/+230
2021-08-25analyzer: Impose recursion limit on indirect calls.Ankur Saini1-0/+14
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-1/+1
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini1-23/+26
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+183
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+2
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+2
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm1-0/+3
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-146/+104
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm1-6/+28
2021-07-15analyzer: use DECL_DEBUG_EXPR on SSA names for artificial varsDavid Malcolm1-3/+16
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-1/+53
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-0/+5
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm1-1/+1
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-0/+8
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm1-5/+35
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders1-9/+3
2021-06-11analyzer: tweak priority of callstrings in worklist::key_t::cmpDavid Malcolm1-6/+19
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-21/+43
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm1-29/+23
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm1-2/+3
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+25
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm1-36/+63
2021-03-10analyzer: factor out new class feasibility_stateDavid Malcolm1-101/+150
2021-02-26analyzer: implement exploded_path copy ctorDavid Malcolm1-0/+9
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm1-35/+20
2021-02-22analyzer: handle error/error_at_line [PR99196]David Malcolm1-1/+5
2021-02-11analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm1-8/+35
2021-02-01analyzer: directly explore within static functions [PR93355,PR96374]David Malcolm1-52/+16
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm1-1/+28
2021-01-06analyzer: fix missing bitmap_clear [PR98564]David Malcolm1-0/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-0/+31
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm1-3/+52
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-10/+29
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-5/+59
2020-10-27analyzer: fix param "analyzer-max-enodes-per-program-point"David Malcolm1-1/+1
2020-10-22analyzer: fix ICE when handling callback exceeds enode limit [PR97514]David Malcolm1-2/+3
2020-10-22analyzer: fix ICE on dtor [PR97489]David Malcolm1-0/+5
2020-10-12analyzer: handle static callbacks [PR97258]David Malcolm1-0/+70
2020-09-29analyzer: fix signal-handler registration location [PR95188]David Malcolm1-6/+16
2020-09-29analyzer: silence -Wsign-compare warningsDavid Malcolm1-1/+1
2020-09-28analyzer: fix ICE on non-pointer longjmp [PR97233]David Malcolm1-0/+1
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-3/+22
generated by cgit v1.1 at 2024-10-02 15:14:51 +0000