summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/out-of-bounds.c
Commit message (Expand)AuthorAgeFilesLines
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Correctly add assumptions based on array bounds.Gabor Horvath2016-08-221-9/+17
* [analyzer] Accept references to variables declared "extern void" (C only).Jordan Rose2013-05-291-0/+12
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-2/+4
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-4/+2
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-281-2/+1
* ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index...Ted Kremenek2011-04-121-0/+9
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-1/+1
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2.Argyrios Kyrtzidis2011-02-281-1/+1
* Add trivial buffer overflow checking in Sema.Ted Kremenek2011-02-161-1/+1
* Add basic support for pointer arithmetic inTed Kremenek2010-12-241-7/+3
* It's amazing what you find when you actuallyTed Kremenek2010-12-231-7/+27
* Add WIP prototype of a new buffer overflowTed Kremenek2010-12-231-0/+132
OpenPOWER on IntegriCloud