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