summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/string.c
AgeCommit message (Expand)Author
2025-10-14[clang][analyzer] Support strlen with offset to string literal in CStringChec...Balázs Kéri
2025-09-05[clang][analyzer] Model `strxfrm` (#156507)Alejandro Álvarez Ayllón
2024-11-27[clang][analyzer] Bring checker 'alpha.unix.cstring.NotNullTerminated' out of...Balázs Kéri
2024-10-16[clang][analyzer] Improve test and documentation in cstring NotNullTerminated...Balázs Kéri
2024-09-26[analyzer] Moving TaintPropagation checker out of alpha (#67352)Daniel Krupp
2024-01-15[libc] Give more functions restrict qualifiers (NFC) (#78061)AtariDreams
2023-10-10[analyzer] Compute length of string literal initializers (#66990) (#68368)luamfb
2023-09-11Fixup "[analyzer] CStringChecker buffer access checks should check the first ...Balazs Benics
2023-09-11[analyzer] CStringChecker buffer access checks should check the first bytesBalazs Benics
2023-09-11[analyzer] CStringChecker should check the first byte of the destination of s...Balazs Benics
2022-07-13[analyzer] Fix use of length in CStringCheckereinvbri
2022-02-13A significant number of our tests in C accidentally use functionsAaron Ballman
2021-04-29[analyzer] Wrong type cast occurs during pointer dereferencing after type pun...Denys Petrov
2020-04-09[analyzer] NFCi: Refactor CStringChecker: use strongly typed internal APIBalazs Benics
2019-12-11[analyzer] CStringChecker: Fix overly eager assumption that memcmp args overlap.Artem Dergachev
2019-12-11[analyzer] CStringChecker: Improve warning messages.Artem Dergachev
2019-07-01[analyzer] CStringChecker: Modernize to use CallDescriptions.Artem Dergachev
2019-05-23[analyzer][NFC] Prettify some RUN: lines in test files.Kristof Umann
2019-04-18[analyzer] Make default bindings to variables actually work.Artem Dergachev
2019-03-18[Sema] Add some compile time _FORTIFY_SOURCE diagnosticsErik Pilkington
2018-12-11[analyzer][CStringChecker] evaluate explicit_bzeroDavid Carlier
2018-08-29[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov
2018-07-13[Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fixAdam Balogh
2018-05-16[analyzer] Improve the modeling of memset().Henry Wong
2018-04-06Fix typos in clangAlexander Kornienko
2018-03-31[analyzer] Hopefully fix the ARM buildbot.George Karpenkov
2018-03-31[analyzer] Fix assertion crash in CStringCheckerGeorge Karpenkov
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-08-17[analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev
2016-05-19[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than r...Anton Yartsev
2016-02-08[analyzer] Avoid crash when attempting to evaluate binary operation on LazyCo...Devin Coughlin
2013-08-19[analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose
2013-03-20[analyzer] Don't invalidate globals when there's no call involved.Jordan Rose
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks
2012-08-24Fix analyzer tests.Ted Kremenek
2012-05-16[analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose
2012-05-16[analyzer] Revert a regression committed in r156920.Anna Zaks
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose
2012-05-14[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose
2012-02-20[analyzer] Turn on by default the Malloc Checker and a couple of CStringAnna Zaks