index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
RegionStore.cpp
Age
Commit message (
Expand
)
Author
2008-10-27
Added preliminary support for CompoundLiterals in the static analyzer:
Ted Kremenek
2008-10-27
Use ASTContext::getCanonicalType() to get TypedRegion's type.
Zhongxing Xu
2008-10-27
We cannot get precise lvalue for symbolic base array region.
Zhongxing Xu
2008-10-27
Get the canonical type for struct initialization. The original code would cra...
Zhongxing Xu
2008-10-26
Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...
Zhongxing Xu
2008-10-26
Simplify ArrayToPointer conversion. Actually the only thing we need to do is ...
Zhongxing Xu
2008-10-25
Add code for get the lvalue for string literals. Now we return a StringRegion
Zhongxing Xu
2008-10-24
Added method "getSelfRegion" to Store. This method returns the region associ...
Ted Kremenek
2008-10-24
The Decl of an array region can be VarDecl or FieldDecl. Handle this in Regio...
Zhongxing Xu
2008-10-24
Implement struct initialization. Make it into a recursive function. Also make
Zhongxing Xu
2008-10-24
Add printing method to RegionStoreManager.
Zhongxing Xu
2008-10-24
Fix 80-col violation.
Zhongxing Xu
2008-10-24
Add a bunch of dummy methods to make RegionStoreManager non-virtual.
Zhongxing Xu
2008-10-24
Added getLValueElement() to RegionStore. Only handle constant array for now.
Zhongxing Xu
2008-10-24
Make the analyzer store (memory model) a command line option.
Ted Kremenek
2008-10-22
Add a bunch of getLValue* methods to RegionStore.
Zhongxing Xu
2008-10-21
Preliminary support for function overloading
Douglas Gregor
2008-10-21
Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.
Zhongxing Xu
2008-10-21
Process decls in RegionStore. Individual elements of fixed size arrays are
Zhongxing Xu
2008-10-17
- constify some uses of MemRegion* (MemRegion should be immutable).
Ted Kremenek
2008-10-17
This patch did the following renaming. There should be no functional changes.
Zhongxing Xu
2008-10-08
This is the first step to implement a field-sensitive store model. Other thin...
Zhongxing Xu
[prev]