- c505d4f Add test cases for PR 3820. by Ted Kremenek · 16 years ago
- 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
- ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
- c57bc59 add test case. by Zhongxing Xu · 16 years ago
- 8be2a67 Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed by Ted Kremenek · 16 years ago
- 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
- 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
- e6fbdf5 Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegion::getLValueType() was not implemented). by Ted Kremenek · 16 years ago
- 50f4f46 Add Diagnostic files for Frontend and move a couple errors over. by Daniel Dunbar · 16 years ago
- e8cba00 Add comments to test case. by Zhongxing Xu · 16 years ago
- 344d4c8 Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would by Ted Kremenek · 16 years ago
- 3c4b379 This test case checks if we get the right rvalue type of a TypedViewRegion. by Zhongxing Xu · 16 years ago
- 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
- fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
- 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
- 25d01ba retain/release checker: Allow allocations to fail by returning nil. by Ted Kremenek · 16 years ago
- cd57fce Add test case for <rdar://problem/6659160>. by Ted Kremenek · 16 years ago
- 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
- c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
- 9f45d28 Update test case: objects stored to self.ivar are not tracked. by Ted Kremenek · 16 years ago
- f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
- f27893a Test case: When using RegionStore with the retain/release checker, stop tracking objects assigned to self's ivar. by Ted Kremenek · 16 years ago
- aad45e0 Add test case for RegionStore's tracking of the ivars of 'self'. by Ted Kremenek · 16 years ago
- efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
- 3aa7ecd For now, do not track NSWindow objects and it's subclasses. by Ted Kremenek · 16 years ago
- d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
- 1f7de66 This test now passes using RegionStore. by Ted Kremenek · 16 years ago
- e184b1e Add test case for pointer arithmetic. by Zhongxing Xu · 16 years ago
- ed8a93d Fix PR3509 by providing correct starting locations for initializer lists by Douglas Gregor · 16 years ago
- 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
- 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
- 89e202d retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives). by Ted Kremenek · 16 years ago
- f0dff4c More retain/release naming convention tests. by Ted Kremenek · 16 years ago
- d3d4f57 Add test case for PR 2599. by Ted Kremenek · 16 years ago
- b80976c Improved naming convention heuristics in the retain/release checker to better by Ted Kremenek · 16 years ago
- 0bdf178 Add test case for <rdar://problem/6562655>. by Ted Kremenek · 16 years ago
- 79f7f8a Update test case to include a leak that occurs at the place of allocation. by Ted Kremenek · 16 years ago
- 3450a55 add test case. by Zhongxing Xu · 16 years ago
- 98f1e1c Add test case for 'nil receiver returns undefined struct value' check. by Ted Kremenek · 16 years ago
- b2b14d7 Add a few more GC-only test cases for the retain/release checker. by Ted Kremenek · 16 years ago
- e1d77c3 Fix test: config.h is not guaranteed to exist at the location in by Eli Friedman · 16 years ago
- 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
- 4b2d0dd Eliminate dependency on where test is run from. by Daniel Dunbar · 16 years ago
- 16de4c7 Convert tabs to spaces. by Ted Kremenek · 16 years ago
- 3092dd6 Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. by Ted Kremenek · 16 years ago
- 61a3778 Don't include alloca.h if it doesn't exist. by Ben Laurie · 16 years ago
- be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
- 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
- a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
- a316e7b Extend builtin "attribute" syntax to include a notation for by Douglas Gregor · 16 years ago
- 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
- dd06e09 Add test case illustrating special handling of 'SenTestCase' subclasses for the missing -dealloc check. by Ted Kremenek · 16 years ago
- 7a10181 This test now passes. by Ted Kremenek · 16 years ago
- 183c6f2 Add another test case for the MissingDealloc checker. by Ted Kremenek · 16 years ago
- d3098ee Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable. by Ted Kremenek · 16 years ago
- ddf7e99 Make the test cases failing due to exact diagnostic matching XFAIL. by Sebastian Redl · 16 years ago
- 043254a Update test case. by Ted Kremenek · 16 years ago
- bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
- a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
- a92206e Add 'AppendValue' to the list of magic CF function names that cause a tracked object to escape. Fixes <rdar://problem/6560661>. by Ted Kremenek · 16 years ago
- cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
- bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 16 years ago
- 2612903 fix RUN line by Nuno Lopes · 16 years ago
- 282f753 enable test as it works by Nuno Lopes · 16 years ago
- 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
- 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 16 years ago
- abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 16 years ago
- a7ecc37 Add autorelease test case. by Ted Kremenek · 16 years ago
- 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
- d76d47e Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. by Ted Kremenek · 16 years ago
- 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
- 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago
- 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
- b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
- 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
- 6fd8f91 Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. by Ted Kremenek · 16 years ago
- 872e25c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 31c2c20 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 16aaf4c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- b78284a This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
- 2758482 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- f1456aa This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 04b1de1 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 62bca24 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
- f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 16 years ago
- a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
- f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
- 2dabd42 The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). by Ted Kremenek · 16 years ago
- bb6c8fd This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
- b87f66c This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
- 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
- d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
- d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
- 7f5fce7 Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression. by Ted Kremenek · 16 years ago
- 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
- 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
- 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago