index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
Analysis
/
ValueManager.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-25
1
-153
/
+0
*
Add analysis support for blocks. This includes a few key changes:
Ted Kremenek
2009-12-07
1
-1
/
+3
*
constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.
Ted Kremenek
2009-12-04
1
-4
/
+3
*
Refine MemRegions for blocks. Add a new region called
Ted Kremenek
2009-11-25
1
-4
/
+6
*
Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...
Ted Kremenek
2009-11-25
1
-1
/
+8
*
Fix:
Ted Kremenek
2009-09-27
1
-4
/
+7
*
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
Ted Kremenek
2009-09-11
1
-9
/
+12
*
Remove tabs, and whitespace cleanups.
Mike Stump
2009-09-09
1
-13
/
+13
*
Use SymbolicRegion instead of CodeTextRegion for symbolic function
Ted Kremenek
2009-08-28
1
-19
/
+3
*
This is a fairly large patch, which resulted from a cascade of changes
Ted Kremenek
2009-08-01
1
-36
/
+34
*
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
Ted Kremenek
2009-07-21
1
-1
/
+4
*
Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTy...
Ted Kremenek
2009-07-18
1
-9
/
+9
*
Two changes:
Ted Kremenek
2009-07-16
1
-0
/
+11
*
Introduced the notion of a "derived symbol" using the class SymbolDerived.
Ted Kremenek
2009-07-15
1
-0
/
+16
*
Move all factory methods from SVal to ValueManager. API cleanup!
Zhongxing Xu
2009-06-23
1
-27
/
+11
*
Split ValueManager method definitions into its own source file.
Zhongxing Xu
2009-06-23
1
-0
/
+141