Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
031b2d21fe1b0ad8c8fd927f654353035ed06562
/
Analysis
/
UninitializedValues.cpp
11de5cb
Updated header file inlcude to new location of
by Ted Kremenek
· 17 years ago
b297754
More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor.
by Ted Kremenek
· 17 years ago
59d1827
Minor performance fix in transfer function logic. Previously we
by Ted Kremenek
· 17 years ago
43a1698
More refactoring and code reduction.
by Ted Kremenek
· 17 years ago
294a7c9
Add overloaded versions of DataflowSolver::runOnBlock to simplify
by Ted Kremenek
· 17 years ago
a90b0d1
Added member template CFG::VisitBlockStmts to provide a succinct way
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
599e29c
Renamed file due to mispelling.
by Ted Kremenek
· 17 years ago
[Renamed from Analysis/UnintializedValues.cpp]
2bf5514
UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with
by Ted Kremenek
· 17 years ago
cd5860c
More progress on UnitializedValues checker. We now have preliminary support
by Ted Kremenek
· 17 years ago
20ee4fb
Split tracking of unitialized values for Decls and CFGBlock-level expressions.
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