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