summaryrefslogtreecommitdiff
path: root/test/Analysis/no-outofbounds.c
AgeCommit message (Expand)Author
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2014-02-18[analyzer] Teach CastSizeChecker about flexible array members.Jordan Rose
2012-08-24Fix analyzer tests.Ted Kremenek
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...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 MallocChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
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-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
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-08Eliminate &&s in tests.Daniel Dunbar
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-10Rename test file.Ted Kremenek
2009-05-04Rename no-outofbounds.c to xfail-no-outofbounds.c and split off thatTed Kremenek
2009-05-04array indexes are unsigned integers of the same width as pointer.Zhongxing Xu
2009-05-04BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-12 13:09:03 +0000