aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis/outofbound.c
AgeCommit message (Expand)AuthorFilesLines
2012-08-24Fix analyzer tests.Ted Kremenek1-1/+1
2012-05-11[analyzer] Add buffer overflow test case.Anna Zaks1-0/+36
2011-08-23Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek1-27/+0
2011-08-06[analyzer] add more buffer overflow tests to show we handle sizeof(VLA) in ob...Ted Kremenek1-0/+18
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek1-1/+1
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek1-1/+1
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis1-1/+1
2011-02-28[analyzer] Migrate BuiltinFunctionChecker to CheckerV2.Argyrios Kyrtzidis1-1/+1
2011-02-28[analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis1-1/+1
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis1-1/+1
2011-02-24[analyzer] Migrate ArrayBoundChecker to CheckerV2.Argyrios Kyrtzidis1-1/+1
2011-02-17Enhance the array bounds checking to work for several other constructs,Chandler Carruth1-1/+1
2010-08-16- Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose1-0/+16
2010-08-14Add a test for alloca region extents.Jordy Rose1-0/+8
2010-07-05Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un...Jordy Rose1-0/+9
2010-07-05Track extents for VLAs.Jordy Rose1-0/+8
2010-07-04Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose1-0/+5
2010-06-25When a constant size array is casted to another type, its length should be sc...Jordy Rose1-0/+6
2010-06-01Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my Zhongxing Xu1-0/+7
2010-04-01Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu1-0/+23
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek1-1/+1
2010-01-18Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu1-1/+9
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar1-1/+1
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu1-1/+1
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek1-1/+1
2009-11-11Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu1-2/+1
2009-11-03Switch XFAIL format to match LLVM.Daniel Dunbar1-1/+1
2009-08-01Temporarily disable out-of-bounds checking. The current checking logic will ...Ted Kremenek1-0/+1
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek1-1/+1
2009-03-24Rename clang to clang-cc.Daniel Dunbar1-1/+1
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek1-1/+1
2009-01-22Test more array logic in outofbound.cTed Kremenek1-1/+2
2009-01-22Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek1-1/+1
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar1-1/+1
2009-01-13This test now passes.Ted Kremenek1-1/+0
2008-12-13Temporarily XFAIL these tests.Ted Kremenek1-0/+1
2008-11-24Strings are NULL terminated. So the region size should plus one.Zhongxing Xu1-1/+1
2008-11-24Add test case for out-of-bound memory access checking.Zhongxing Xu1-0/+6
generated by cgit v1.1 at 2024-09-07 11:07:26 +0000