aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis/string.c
AgeCommit message (Expand)AuthorFilesLines
2024-11-27[clang][analyzer] Bring checker 'alpha.unix.cstring.NotNullTerminated' out of...Balázs Kéri1-1/+1
2024-10-16[clang][analyzer] Improve test and documentation in cstring NotNullTerminated...Balázs Kéri1-6/+40
2024-09-26[analyzer] Moving TaintPropagation checker out of alpha (#67352)Daniel Krupp1-1/+1
2024-01-15[libc] Give more functions restrict qualifiers (NFC) (#78061)AtariDreams1-2/+2
2023-10-10[analyzer] Compute length of string literal initializers (#66990) (#68368)luamfb1-0/+23
2023-09-11Fixup "[analyzer] CStringChecker buffer access checks should check the first ...Balazs Benics1-1/+1
2023-09-11[analyzer] CStringChecker buffer access checks should check the first bytesBalazs Benics1-0/+19
2023-09-11[analyzer] CStringChecker should check the first byte of the destination of s...Balazs Benics1-0/+46
2022-07-13[analyzer] Fix use of length in CStringCheckereinvbri1-0/+15
2022-02-13A significant number of our tests in C accidentally use functionsAaron Ballman1-119/+119
2021-04-29[analyzer] Wrong type cast occurs during pointer dereferencing after type pun...Denys Petrov1-0/+14
2020-04-09[analyzer] NFCi: Refactor CStringChecker: use strongly typed internal APIBalazs Benics1-18/+28
2019-12-11[analyzer] CStringChecker: Fix overly eager assumption that memcmp args overlap.Artem Dergachev1-0/+24
2019-12-11[analyzer] CStringChecker: Improve warning messages.Artem Dergachev1-24/+24
2019-07-01[analyzer] CStringChecker: Modernize to use CallDescriptions.Artem Dergachev1-0/+6
2019-05-23[analyzer][NFC] Prettify some RUN: lines in test files.Kristof Umann1-5/+43
2019-04-18[analyzer] Make default bindings to variables actually work.Artem Dergachev1-0/+6
2019-03-18[Sema] Add some compile time _FORTIFY_SOURCE diagnosticsErik Pilkington1-2/+8
2018-12-11[analyzer][CStringChecker] evaluate explicit_bzeroDavid Carlier1-1/+55
2018-08-29[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov1-5/+5
2018-07-13[Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fixAdam Balogh1-1/+24
2018-05-16[analyzer] Improve the modeling of memset().Henry Wong1-4/+289
2018-04-06Fix typos in clangAlexander Kornienko1-3/+3
2018-03-31[analyzer] Hopefully fix the ARM buildbot.George Karpenkov1-10/+0
2018-03-31[analyzer] Fix assertion crash in CStringCheckerGeorge Karpenkov1-0/+11
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-4/+4
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-4/+4
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-4/+4
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-4/+4
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-4/+4
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen1-4/+4
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-4/+4
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-4/+4
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen1-4/+4
2016-08-17[analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev1-0/+17
2016-05-19[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than r...Anton Yartsev1-28/+76
2016-02-08[analyzer] Avoid crash when attempting to evaluate binary operation on LazyCo...Devin Coughlin1-0/+14
2013-08-19[analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose1-2/+4
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose1-0/+51
2013-03-20[analyzer] Don't invalidate globals when there's no call involved.Jordan Rose1-0/+4
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks1-17/+27
2012-08-24Fix analyzer tests.Ted Kremenek1-4/+4
2012-05-16[analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose1-31/+0
2012-05-16[analyzer] Revert a regression committed in r156920.Anna Zaks1-5/+4
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose1-244/+139
2012-05-14[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose1-0/+22
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose1-0/+32
2012-02-20[analyzer] Turn on by default the Malloc Checker and a couple of CStringAnna Zaks1-4/+4
2012-02-07[analyzer] Allow each CString check to be enabled/disabledAnna Zaks1-4/+4
2012-01-31[analyzer] Add checks for common anti-patterns in strncat.Anna Zaks1-4/+4