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
/
StaticAnalyzer
/
Core
/
PathSensitive
/
SValBuilder.h
Age
Commit message (
Expand
)
Author
2013-05-02
[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.
Jordan Rose
2013-05-01
[analyzer] Consolidate constant evaluation logic in SValBuilder.
Jordan Rose
2013-04-09
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2012-12-04
Sort #include lines for all files under include/...
Chandler Carruth
2012-12-01
Don't include Type.h in DeclarationName.h.
Benjamin Kramer
2012-11-29
Change SValBuilder::getConditionType() to return BoolTy in C++. Fixes <rdar:...
Ted Kremenek
2012-09-29
Whitespace.
Bob Wilson
2012-09-26
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-01
[analyzer] Disallow creation of int vals with explicit bit width / signedness.
Jordan Rose
2012-08-22
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
Ted Kremenek
2012-07-04
Drop the ASTContext.h include from Stmt.h and fix up transitive users.
Benjamin Kramer
2012-06-22
Implement initial static analysis inlining support for C++ methods.
Ted Kremenek
2012-06-07
[analyzer] Anti-aliasing: different heap allocations do not alias
Anna Zaks
2012-05-28
Fix suspicous isIntegerType() check, found by PVS Studio (PR12357).
Benjamin Kramer
2012-05-01
[analyzer] Construct a SymExpr even when the constraint solver cannot
Anna Zaks
2012-03-10
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...
Ted Kremenek
2012-03-06
Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.
Ted Kremenek
2012-02-17
Have conjured symbols depend on LocationContext, to add context sensitivity f...
Ted Kremenek
2012-01-28
StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...
Benjamin Kramer
2012-01-26
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2011-12-20
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...
David Blaikie
2011-12-10
[analyzer]Fixup r146336.
Anna Zaks
2011-12-09
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
Anna Zaks
2011-12-06
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-11-28
[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.
Anna Zaks
2011-11-17
[analyzer] Do not conjure a symbol when we need to propagate taint.
Anna Zaks
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-08-12
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...
Ted Kremenek
2011-05-21
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
Douglas Gregor
2011-03-08
static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...
Ted Kremenek
2011-03-01
Improves the coding style in SValBuilder. This patch:
Zhanyong Wan
2011-02-19
[analyzer] Fix crash when analyzing C++ code.
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