index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
Checker
/
MemRegion.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...
Argyrios Kyrtzidis
2010-12-22
1
-986
/
+0
*
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
Argyrios Kyrtzidis
2010-12-22
1
-2
/
+2
*
It's kindof silly that ExtQuals has an ASTContext&, and we can use that
John McCall
2010-12-10
1
-2
/
+2
*
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-12-02
1
-14
/
+14
*
Rename CXXObjectRegion to CXXTempObjectRegion.
Zhongxing Xu
2010-11-26
1
-10
/
+10
*
Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.
Zhongxing Xu
2010-11-26
1
-0
/
+25
*
Add dump method.
Zhongxing Xu
2010-11-25
1
-0
/
+4
*
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...
Ted Kremenek
2010-09-15
1
-1
/
+1
*
MemRegion can refer to ASTContext without external help.
Zhongxing Xu
2010-08-11
1
-4
/
+3
*
Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We
Zhongxing Xu
2010-08-03
1
-2
/
+1
*
Pull the region offset computation logic into a single method.
Zhongxing Xu
2010-08-03
1
-39
/
+57
*
Improve flat store: MemRegion::getAsOffset() computes a region's offset within
Zhongxing Xu
2010-08-02
1
-1
/
+46
*
Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace...
Ted Kremenek
2010-07-06
1
-1
/
+8
*
Track extents for VLAs.
Jordy Rose
2010-07-05
1
-2
/
+3
*
Add a new symbol type, SymbolExtent, to represent the extents of memory regio...
Jordy Rose
2010-07-04
1
-0
/
+47
*
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...
Ted Kremenek
2010-07-01
1
-44
/
+78
*
Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo...
Ted Kremenek
2010-05-27
1
-1
/
+1
*
Add raw_ostream operators to NamedDecl for convenience. Switch over all users...
Benjamin Kramer
2010-04-17
1
-3
/
+3
*
Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat
Ted Kremenek
2010-04-06
1
-7
/
+8
*
Checker: random include cleanup.
Benjamin Kramer
2010-03-27
1
-2
/
+2
*
For inline-based inter-procedural analysis, we will have multiple stack space...
Zhongxing Xu
2010-02-17
1
-9
/
+16
*
Eliminate the ASTContext parameter from RecordDecl::getDefinition()
Douglas Gregor
2010-02-11
1
-1
/
+1
*
Teach RegionStore::InvalidateRegions() to also invalidate static variables re...
Ted Kremenek
2010-02-06
1
-1
/
+1
*
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-25
1
-0
/
+799