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
/
StaticAnalyzer
/
Core
/
SimpleSValBuilder.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Address Jordy's comments for r145985.
Anna Zaks
2011-12-15
1
-3
/
+4
*
[analyzer]Fixup r146336.
Anna Zaks
2011-12-10
1
-7
/
+7
*
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
Anna Zaks
2011-12-10
1
-2
/
+2
*
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
Anna Zaks
2011-12-09
1
-5
/
+3
*
[analyzer] If memory region is tainted mark data as tainted.
Anna Zaks
2011-12-08
1
-1
/
+3
*
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-06
1
-0
/
+8
*
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
1
-139
/
+140
*
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
Anna Zaks
2011-12-05
1
-3
/
+4
*
[analyzer] Do not conjure a symbol when we need to propagate taint.
Anna Zaks
2011-11-17
1
-7
/
+7
*
Removing a bunch of dead returns/breaks after llvm_unreachables.
David Blaikie
2011-09-23
1
-5
/
+0
*
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-09-23
1
-8
/
+8
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-11
/
+11
*
[analyzer] When performing a binary operation on symbolic operands, we conver...
Jordy Rose
2011-06-15
1
-4
/
+32
*
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
Douglas Gregor
2011-05-21
1
-2
/
+4
*
Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...
Ted Kremenek
2011-04-12
1
-1
/
+2
*
Improves the coding style in SValBuilder. This patch:
Zhanyong Wan
2011-03-01
1
-13
/
+14
*
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-16
1
-4
/
+4
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-2
/
+2
*
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis
2011-02-08
1
-0
/
+917