index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
clang
/
Checker
/
PathSensitive
/
MemRegion.h
Age
Commit message (
Expand
)
Author
2010-12-22
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
Argyrios Kyrtzidis
2010-12-10
Eliminate the branching in QualType::getTypePtr() by providing a
Douglas Gregor
2010-12-10
It's kindof silly that ExtQuals has an ASTContext&, and we can use that
John McCall
2010-12-02
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-11-26
Rename CXXObjectRegion to CXXTempObjectRegion.
Zhongxing Xu
2010-11-26
fix a bug introduced in r120173.
Zhongxing Xu
2010-11-26
Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.
Zhongxing Xu
2010-11-25
Add dump method.
Zhongxing Xu
2010-09-15
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...
Ted Kremenek
2010-08-17
TypedRegion::isBoundable() should return true by default. Since there is no ...
Ted Kremenek
2010-08-11
MemRegion can refer to ASTContext without external help.
Zhongxing Xu
2010-08-03
Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We
Zhongxing Xu
2010-08-03
Pull the region offset computation logic into a single method.
Zhongxing Xu
2010-08-02
You actually have to include a header in order to use a symbol, it's so 90s..
Argyrios Kyrtzidis
2010-08-02
Use llvm_unreachable.
Argyrios Kyrtzidis
2010-08-02
Shut up warnings in Release build.
Argyrios Kyrtzidis
2010-08-02
Improve flat store: MemRegion::getAsOffset() computes a region's offset within
Zhongxing Xu
2010-07-06
Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace...
Ted Kremenek
2010-07-04
Add a new symbol type, SymbolExtent, to represent the extents of memory regio...
Jordy Rose
2010-07-01
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...
Ted Kremenek
2010-04-19
Analyzer: add support for CXXNewExpr.
Zhongxing Xu
2010-03-27
Checker: random include cleanup.
Benjamin Kramer
2010-02-23
Correct comment.
Zhongxing Xu
2010-02-17
For inline-based inter-procedural analysis, we will have multiple stack space...
Zhongxing Xu
2010-01-26
Replace inheritance of RegionRawOffset from std::pair with two private member
Ken Dyck
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek