Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
44e402611fa0e48fc92932de95e19dc9d8c3b3f8
/
Analysis
/
DataflowSolver.h
44e4026
Changed solver to use "==" operator when comparing dataflow values
by Ted Kremenek
· 17 years ago
294a7c9
Add overloaded versions of DataflowSolver::runOnBlock to simplify
by Ted Kremenek
· 17 years ago
8e28065
Moved TransferFunction object within DataflowSolver to be a instance
by Ted Kremenek
· 17 years ago
105bfee
Modified DataFlowValues and DataflowSolver to associate dataflow value
by Ted Kremenek
· 17 years ago
2a9d82a
Bug fix to merging of data flow values (merge incorrectly made values
by Ted Kremenek
· 17 years ago
2bf5514
UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with
by Ted Kremenek
· 17 years ago
56d516d
Removed "ObserverTy" from core DataflowValues types. The observer
by Ted Kremenek
· 17 years ago
13ed7fe
Prototype implementation of new template-based dataflow solver.
by Ted Kremenek
· 17 years ago