| Commit message (Expand) | Author | Age | Files | Lines |
* | Fixes a typo in my last patch. | Fariborz Jahanian | 2013-03-27 | 1 | -1/+1 |
* | Objective-C: Issue more precise warning when user | Fariborz Jahanian | 2013-03-27 | 1 | -1/+1 |
* | [analyzer] Rename AttrNonNullChecker -> NonNullParamChecker | Anna Zaks | 2013-03-09 | 1 | -1/+1 |
* | Fix capitalization of Objective-C in diagnostic. | Ted Kremenek | 2013-01-03 | 1 | -1/+1 |
* | Implement GCC's -Wint-to-pointer-cast. | David Blaikie | 2012-10-16 | 1 | -0/+3 |
* | Fix analyzer tests. | Ted Kremenek | 2012-08-24 | 1 | -2/+2 |
* | Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s... | Ted Kremenek | 2012-08-16 | 1 | -1/+1 |
* | [analyzer] Convert existing checkers to use check::preCall and check::postCall. | Jordan Rose | 2012-07-02 | 1 | -1/+1 |
* | Explicitly model capturing variables for blocks in the static analyzer. Fixe... | Ted Kremenek | 2012-05-04 | 1 | -0/+20 |
* | Added a new attribute, objc_root_class, which informs the compiler when a roo... | Patrick Beard | 2012-04-06 | 1 | -2/+2 |
* | Fix another false positive in RegionStore involving doing loads from symbolic... | Ted Kremenek | 2012-04-03 | 1 | -0/+16 |
* | [analyzer] Turn inlining on by default for better testing exposure. | Anna Zaks | 2012-03-01 | 1 | -1/+3 |
* | Reenable DeadStoresChecker under --analyze, and move the IdempotentOperations... | Ted Kremenek | 2012-01-20 | 1 | -2/+2 |
* | objc: deprecate direct usage of 'isa' of objc objects | Fariborz Jahanian | 2012-01-18 | 1 | -1/+1 |
* | [analyzer] rename all experimental checker packages to have 'experimental' be... | Ted Kremenek | 2011-08-03 | 1 | -2/+2 |
* | Fix regression in static analyzer's handling of prefix '--' operator. It was... | Ted Kremenek | 2011-05-20 | 1 | -0/+24 |
* | Fix RegionStore bug when doing a field load whose parent is also a field assi... | Ted Kremenek | 2011-04-03 | 1 | -0/+25 |
* | Rework checker "packages" and groups to be more hierarchical. | Ted Kremenek | 2011-03-24 | 1 | -2/+2 |
* | Tweak RegionStore's handling of lazy compound values to use the 'Default' ver... | Ted Kremenek | 2011-03-17 | 1 | -0/+20 |
* | Re-enable the IdempotentOperations checker for --analyze, and put it and the ... | Ted Kremenek | 2011-03-12 | 1 | -2/+2 |
* | static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound... | Ted Kremenek | 2011-03-08 | 1 | -0/+17 |
* | [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno... | Argyrios Kyrtzidis | 2011-02-28 | 1 | -2/+2 |
* | [analyzer] Migrate UndefResultChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -2/+2 |
* | [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h... | Argyrios Kyrtzidis | 2011-02-24 | 1 | -2/+2 |
* | Allow passing a list of comma separated checker names to -analyzer-checker, e.g: | Argyrios Kyrtzidis | 2011-02-24 | 1 | -2/+2 |
* | [analyzer] Migrate ArrayBoundChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-24 | 1 | -2/+2 |
* | [analyzer] Migrate ReturnPointerRangeChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-24 | 1 | -2/+2 |
* | [analyzer] Use the new registration mechanism on some of the experimental int... | Argyrios Kyrtzidis | 2011-02-15 | 1 | -2/+2 |
* | [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. | Argyrios Kyrtzidis | 2011-02-15 | 1 | -2/+2 |
* | Don't try and symbolicate unions; we don't reason | Ted Kremenek | 2011-01-25 | 1 | -0/+20 |
* | Fix a corner case in RegionStore where we assign | Ted Kremenek | 2011-01-13 | 1 | -0/+14 |
* | Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <... | Ted Kremenek | 2010-11-09 | 1 | -0/+14 |
* | If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr | Zhongxing Xu | 2010-10-27 | 1 | -0/+6 |
* | Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting ... | Ted Kremenek | 2010-09-14 | 1 | -0/+27 |
* | Fix CFGBuilder crash reported in PR 8141. | Ted Kremenek | 2010-09-14 | 1 | -0/+14 |
* | Clean up obtuse wording of checker diagnostic of using an uninitialized value... | Ted Kremenek | 2010-09-09 | 1 | -2/+2 |
* | Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). | Ted Kremenek | 2010-09-09 | 1 | -4/+6 |
* | Tweak test case. 'int' would introduce out-of-bound issues. We focus on array | Zhongxing Xu | 2010-09-02 | 1 | -1/+1 |
* | Add yet another test case for PR 8015, showing how reasoning over symbolic in... | Ted Kremenek | 2010-09-01 | 1 | -0/+15 |
* | Add another test case for PR 8015, here with the array index being within a v... | Ted Kremenek | 2010-09-01 | 1 | -0/+9 |
* | Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test ca... | Ted Kremenek | 2010-09-01 | 1 | -0/+26 |
* | Don't assert in the analyzer when analyze code does a byte load from a functi... | Ted Kremenek | 2010-09-01 | 1 | -0/+24 |
* | Adjusted the semantics of assign checking in IdempotentOperationChecker | Tom Care | 2010-08-30 | 1 | -1/+1 |
* | Enabled relaxed LiveVariables analysis in the path-sensitive engine to increa... | Tom Care | 2010-08-27 | 1 | -2/+2 |
* | Add test case for <rdar://problem/8258814>. | Ted Kremenek | 2010-08-02 | 1 | -0/+9 |
* | Augment RegionStore::BindStruct() to bind symbolicated struct values. This f... | Ted Kremenek | 2010-07-29 | 1 | -0/+16 |
* | Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe... | Ted Kremenek | 2010-06-22 | 1 | -0/+8 |
* | Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo... | Ted Kremenek | 2010-05-27 | 1 | -0/+19 |
* | Static analyzer: Don't crash when casting a symbolic region address to a floa... | Ted Kremenek | 2010-04-16 | 1 | -0/+10 |
* | Fix PR 6844, a regression caused by the introduction of llvm_unreachable for ... | Ted Kremenek | 2010-04-15 | 1 | -0/+10 |