aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/MemRegion.cpp
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-01[analyzer] Special-case bitfields when finding sub-region bindings.Jordan Rose
2013-02-25[analyzer] Base regions may be invalid when layered on symbolic regions.Jordan Rose
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-22[analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion.Jordan Rose
2013-02-21StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function]NAKAMURA Takumi
2013-02-21Whitespace.NAKAMURA Takumi
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
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-02-15[analyzer] Refactor RegionStore's sub-region bindings traversal.Jordan Rose
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2012-12-06Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-26[analyzer] Fix a crash reported in PR 14400.Anna Zaks
2012-10-10Reapply "[analyzer] Treat fields of unions as having symbolic offsets."Jordan Rose
2012-10-10Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offs...Eric Christopher
2012-10-10[analyzer] Treat fields of unions as having symbolic offsets.Jordan Rose
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
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-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-08-15[analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose
2012-08-15[analyzer] A base class needs a complete definition to provide offsets.Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-09[analyzer] Cluster bindings in RegionStore by base region.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-12[analyzer] Don't inline virtual calls unless we can devirtualize properly.Jordan Rose
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-06-06Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-02-18Teach analyzer that blocks with no captures are globals. Fixes <rdar://probl...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
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