summaryrefslogtreecommitdiffstats
path: root/test/Analysis/outofbound.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] Individual configuration options can be specified for checkers.Gabor Horvath2015-03-041-1/+1
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] Add buffer overflow test case.Anna Zaks2012-05-111-0/+36
* Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek2011-08-231-27/+0
* [analyzer] add more buffer overflow tests to show we handle sizeof(VLA) in ob...Ted Kremenek2011-08-061-0/+18
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* 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 BuiltinFunctionChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-1/+1
* [analyzer] Migrate ArrayBoundChecker to CheckerV2.Argyrios Kyrtzidis2011-02-241-1/+1
* Enhance the array bounds checking to work for several other constructs,Chandler Carruth2011-02-171-1/+1
* - Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose2010-08-161-0/+16
* Add a test for alloca region extents.Jordy Rose2010-08-141-0/+8
* Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un...Jordy Rose2010-07-051-0/+9
* Track extents for VLAs.Jordy Rose2010-07-051-0/+8
* Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose2010-07-041-0/+5
* When a constant size array is casted to another type, its length should be sc...Jordy Rose2010-06-251-0/+6
* Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my Zhongxing Xu2010-06-011-0/+7
* Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu2010-04-011-0/+23
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-1/+1
* Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu2010-01-181-1/+9
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-1/+1
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-1/+1
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-1/+1
* Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu2009-11-111-2/+1
* Switch XFAIL format to match LLVM.Daniel Dunbar2009-11-031-1/+1
* Temporarily disable out-of-bounds checking. The current checking logic will ...Ted Kremenek2009-08-011-0/+1
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-1/+1
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-1/+1
* Static Analyzer driver/options (partial) cleanup:Ted Kremenek2009-02-171-1/+1
* Test more array logic in outofbound.cTed Kremenek2009-01-221-1/+2
* Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek2009-01-221-1/+1
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-1/+1
* This test now passes.Ted Kremenek2009-01-131-1/+0
* Temporarily XFAIL these tests.Ted Kremenek2008-12-131-0/+1
* Strings are NULL terminated. So the region size should plus one.Zhongxing Xu2008-11-241-1/+1
* Add test case for out-of-bound memory access checking.Zhongxing Xu2008-11-241-0/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-18 04:02:05 +0000