| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [analyzer] Place all inlining policy checks into one palce | Anna Zaks | 2013-02-22 | 1 | -0/+1 |
| * | [analyzer] Always inline functions with bodies generated by BodyFarm. | Anna Zaks | 2013-02-02 | 1 | -0/+24 |
| * | Remove OSAtomicChecker. | Ted Kremenek | 2012-10-11 | 1 | -2/+2 |
| * | Fix analyzer tests. | Ted Kremenek | 2012-08-24 | 1 | -2/+2 |
| * | Remove BasicConstraintManager. It hasn't been in active service for a while. | Ted Kremenek | 2012-08-22 | 1 | -2/+0 |
| * | Added a new attribute, objc_root_class, which informs the compiler when a roo... | Patrick Beard | 2012-04-06 | 1 | -4/+4 |
| * | Modify how the -verify flag works. Currently, the verification string and | Richard Trieu | 2011-12-15 | 1 | -7/+7 |
| * | [analyzer] Move the knowledge of whether or not GC is enabled for the current... | Jordy Rose | 2011-09-02 | 1 | -4/+4 |
| * | [analyzer] rename all experimental checker packages to have 'experimental' be... | Ted Kremenek | 2011-08-03 | 1 | -4/+4 |
| * | Really remove FlatStoreManager and BasicStoreManager, this time from the driv... | Ted Kremenek | 2011-07-28 | 1 | -5/+0 |
| * | Rework checker "packages" and groups to be more hierarchical. | Ted Kremenek | 2011-03-24 | 1 | -8/+8 |
| * | Make the Objective-C checker look for subclasses of NSString instead of just ... | Anders Carlsson | 2011-03-08 | 1 | -0/+7 |
| * | [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno... | Argyrios Kyrtzidis | 2011-02-28 | 1 | -8/+8 |
| * | [analyzer] Migrate OSAtomicChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -8/+8 |
| * | [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h... | Argyrios Kyrtzidis | 2011-02-24 | 1 | -8/+8 |
| * | [analyzer] Use the new registration mechanism on the apple checkers: | Argyrios Kyrtzidis | 2011-02-16 | 1 | -8/+8 |
| * | Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. | Ted Kremenek | 2010-02-05 | 1 | -8/+8 |
| * | Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. | Zhongxing Xu | 2010-01-11 | 1 | -0/+8 |
| * | Enhance SVals::getAsRegion: get the region that is converted to an integer. | Zhongxing Xu | 2010-01-11 | 1 | -0/+8 |
| * | Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. | Daniel Dunbar | 2009-12-15 | 1 | -8/+8 |
| * | Replace clang-cc with clang -cc1. | Zhongxing Xu | 2009-12-14 | 1 | -8/+8 |
| * | Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We... | Ted Kremenek | 2009-12-09 | 1 | -4/+20 |
| * | OSAtomic simulation: use the original region as the location to load from, | Zhongxing Xu | 2009-12-09 | 1 | -2/+2 |
| * | Handle case of missing '@end' in implementation context | Fariborz Jahanian | 2009-11-16 | 1 | -2/+1 |
| * | Add clang-cc option "--analyzer-experimental-internal-checks". This | Ted Kremenek | 2009-11-13 | 1 | -8/+8 |
| * | Eliminate &&s in tests. | Daniel Dunbar | 2009-11-08 | 1 | -3/+3 |
| * | Per an astute observation from Zhongxing Xu, remove a "special case" logic in | Ted Kremenek | 2009-10-15 | 1 | -10/+45 |
| * | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -2/+0 |
| * | Add another analyzer test case involving an OSAtomic function. | Ted Kremenek | 2009-07-29 | 1 | -0/+6 |
| * | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 |
| * | This test now passes with RegionStore. | Ted Kremenek | 2009-07-20 | 1 | -5/+3 |
| * | Switch BasicStoreManager to use the new CastRegion implementation by default, | Ted Kremenek | 2009-07-10 | 1 | -2/+2 |
| * | Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi... | Ted Kremenek | 2009-07-06 | 1 | -1/+3 |
| * | Remove the -arch option from clang-cc: for all practical purposes, it's | Eli Friedman | 2009-05-19 | 1 | -4/+4 |
| * | Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added a... | Ted Kremenek | 2009-05-13 | 1 | -3/+28 |
| * | Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] auto... | Ted Kremenek | 2009-05-11 | 1 | -0/+12 |
| * | Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or ... | Ted Kremenek | 2009-05-03 | 1 | -1/+18 |
| * | Add CFG support for @synchronized. This fixes <rdar://problem/6848820>. | Ted Kremenek | 2009-05-02 | 1 | -0/+8 |
| * | Add function prototype for OSAtomicCompareAndSwap32Barrier. | Ted Kremenek | 2009-05-01 | 1 | -0/+1 |
| * | Add test case for transfer function logic for OSCompareAndSwap32Barrier. | Ted Kremenek | 2009-04-29 | 1 | -4/+14 |
| * | Further cleanups to isTrackedObjectType(). | Ted Kremenek | 2009-04-23 | 1 | -0/+9 |
| * | retain/release checker: Don't call isTrackedObject() with the canonical type. | Ted Kremenek | 2009-04-23 | 1 | -1/+1 |
| * | Temporarily remove expected warnings. | Ted Kremenek | 2009-04-23 | 1 | -1/+1 |
| * | Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly | Ted Kremenek | 2009-04-23 | 1 | -0/+8 |
| * | Added over-release test case. | Ted Kremenek | 2009-04-21 | 1 | -1/+8 |
| * | Add analyzer support for objc_atomicCompareAndSwap() | Ted Kremenek | 2009-04-11 | 1 | -1/+11 |
| * | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek | 2009-04-11 | 1 | -3/+17 |
| * | Rename clang to clang-cc. | Daniel Dunbar | 2009-03-24 | 1 | -4/+4 |
| * | Update several tests to explicitly use BasicConstraintManager as well as to u... | Ted Kremenek | 2009-02-17 | 1 | -2/+3 |
| * | Static Analyzer driver/options (partial) cleanup: | Ted Kremenek | 2009-02-17 | 1 | -2/+3 |
