summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/string.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] CStringChecker: Fix overly eager assumption that memcmp args overlap.Artem Dergachev2019-12-111-0/+24
* [analyzer] CStringChecker: Improve warning messages.Artem Dergachev2019-12-111-24/+24
* [analyzer] CStringChecker: Modernize to use CallDescriptions.Artem Dergachev2019-07-011-0/+6
* [analyzer][NFC] Prettify some RUN: lines in test files.Kristof Umann2019-05-231-5/+43
* [analyzer] Make default bindings to variables actually work.Artem Dergachev2019-04-181-0/+6
* [Sema] Add some compile time _FORTIFY_SOURCE diagnosticsErik Pilkington2019-03-181-2/+8
* [analyzer][CStringChecker] evaluate explicit_bzeroDavid Carlier2018-12-111-1/+55
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-5/+5
* [Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fixAdam Balogh2018-07-131-1/+24
* [analyzer] Improve the modeling of memset().Henry Wong2018-05-161-4/+289
* Fix typos in clangAlexander Kornienko2018-04-061-3/+3
* [analyzer] Hopefully fix the ARM buildbot.George Karpenkov2018-03-311-10/+0
* [analyzer] Fix assertion crash in CStringCheckerGeorge Karpenkov2018-03-311-0/+11
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-4/+4
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-4/+4
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-4/+4
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-4/+4
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-4/+4
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-4/+4
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-4/+4
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-4/+4
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-4/+4
* [analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev2016-08-171-0/+17
* [analyzer] Fix for PR23790 : constrain return value of strcmp() rather than r...Anton Yartsev2016-05-191-28/+76
* [analyzer] Avoid crash when attempting to evaluate binary operation on LazyCo...Devin Coughlin2016-02-081-0/+14
* [analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose2013-08-191-2/+4
* [analyzer] Model strsep(), particularly that it returns its input.Jordan Rose2013-04-221-0/+51
* [analyzer] Don't invalidate globals when there's no call involved.Jordan Rose2013-03-201-0/+4
* [analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks2013-03-151-17/+27
* Fix analyzer tests.Ted Kremenek2012-08-241-4/+4
* [analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose2012-05-161-31/+0
* [analyzer] Revert a regression committed in r156920.Anna Zaks2012-05-161-5/+4
* [analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-244/+139
* [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose2012-05-141-0/+22
* [analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose2012-05-031-0/+32
* [analyzer] Turn on by default the Malloc Checker and a couple of CStringAnna Zaks2012-02-201-4/+4
* [analyzer] Allow each CString check to be enabled/disabledAnna Zaks2012-02-071-4/+4
* [analyzer] Add checks for common anti-patterns in strncat.Anna Zaks2012-01-311-4/+4
* [analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks2012-01-131-0/+4
* [analyzer] Do not invalidate arguments when the parameter'sAnna Zaks2011-12-201-0/+12
* [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks2011-12-111-1/+9
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-4/+4
* [analyzer] strnlen isn't a builtin, don't test for itJordy Rose2011-06-281-8/+7
* [analyzer] Finish size argument checking for strncat (and strncpy).Jordy Rose2011-06-201-4/+61
* [analyzer] Re-enable checking for strncpy, along with a new validation of the...Jordy Rose2011-06-201-0/+99
* [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics...Jordy Rose2011-06-201-32/+32
* [analyzer] Clean up modeling of strcmp, including cases where a string litera...Jordy Rose2011-06-161-4/+29
* [analyzer] Revise CStringChecker's modelling of strcpy() and strcat():Jordy Rose2011-06-151-6/+31
* [analyzer] CStringChecker checks functions in the C standard library, not C++...Jordy Rose2011-06-141-4/+4
* [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can...Jordy Rose2011-06-141-54/+37
OpenPOWER on IntegriCloud