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
/
Checker
/
GRState.cpp
Age
Commit message (
Expand
)
Author
2010-12-22
[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...
Argyrios Kyrtzidis
2010-12-22
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
Argyrios Kyrtzidis
2010-12-05
Mark SVal constructors 'explicit'.
Ted Kremenek
2010-12-02
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-12-01
Rename all 'AssumeXXX' methods in libChecker
Ted Kremenek
2010-12-01
Rename all 'EvalXXX' methods in libChecker to
Ted Kremenek
2010-12-01
Rename 'SValuator' to 'SValBuilder'. The new name
Ted Kremenek
2010-11-24
Adjust method calls to reflect name changes in
Ted Kremenek
2010-09-09
Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().
Ted Kremenek
2010-09-03
Add optional record of "location" SVals in the environment. When we analyzin...
Ted Kremenek
2010-09-03
Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol...
Ted Kremenek
2010-08-25
GCC didn't care for my attempt at API compatibility, so brute-force everything
John McCall
2010-08-16
Move GRState::AssumeInBound out of its header file -- it's not really inline-...
Jordy Rose
2010-08-15
Move GRState's bind* methods out of its header file -- they're too big for in...
Jordy Rose
2010-08-15
StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...
Zhongxing Xu
2010-08-11
MemRegion can refer to ASTContext without external help.
Zhongxing Xu
2010-08-05
Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called...
Jordy Rose
2010-07-23
Change arg type.
Zhongxing Xu
2010-07-22
Make a bunch of new data structures for the new analysis
Zhongxing Xu
2010-07-06
Remove the now-unused GRState::isEqual method. Instead of asking if an expres...
Jordy Rose
2010-07-01
Add an ivar to SymbolReaper for the current statement, and then stop passing ...
Jordy Rose
2010-05-26
Remove extents of dead symbolic regions when RemoveDeadBindings.
Zhongxing Xu
2010-03-27
Checker: random include cleanup.
Benjamin Kramer
2010-03-25
Add methods to remove a GDM entry.
Zhongxing Xu
2010-03-17
Mark CXXThisRegion in the current or parent stack frame context as live so that
Zhongxing Xu
2010-03-05
Remove reference to AnalysisContext in Environment. We already have LocationC...
Zhongxing Xu
2010-03-04
When profiling Environment, also profile with AnalysisContext*, bacause
Zhongxing Xu
2010-02-08
Revert 95541.
Ted Kremenek
2010-02-08
Rename: GRState::getSVal(Stmt*) => getExprVal(),
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek