summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-051-0/+10
* Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek2012-12-061-17/+24
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-011-0/+1
* [analyzer] Fix a crash reported in PR 14400.Anna Zaks2012-11-261-1/+2
* Reapply "[analyzer] Treat fields of unions as having symbolic offsets."Jordan Rose2012-10-101-1/+5
* Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offs...Eric Christopher2012-10-101-5/+1
* [analyzer] Treat fields of unions as having symbolic offsets.Jordan Rose2012-10-101-1/+5
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-171-8/+6
* [analyzer] Don't reimplement an existing function.Anna Zaks2012-09-131-17/+1
* [analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks2012-09-121-0/+20
* Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky2012-09-061-4/+4
* [analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose2012-08-151-1/+1
* [analyzer] A base class needs a complete definition to provide offsets.Jordan Rose2012-08-151-1/+1
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-1/+34
* [analyzer] Cluster bindings in RegionStore by base region.Jordan Rose2012-08-091-1/+8
* [analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose2012-08-091-10/+37
* [analyzer] Clean up the printing of FieldRegions for leaks.Jordan Rose2012-08-081-5/+17
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-8/+41
* [analyzer] Don't inline virtual calls unless we can devirtualize properly.Jordan Rose2012-07-121-13/+13
* [analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks2012-06-071-0/+4
* [analyzer] Provide debug descriptions for all memory space regions.Jordan Rose2012-06-061-4/+16
* Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie2012-06-061-1/+1
* static analyzer: add inlining support for directly called blocks.Ted Kremenek2012-06-011-1/+38
* Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek2012-05-041-6/+29
* Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie2012-04-301-1/+1
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-211-0/+13
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-2/+2
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-0/+17
* Teach analyzer that blocks with no captures are globals. Fixes <rdar://probl...Ted Kremenek2012-02-181-10/+16
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+18
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-13/+57
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+14
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-5/+5
* Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer2011-10-141-3/+3
* Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall2011-10-071-1/+1
* Handle CXXTempObjectRegion in StackAddrEscapeChecker.Jeffrey Yasskin2011-08-261-1/+2
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-28/+28
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-18/+18
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+988
OpenPOWER on IntegriCloud