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
/
SValBuilder.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
Anna Zaks
2011-12-10
1
-0
/
+13
*
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
Anna Zaks
2011-12-09
1
-2
/
+1
*
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-06
1
-19
/
+12
*
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
1
-2
/
+2
*
[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.
Anna Zaks
2011-11-28
1
-11
/
+1
*
[analyzer] Warn when non pointer arguments are passed to scanf (only when run...
Anna Zaks
2011-11-18
1
-1
/
+0
*
[analyzer] Do not conjure a symbol when we need to propagate taint.
Anna Zaks
2011-11-17
1
-0
/
+25
*
Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...
Ted Kremenek
2011-10-24
1
-1
/
+1
*
[analyzer] Fix a new failure encountered while building Adium exposed as a re...
Anna Zaks
2011-09-12
1
-2
/
+7
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-3
/
+3
*
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-08-12
1
-1
/
+1
*
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...
Ted Kremenek
2011-08-12
1
-2
/
+2
*
Improves the coding style in SValBuilder. This patch:
Zhanyong Wan
2011-03-01
1
-69
/
+70
*
[analyzer] Fix crash when analyzing C++ code.
Argyrios Kyrtzidis
2011-02-19
1
-1
/
+1
*
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-16
1
-13
/
+13
*
Rename 'InvalidateRegions()' to 'invalidateRegions()'.
Ted Kremenek
2011-02-11
1
-2
/
+2
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-5
/
+5
*
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis
2011-02-08
1
-0
/
+310