summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/array-struct.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Drop explicit mention of range constraint solverDominic Chen2016-12-011-1/+1
* [analyzer] Fix ExprEngine::VisitMemberExprAlexander Shaposhnikov2016-09-131-0/+11
* [analyzer] Relax an assertion in VisitLvalArraySubscriptExprAnna Zaks2015-02-051-0/+16
* [analyzer] Add a test for PR13927 "offsetof replacement flagged as null deref"Jordan Rose2012-10-011-0/+8
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-1/+0
* Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek2012-08-161-1/+1
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-2/+0
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-4/+4
* [analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis2011-02-151-4/+4
* Move new test (that requires RegionStore) into its own file.Jordy Rose2010-07-291-23/+0
* Use a LazyCompoundVal to handle initialization with a string literal, rather ...Jordy Rose2010-07-291-0/+23
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-4/+4
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-4/+4
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-4/+4
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-4/+4
* Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu2009-11-091-1/+1
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-3/+3
* Implement -Wconversion. Off by default, in the non-gcc group. There'sJohn McCall2009-11-071-1/+1
* Add casts to avoid a bunch of unused expr warnings. (They aren't reported rig...Anders Carlsson2009-07-301-1/+1
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-2/+0
* Remove stale comment and fix RUN line.Ted Kremenek2009-07-211-3/+1
* Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek2009-07-101-2/+2
* Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek2009-07-061-1/+3
* Invalidate the alloca region by setting its default value to conjured symbol.Zhongxing Xu2009-06-291-0/+12
* Now this test case passes.Zhongxing Xu2009-06-281-2/+2
* Invalidate a field of struct type by setting its default value to conjured Zhongxing Xu2009-06-281-0/+11
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-1/+0
* Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See theZhongxing Xu2009-06-111-0/+10
* Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().Zhongxing Xu2009-05-201-1/+4
* Add comments to test case.Zhongxing Xu2009-05-201-0/+2
* * API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu2009-05-201-0/+1
* Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu2009-05-121-0/+10
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-3/+5
* region store: make Retrieve() can retrieve embedded array correctly. AlsoZhongxing Xu2009-05-031-0/+11
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-5/+5
* add test case.Zhongxing Xu2009-03-181-0/+15
* add test case.Zhongxing Xu2009-02-191-0/+7
* Update several tests to explicitly use BasicConstraintManager as well as to u...Ted Kremenek2009-02-171-3/+5
* Static Analyzer driver/options (partial) cleanup:Ted Kremenek2009-02-171-3/+3
* Implement retrieval of the default value of element and field regions.Zhongxing Xu2009-01-231-0/+8
* Add a test case for init expr of array and struct type.Zhongxing Xu2009-01-231-0/+1
* Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek2009-01-221-2/+3
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-2/+2
* Add KillStruct to region store. Zhongxing Xu2009-01-131-0/+1
* MemRegion:Ted Kremenek2008-12-131-1/+1
* remove a test case that causes compiler warning.Zhongxing Xu2008-11-301-1/+0
* Add test for initializing array with string literal.Zhongxing Xu2008-11-301-0/+7
* Add documentation for test.Zhongxing Xu2008-11-251-0/+10
OpenPOWER on IntegriCloud