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
/
StaticAnalyzer
/
Core
/
SVals.cpp
Age
Commit message (
Expand
)
Author
2013-04-20
[analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic
Anna Zaks
2013-03-23
[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.
Jordan Rose
2013-02-20
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-02-20
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-02-01
[analyzer] Reuse a LazyCompoundVal if its type matches the new region.
Jordan Rose
2012-12-01
Include pruning and general cleanup.
Benjamin Kramer
2012-09-17
[analyzer] Teach the analyzer about implicit initialization of statics
Anna Zaks
2012-08-13
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
Jordan Rose
2012-07-18
[analyzer] Remove obsolete ObjCPropRef SVal kind.
Jordan Rose
2012-04-05
[analyzer] Remove redundant if statement (pointed out by Ted).
Anna Zaks
2012-03-16
[analyzer] +Comments
Anna Zaks
2012-01-17
Remove unnecessary default cases in switches over enums.
David Blaikie
2011-12-06
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
Anna Zaks
2011-12-06
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-05
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
[analyzer] First step toward removing
Anna Zaks
2011-11-17
[analyzer] Add a helper method.
Anna Zaks
2011-11-16
[analyzer] Cleanup: Null->0, comments.
Anna Zaks
2011-09-23
Removing a bunch of dead returns/breaks after llvm_unreachables.
David Blaikie
2011-09-23
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-08-15
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-12
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-07-23
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....
Chris Lattner
2011-03-01
[analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls...
Argyrios Kyrtzidis
2011-02-28
[analyzer] Introduce SVal::getAsVarDecl().
Argyrios Kyrtzidis
2011-02-17
Step #1/N of implementing support for __label__: split labels into
Chris Lattner
2011-02-16
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-10
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-08
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis