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
/
SymbolManager.cpp
Age
Commit message (
Expand
)
Author
2013-04-09
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2013-03-15
[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.
Anna Zaks
2013-03-15
[analyzer] Include opcode in dumping a SymSymExpr.
Jordan Rose
2012-11-03
[analyzer] Run remove dead on end of path.
Anna Zaks
2012-09-26
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-25
Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...
Jordan Rose
2012-09-25
[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.
Jordan Rose
2012-09-20
Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...
Jordan Rose
2012-09-08
[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.
Jordan Rose
2012-09-05
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
Jordan Rose
2012-09-01
[analyzer] Treat all struct values as regions (even rvalues).
Jordan Rose
2012-08-23
Fix undefined behavior: member function calls where 'this' is a null pointer.
Richard Smith
2012-08-22
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
Ted Kremenek
2012-05-03
[analyzer] Add a complexity bound on history tracking.
Anna Zaks
2012-04-20
[analyzer] Run remove dead bindings right before leaving a function.
Anna Zaks
2012-02-17
Have conjured symbols depend on LocationContext, to add context sensitivity f...
Ted Kremenek
2012-01-06
[analyzer] Make the entries in 'Environment' context-sensitive by making entr...
Ted Kremenek
2011-12-20
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...
David Blaikie
2011-12-10
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
Anna Zaks
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-10-07
Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...
Ted Kremenek
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-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-08-12
Optimizations for Dependent Symbol tracking (as per Ted's code review for r13...
Anna Zaks
2011-08-11
Analyzer Core: Adding support for user-defined symbol dependencies. (For exam...
Anna Zaks
2011-08-06
[analyzer] Change SymbolReaper to store region roots implied by the Environme...
Ted Kremenek
2011-07-28
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...
Ted Kremenek
2011-07-23
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....
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