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
/
Analysis
/
PathSensitive
/
ConstraintManager.h
Age
Commit message (
Expand
)
Author
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-05
Remove references to 'Checker' and 'GRTransferFuncs' from
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-24
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
Ted Kremenek
2009-07-22
Add AssumeDual method.
Ted Kremenek
2009-06-24
Remove uses of std::ostream from libAnalysis.
Ted Kremenek
2009-06-18
libAnalysis:
Ted Kremenek
2009-03-26
analyzer infrastructure: make a bunch of changes to symbolic expressions that
Ted Kremenek
2009-03-11
Added method "canReasonAbout" to ConstraintManager. This method returns true if
Ted Kremenek
2009-02-14
Patch by Ben Laurie:
Ted Kremenek
2009-01-28
Remove method 'AddNE' from the public interface of ConstraintManager.
Ted Kremenek
2009-01-21
Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...
Ted Kremenek
2008-12-05
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...
Ted Kremenek
2008-11-28
Enable the GRStateManager to do something when we finish a path. For example,
Zhongxing Xu
2008-11-22
Initial support for checking out of bound memory access. Only support
Zhongxing Xu
2008-10-17
This patch did the following renaming. There should be no functional changes.
Zhongxing Xu
2008-08-29
Added LLVM comment header.
Zhongxing Xu
2008-08-29
Migrate the rest symbolic analysis stuff to BasicConstraintManager.
Zhongxing Xu
2008-08-27
Make the destructor of ConstraintManager virtual.
Ted Kremenek
2008-08-27
Refactor Assume logic into a separate class ConstraintManager.
Zhongxing Xu
