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
/
ValueManager.cpp
Age
Commit message (
Expand
)
Author
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2009-12-07
Add analysis support for blocks. This includes a few key changes:
Ted Kremenek
2009-12-04
constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.
Ted Kremenek
2009-11-25
Refine MemRegions for blocks. Add a new region called
Ted Kremenek
2009-11-25
Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...
Ted Kremenek
2009-09-27
Fix:
Ted Kremenek
2009-09-11
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
Ted Kremenek
2009-09-09
Remove tabs, and whitespace cleanups.
Mike Stump
2009-08-28
Use SymbolicRegion instead of CodeTextRegion for symbolic function
Ted Kremenek
2009-08-01
This is a fairly large patch, which resulted from a cascade of changes
Ted Kremenek
2009-07-21
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
Ted Kremenek
2009-07-18
Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTy...
Ted Kremenek
2009-07-16
Two changes:
Ted Kremenek
2009-07-15
Introduced the notion of a "derived symbol" using the class SymbolDerived.
Ted Kremenek
2009-06-23
Move all factory methods from SVal to ValueManager. API cleanup!
Zhongxing Xu
2009-06-23
Split ValueManager method definitions into its own source file.
Zhongxing Xu
