aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm.h
AgeCommit message (Expand)AuthorFilesLines
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm1-0/+6
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm1-0/+2
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-0/+31
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-6/+6
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+9
2022-07-07analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225]David Malcolm1-0/+2
2022-07-02analyzer: implement five new warnings for misuse of POSIX file descriptor API...Immad Mir1-0/+1
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-2/+4
2022-02-16analyzer: fixes to free of non-heap detection [PR104560]David Malcolm1-0/+4
2022-01-12analyzer: complain about tainted sizes with "access" attribute [PR103940]David Malcolm1-0/+3
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-13analyzer: add four new taint-based warningsDavid Malcolm1-0/+9
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-0/+5
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-5/+29
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+3
2020-09-09analyzer: generalize sm-malloc to new/delete [PR94355]David Malcolm1-0/+6
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm1-5/+3
2020-09-09analyzer: reimplement on_transition in terms of get_state/set_next_stateDavid Malcolm1-5/+22
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-16/+32
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-4/+31
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-0/+2
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-0/+7
2020-01-30analyzer: add extrinsic_state::dumpDavid Malcolm1-0/+2
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+178
generated by cgit v1.1 at 2024-08-18 05:48:53 +0000