aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm-malloc.cc
AgeCommit message (Expand)AuthorFilesLines
2022-12-06analyzer: split out more stuff from region-model-impl-calls.ccDavid Malcolm1-0/+1
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm1-2/+2
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-4/+310
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-26/+27
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-07-28analyzer: add CWE identifier URLs to docsDavid Malcolm1-0/+1
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-5/+5
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-3/+0
2022-06-02diagnostics: add SARIF output formatDavid Malcolm1-0/+14
2022-05-23analyzer: use 'final' and 'override' where appropriateDavid Malcolm1-2/+4
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-65/+65
2022-05-16Use more ARRAY_SIZE.Martin Liska1-2/+1
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm1-15/+57
2022-02-16analyzer: fixes to free of non-heap detection [PR104560]David Malcolm1-64/+70
2022-01-17Change references of .c files to .cc filesMartin Liska1-1/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-30/+106
2021-08-03analyzer: Fix ICE on MD builtin [PR101721]Jakub Jelinek1-1/+1
2021-07-28analyzer: Handle strdup builtinsSiddhesh Poyarekar1-8/+33
2021-07-28analyzer: Recognize __builtin_free as a matching deallocatorSiddhesh Poyarekar1-1/+2
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+19
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-5/+5
2021-05-18analyzer: fix missing leak after call to strsep [PR100615]David Malcolm1-0/+28
2021-04-24analyzer: fix ICE on NULL change.m_expr [PR100244]David Malcolm1-1/+1
2021-04-05analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR 99...David Malcolm1-1/+2
2021-03-30analyzer: only call get_diagnostic_tree when it's neededDavid Malcolm1-3/+7
2021-02-24analyzer: fix false positive on realloc [PR99193]David Malcolm1-2/+68
2021-01-18analyzer: use "malloc" attributeDavid Malcolm1-121/+646
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-18analyzer: only use CWE-690 for unchecked return value [PR97893]David Malcolm1-4/+4
2020-10-07analyzer: handle C++ argument numbers and "this" [PR97116]David Malcolm1-14/+47
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-09-21analyzer: decls are not on the heapDavid Malcolm1-1/+3
2020-09-18analyzer: handle strdup and strndupDavid Malcolm1-1/+3
2020-09-09analyzer: generalize sm-malloc to new/delete [PR94355]David Malcolm1-109/+481
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm1-28/+49
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-6/+2
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-39/+125
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek1-1/+1
2020-03-02analyzer: detect malloc, free, calloc within "std" [PR93959]David Malcolm1-0/+3
2020-02-17analyzer: fix wording for assignment from NULLDavid Malcolm1-2/+9
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-9/+43
2020-01-28diagnostic_metadata: unbreak xgettext (v2)David Malcolm1-23/+26
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14analyzer: fix dedupe issue seen with CVE-2005-1689David Malcolm1-4/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+797