aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h
AgeCommit message (Expand)Author
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose
2012-07-02[analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose
2012-06-25[analyzer] Be careful about implicitly-declared operator new/delete. (PR13090)Jordan Rose
2012-06-02[analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks
2012-05-03[analyzer] Allow pointers escape through calls containing callback args.Anna Zaks
2012-04-06[analyzer]Fix false positive: pointer might escape through CG*WithData.Anna Zaks
2012-03-09[AST/etc] Mark {getSourceRange(),getStartLoc(),getEndLoc()} as LLVM_READONLY.Daniel Dunbar
2012-02-29[analyzer] Malloc: A pointer might escape through CFContainers APIs,Anna Zaks
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-20[analyzer] Do not invalidate arguments when the parameter'sAnna Zaks
2011-09-19[analyzer] Add a convinience method.Anna Zaks
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-08-22[analyzer] Migrate the handling of retain-count-related RetEffects and ArgEff...Jordy Rose
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.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-02Move some of the logic about classifying Objective-C methods intoJohn McCall
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek