aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis
AgeCommit message (Expand)Author
2011-02-17Change the representation of GNU ?: expressions to use a different expressionJohn McCall
2011-02-16Add 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-14Fix edge case where we don't cull warnings in IdempotentOperationsChecker due...Ted Kremenek
2011-02-14Handle 'UsingDirective' in CFGRecStmtDeclVisitor.Ted Kremenek
2011-02-12Teach the IdempotentOperations checker to ignore property setters.Ted Kremenek
2011-02-12Weaken the ObjCSelfInitChecker to only warn when one calls an 'init' method w...Ted Kremenek
2011-02-12Add test case for <rdar://problem/6888289>.Ted Kremenek
2011-02-12static analyzer: Also invalidate instance variables of a receiver in a messag...Ted Kremenek
2011-02-12Don't emit a dead store for '++' operations unless it occurs with a return st...Ted Kremenek
2011-02-11Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84...Ted Kremenek
2011-02-11Add test case for PR 8646.Ted Kremenek
2011-02-08analyzer, 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-01Add test case for dead stores checker to not flag dead assignments to 'self' ...Ted Kremenek
2011-02-01Warn for "if ((a == b))" where the equality expression is needlessly wrapped ...Argyrios Kyrtzidis
2011-01-27Wire 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-27Hook 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-25Don't try and symbolicate unions; we don't reasonTed Kremenek
2011-01-25Tweak wording of static analyzer diagnosticTed Kremenek
2011-01-25Change the wording of the bad-decl-for-attribute warning and errorJohn McCall
2011-01-25Add the ns_consumes_self, ns_consumed, cf_consumed, and ns_returns_autoreleasedJohn McCall
2011-01-25[analyzer] Handle the dot syntax for properties in the ExprEngine.Argyrios Kyrtzidis
2011-01-20Enhance AnalysisConsumer to also visit functionsTed Kremenek
2011-01-14Teach RegionStore::EnterStackFrame() to handleTed Kremenek
2011-01-13Remove warning in dead stores checker forTed Kremenek
2011-01-13CXXBaseObjectRegion is like FieldRegion. Need to blast through it whenZhongxing Xu
2011-01-13Support inlining base initializers. We still haven't got it completely right,Zhongxing Xu
2011-01-13Fix a corner case in RegionStore where we assignTed Kremenek
2011-01-11[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods...Argyrios Kyrtzidis
2011-01-11Rework ExprEngine::processCFGBlockEntrance()Ted Kremenek
2011-01-10In C++, assignment and compound assignment operators return an lvalue.Zhongxing Xu
2011-01-04Fold -fobjc-nonfragile-abi2 into -fobjc-nonfragile-abi.Fariborz Jahanian
2010-12-24Add basic support for pointer arithmetic inTed Kremenek
2010-12-23It's amazing what you find when you actuallyTed Kremenek
2010-12-23Add WIP prototype of a new buffer overflowTed Kremenek
2010-12-22If the unary operator is prefix and an lvalue (in C++), bindZhongxing Xu
2010-12-22After inlining the CXXConstructExpr, bind the temporary object region to it.Zhongxing Xu
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu
2010-12-17Fix assertion failure in cocoa::deriveNamingConvention()Ted Kremenek