aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
AgeCommit message (Expand)Author
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-20[analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks
2013-04-15[analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks
2013-04-15[analyzer] Address code review for r179395Anna Zaks
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-03-05Silence a number of static analyzer warnings with assertions and such.Jordan Rose
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2012-12-06Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek
2012-12-06Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks
2012-09-13[analyzer] Don't reimplement an existing function.Anna Zaks
2012-09-12[analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks
2012-08-17[analyzer] Make BlockDataRegions typed, so that they have DynamicTypeInfo.Jordan Rose
2012-08-14Changing an enumeration to a const int to fix MSVC compiler warnings.Aaron Ballman
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-09[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose
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-07-04Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer
2012-06-07[analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks
2012-06-06[analyzer] Provide debug descriptions for all memory space regions.Jordan Rose
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-05-02Fix some doxycomments using \class instead of \brief.David Blaikie
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-08-26Handle CXXTempObjectRegion in StackAddrEscapeChecker.Jeffrey Yasskin
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't inJordy Rose
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-07-23clean up forward declarations of raw_ostream to use the new LLVM.hChris Lattner
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-04-15fix a bunch of comment typos found by codespell. Patch byChris Lattner
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek