Age | Commit message (Expand) | Author |
2011-02-17 | Change the representation of GNU ?: expressions to use a different expression | John McCall |
2011-02-16 | Add trivial buffer overflow checking in Sema. | Ted Kremenek |
2011-02-16 | [analyzer] Use the new registration mechanism on the apple checkers: | 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-02-15 | [analyzer] Use the new registration mechanism on some of the experimental che... | Argyrios Kyrtzidis |
2011-02-15 | [analyzer] Use the new registration mechanism on some of the internal checks.... | Argyrios Kyrtzidis |
2011-02-14 | [analyzer] Overhauling of the checker registration mechanism. | Argyrios Kyrtzidis |
2011-02-14 | Fix edge case where we don't cull warnings in IdempotentOperationsChecker due... | Ted Kremenek |
2011-02-14 | Handle 'UsingDirective' in CFGRecStmtDeclVisitor. | Ted Kremenek |
2011-02-12 | Teach the IdempotentOperations checker to ignore property setters. | Ted Kremenek |
2011-02-12 | Weaken the ObjCSelfInitChecker to only warn when one calls an 'init' method w... | Ted Kremenek |
2011-02-12 | Add test case for <rdar://problem/6888289>. | Ted Kremenek |
2011-02-12 | static analyzer: Also invalidate instance variables of a receiver in a messag... | Ted Kremenek |
2011-02-12 | Don't emit a dead store for '++' operations unless it occurs with a return st... | Ted Kremenek |
2011-02-11 | Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84... | Ted Kremenek |
2011-02-11 | Add test case for PR 8646. | Ted Kremenek |
2011-02-08 | analyzer, retain/release checker: Remove hack where objects passed in message... | Ted Kremenek |
2011-02-05 | [analyzer] Fix a false positive of the 'self' initialization checker. | Argyrios Kyrtzidis |
2011-02-03 | [analyzer] Fix a crash until we can handle temporary struct objects properly. | Argyrios Kyrtzidis |
2011-02-01 | Add test case for dead stores checker to not flag dead assignments to 'self' ... | Ted Kremenek |
2011-02-01 | Warn for "if ((a == b))" where the equality expression is needlessly wrapped ... | Argyrios Kyrtzidis |
2011-01-27 | Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's O... | Ted Kremenek |
2011-01-27 | [analyzer] Fix crash when handling dot syntax on 'super'. | Argyrios Kyrtzidis |
2011-01-27 | Hook up attribute ns_consumes_self in the ObjC retain/release checker in the ... | Ted Kremenek |
2011-01-26 | [analyzer] Enable the self-init checker under command-line option '-analyzer-... | Argyrios Kyrtzidis |
2011-01-26 | [analyzer] Improve the diagnostic for the self-init checker. Suggestion by Ted! | Argyrios Kyrtzidis |
2011-01-25 | [analyzer] Do the self-init check only on NSObject subclasses. Patch by Jean-... | Argyrios Kyrtzidis |
2011-01-25 | Don't try and symbolicate unions; we don't reason | Ted Kremenek |
2011-01-25 | Tweak wording of static analyzer diagnostic | Ted Kremenek |
2011-01-25 | Change the wording of the bad-decl-for-attribute warning and error | John McCall |
2011-01-25 | Add the ns_consumes_self, ns_consumed, cf_consumed, and ns_returns_autoreleased | John McCall |
2011-01-25 | [analyzer] Handle the dot syntax for properties in the ExprEngine. | Argyrios Kyrtzidis |
2011-01-20 | Enhance AnalysisConsumer to also visit functions | Ted Kremenek |
2011-01-14 | Teach RegionStore::EnterStackFrame() to handle | Ted Kremenek |
2011-01-13 | Remove warning in dead stores checker for | Ted Kremenek |
2011-01-13 | CXXBaseObjectRegion is like FieldRegion. Need to blast through it when | Zhongxing Xu |
2011-01-13 | Support inlining base initializers. We still haven't got it completely right, | Zhongxing Xu |
2011-01-13 | Fix a corner case in RegionStore where we assign | Ted Kremenek |
2011-01-11 | [analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods... | Argyrios Kyrtzidis |
2011-01-11 | Rework ExprEngine::processCFGBlockEntrance() | Ted Kremenek |
2011-01-10 | In C++, assignment and compound assignment operators return an lvalue. | Zhongxing Xu |
2011-01-04 | Fold -fobjc-nonfragile-abi2 into -fobjc-nonfragile-abi. | Fariborz Jahanian |
2010-12-24 | Add basic support for pointer arithmetic in | Ted Kremenek |
2010-12-23 | It's amazing what you find when you actually | Ted Kremenek |
2010-12-23 | Add WIP prototype of a new buffer overflow | Ted Kremenek |
2010-12-22 | If the unary operator is prefix and an lvalue (in C++), bind | Zhongxing Xu |
2010-12-22 | After inlining the CXXConstructExpr, bind the temporary object region to it. | Zhongxing Xu |
2010-12-19 | If the initializer is an rvalue and the variable is a const reference, | Zhongxing Xu |
2010-12-17 | Fix assertion failure in cocoa::deriveNamingConvention() | Ted Kremenek |