aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/array-struct.c
AgeCommit message (Expand)Author
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-09Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu
2009-11-08Eliminate &&s in tests.Daniel Dunbar
2009-11-07Implement -Wconversion. Off by default, in the non-gcc group. There'sJohn McCall
2009-07-30Add casts to avoid a bunch of unused expr warnings. (They aren't reported rig...Anders Carlsson
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-21Remove stale comment and fix RUN line.Ted Kremenek
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-06-29Invalidate the alloca region by setting its default value to conjured symbol.Zhongxing Xu
2009-06-28Now this test case passes.Zhongxing Xu
2009-06-28Invalidate a field of struct type by setting its default value to conjured Zhongxing Xu
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-11Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See theZhongxing Xu
2009-05-20Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().Zhongxing Xu
2009-05-20Add comments to test case.Zhongxing Xu
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek
2009-05-03region store: make Retrieve() can retrieve embedded array correctly. AlsoZhongxing Xu
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-03-18add test case.Zhongxing Xu
2009-02-19add test case.Zhongxing Xu
2009-02-17Update several tests to explicitly use BasicConstraintManager as well as to u...Ted Kremenek
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek
2009-01-23Implement retrieval of the default value of element and field regions.Zhongxing Xu
2009-01-23Add a test case for init expr of array and struct type.Zhongxing Xu
2009-01-22Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2009-01-13Add KillStruct to region store. Zhongxing Xu
2008-12-13MemRegion:Ted Kremenek
2008-11-30remove a test case that causes compiler warning.Zhongxing Xu
2008-11-30Add test for initializing array with string literal.Zhongxing Xu
2008-11-25Add documentation for test.Zhongxing Xu
2008-11-24Add no-warning to test case.Zhongxing Xu
2008-11-23Improve test case.Zhongxing Xu
2008-11-18Add test cast for struct array.Zhongxing Xu
2008-11-16Re-enable array-struct test.Zhongxing Xu
2008-11-13- Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek
2008-11-13Add test for unsigned array index.Zhongxing Xu
2008-11-13Add test for incomplete struct pointer.Zhongxing Xu
2008-11-13Add a test case for alloca().Zhongxing Xu
2008-11-07Append the test runs with '&&'.Argyrios Kyrtzidis
2008-11-02Add function side-effect test cast.Zhongxing Xu
2008-10-31Add test code for array initialization.Zhongxing Xu
2008-10-27Add test for SCA region store.Zhongxing Xu
2008-10-25Add StringLiteral test code.Zhongxing Xu
2008-10-24Add random array and struct test code for SCA.Zhongxing Xu
2008-10-17Add test case for array and struct variable lvalue evaluation.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 14:07:11 +0000