aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-08-28[analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose
2012-08-25[analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose
2012-08-25[ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.Chad Rosier
2012-08-24[analyzer] More fixups/rewording based on Jordan's feedback.Anna Zaks
2012-08-24Rework how PathDiagnosticConsumers pass knowledge of what files theyTed Kremenek
2012-08-24[analyzer] Address Jordan's review comments.Anna Zaks
2012-08-24[analyzer] Move DynamicTypeInfo out of the ProgramState.hAnna Zaks
2012-08-24[analyzer] Make analyzer less aggressive when dealing with [self init].Anna Zaks
2012-08-23Fix a bunch of -Wdocumentation warnings.Dmitri Gribenko
2012-08-22Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek
2012-08-22[analyzer] Add more comments to CallEvent and RuntimeDefinition.Anna Zaks
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-22Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek
2012-08-20[analyzer] Add comments to ExplodedNode::NodeGroup.Jordan Rose
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-08-18[analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.Jordan Rose
2012-08-17[analyzer] Make BlockDataRegions typed, so that they have DynamicTypeInfo.Jordan Rose
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-12 01:44:37 +0000