aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ObjCMessage.cpp
AgeCommit message (Expand)Author
2012-05-09[analyzer] Allow pointers to escape through selector callbacks.Anna Zaks
2012-05-04[analyzer]Fixup r156134: Handle the case when FunctionDecl isn't avail.Anna Zaks
2012-05-03[analyzer] Assume pointer escapes when a callback is passed insideAnna Zaks
2012-05-03[analyzer] Allow pointers escape through calls containing callback args.Anna Zaks
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-20[analyzer] Do not invalidate arguments when the parameter'sAnna Zaks
2011-10-06[static analyzer] Fix crash in LiveVariables and Environment::getSVal() when ...Ted Kremenek
2011-08-28[analyzer] Migrate argument invalidation from CFRefCount to ExprEngine.Jordy Rose
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-07-28[analyzer] Fix bug in ObjCMessage where casts were being incorrectly ignored.Ted Kremenek
2011-05-25static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek
2011-04-11C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek
2011-03-30Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek
2011-03-02Move some of the logic about classifying Objective-C methods intoJohn McCall
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis