aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Don't crash on implicit statements inside initializers.Jordan Rose
2012-07-26[analyzer] Don't crash on array constructors and destructors.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.Jordan Rose
2012-07-26[analyzer] Use the CFG to see if a constructor is for a local variable.Jordan Rose
2012-07-26[analyzer] Handle base class initializers and destructors.Jordan Rose
2012-07-26[analyzer] Show paths for destructor calls.Jordan Rose
2012-07-26[analyzer] Inline ctors + dtors when the CFG is built for them.Jordan Rose
2012-07-26[analyzer] PostImplicitCall can also occur between CFGElements.Jordan Rose
2012-07-26[analyzer] Inline ObjC class methods.Anna Zaks
2012-07-25Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek
2012-07-25Remove ExprEngine::MarkBranch(), as it is no longer needed.Ted Kremenek
2012-07-25Update ExprEngine's handling of ternary operators to find the ternary expressionTed Kremenek
2012-07-23Fix a typo (the the => the)Sylvestre Ledru
2012-07-20Remove unused private member variable uncovered by the recent changes to clan...Benjamin Kramer
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-19Silence another GCC warning.Richard Smith
2012-07-18[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.Jordan Rose
2012-07-18[analyzer] Rename addExtraInvalidatedRegions to get...RegionsJordan Rose
2012-07-18[analyzer] Make CallEvent a value object.Jordan Rose
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
2012-07-18[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.Jordan Rose
2012-07-18Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling refe...Ted Kremenek
2012-07-17[analyzer] Remove stale result type lvalue code.Jordan Rose
2012-07-16[analyzer] Handle new-expressions with initializers for scalars.Jordan Rose
2012-07-16Prevent unused-variable warning in optimized builds.Daniel Jasper
2012-07-14Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek
2012-07-12[analyzer] Don't inline virtual calls unless we can devirtualize properly.Jordan Rose
2012-07-10[analyzer] Add debug.DumpCalls, which prints out any CallEvents it sees.Jordan Rose
2012-07-10[analyzer] Construct stack variables directly in their VarDecl.Jordan Rose
2012-07-10[analyzer] Use CallEvent for building inlined stack frames.Jordan Rose
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-07-10[analyzer] Add a CXXDestructorCall CallEvent.Jordan Rose
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose
2012-07-09[analyzer] When inlining, make sure we use the definition decl.Jordan Rose
2012-07-06[analyzer] Be careful about LazyCompoundVals, which may be for the first field.Jordan Rose
2012-07-06Implement AST classes for comments, a real parser for Doxygen comments and aDmitri Gribenko
2012-07-04Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer
2012-07-03[analyzer] For now, don't inline non-static member overloaded operators.Jordan Rose
2012-07-02[analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation.Jordan Rose
2012-07-02Revert "Remove unused member (& consequently unused parameter) in SA's Call c...Jordan Rose
2012-07-02Remove unused member (& consequently unused parameter) in SA's Call code.David Blaikie
2012-07-02Bail out the LiveVariables analysis when the CFG is very large, asTed Kremenek
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose
2012-07-02[analyzer] Convert CXXConstructExpr over to use CallEvent for evaluation.Jordan Rose
2012-07-02[analyzer] Use CallEvent for inlining and call default-evaluation.Jordan Rose
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-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose