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
/
Store.h
Age
Commit message (
Expand
)
Author
2010-12-22
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
Argyrios Kyrtzidis
2010-12-02
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-12-01
Rename all 'EvalXXX' methods in libChecker to
Ted Kremenek
2010-11-26
Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.
Zhongxing Xu
2010-11-24
Improve comments in Clang static analyzer, based on kremenek's
Zhanyong Wan
2010-09-15
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...
Ted Kremenek
2010-08-15
StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...
Zhongxing Xu
2010-08-14
Add a callback for when region changes occur. Still somewhat of a work-in-pro...
Jordy Rose
2010-08-03
Makes GRState::makeWithStore private, to encourage clients to make store chan...
Jordy Rose
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-07-01
Add an ivar to SymbolReaper for the current statement, and then stop passing ...
Jordy Rose
2010-06-16
We return Loc where we know.
Zhongxing Xu
2010-06-01
Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my
Zhongxing Xu
2010-05-26
Remove extents of dead symbolic regions when RemoveDeadBindings.
Zhongxing Xu
2010-05-25
CastSizeChecker checks when casting a malloc'ed symbolic region to type T,
Zhongxing Xu
2010-04-19
Analyzer: add support for CXXNewExpr.
Zhongxing Xu
2010-03-27
Checker: random include cleanup.
Benjamin Kramer
2010-03-17
Mark CXXThisRegion in the current or parent stack frame context as live so that
Zhongxing Xu
2010-02-08
Unify the implementation of getLValueElement of store managers.
Zhongxing Xu
2010-02-08
Unify the implementation of getLValueIvar and getLValueField of store managers.
Zhongxing Xu
2010-02-08
Move common methods to the base StoreManager class.
Zhongxing Xu
2010-02-08
ASTContext is now a reference member of StoreManager.
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
Remove unused parameter.
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-04
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
Zhongxing Xu
2010-02-03
Add skeleton of flat store manager.
Zhongxing Xu
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek