aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
AgeCommit message (Expand)Author
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-03-20[analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose
2013-03-07[analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-01-16[analyzer] Refactor: parameter rename.Anna Zaks
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-06[analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-10-13[analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-09-25Remove 'const' version of getBasicVals(), which is useless.Ted Kremenek
2012-09-18Mark unimplemented copy constructors and copy assignment operators with LLVM_...Craig Topper
2012-09-09Remove dead method ProgramState::MarshalState().Ted Kremenek
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-08-24[analyzer] More fixups/rewording based on Jordan's feedback.Anna Zaks
2012-08-24[analyzer] Move DynamicTypeInfo out of the ProgramState.hAnna Zaks
2012-08-22[analyzer] Add more comments to CallEvent and RuntimeDefinition.Anna Zaks
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-22Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek
2012-08-15[analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose
2012-08-10[analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks
2012-08-09[analyzer] Rename the function to better reflect what it actually does.Anna Zaks
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] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks
2012-07-30[analyzer] Very simple ObjC instance method inliningAnna Zaks
2012-07-30[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.Jordan Rose
2012-07-10[analyzer] Use CallEvent for building inlined stack frames.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-20[analyzer] Remove dead code.Anna Zaks
2012-05-19[analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks
2012-04-10[analyzer] + commentsAnna Zaks
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-01-31Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis
2012-01-31Revert r149311 which failed to compile.Argyrios Kyrtzidis
2012-01-31Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek
2012-01-30[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-20[analyzer] Skip casts when determining taint dependencies + prettyAnna Zaks
2012-01-12[analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek
2012-01-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
2012-01-07[analyzer] Add basic format string vulnerability checking.Anna Zaks