aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer
AgeCommit message (Expand)Author
2012-08-16Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<Source...Ted Kremenek
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-08-15[analyzer] Doxygen comments in ObjCMethodCall.Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose
2012-08-14Changing an enumeration to a const int to fix MSVC compiler warnings.Aaron Ballman
2012-08-14Do NOT use inline functions with LLVM_ATTRIBUTE_USED.Benjamin Kramer
2012-08-14[analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.Anna Zaks
2012-08-13[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-10[analyzer] Remove unused StoreManager::CastResult class.Jordan Rose
2012-08-10[analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks
2012-08-10[analyzer] Optimize dynamic dispatch bifurcation by detecting the casesAnna Zaks
2012-08-09[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose
2012-08-09[analyzer] Devirtualize StoreManager::evalDerivedToBase(SVal, CastExpr)Jordan Rose
2012-08-09[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose
2012-08-09[analyzer] Rename the function to better reflect what it actually does.Anna Zaks
2012-08-09[analyzer] Improve readability of the dyn. dispatch bifurcation patchAnna Zaks
2012-08-09Unbreak the build.Anna Zaks
2012-08-09[analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks
2012-08-08[analyzer] Clean up the printing of FieldRegions for leaks.Jordan Rose
2012-08-08[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose
2012-08-06[analyzer] Add a checker to manage dynamic type propagation.Anna Zaks
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-03[analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose
2012-08-03[analyzer] Track null/uninitialized C++ objects used in method calls.Jordan Rose
2012-08-03[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks
2012-07-31[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.Jordan Rose
2012-07-31[analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose
2012-07-30[analyzer] Perform post-call checks for all inlined calls.Jordan Rose
2012-07-30[analyzer] Very simple ObjC instance method inliningAnna Zaks
2012-07-30[analyzer] Add -analyzer-ipa=dynamic option for inlining dynamicallyAnna Zaks
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-30[analyzer] Remove declaration of refactored evalObjCMessage method.Jordan Rose
2012-07-30[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.Jordan Rose
2012-07-27[analyzer] Address Jordan's and Fariborz's review of r160768.Anna Zaks
2012-07-26[analyzer] CallEvent is no longer a value object.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.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 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-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-19Silence GCC warnings.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