Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
251084d03e53dbad8eff9c15f99f3932c5e8c516
/
clang
/
Analysis
/
CFRefCount.cpp
2a723e6
Added pretty-printing support for checker-specific state for the CFRefCount checker.
by Ted Kremenek
· 18 years ago
e560556
Added bookkeeping of error nodes.
by Ted Kremenek
· 18 years ago
bf9d804
Added main logic for typestate tracking for the CFRetain checker.
by Ted Kremenek
· 18 years ago
819e9b6
Added main skeleton for CFRetain transfer function logic.
by Ted Kremenek
· 18 years ago
910e9de
Renamed ValueManager to BasicValueFactory.
by Ted Kremenek
· 18 years ago
3a8edd8
fix typos
by Gabor Greif
· 18 years ago
ea6507f
Added boilerplate to execute the CF reference count checker (which isn't yet implemented).
by Ted Kremenek
· 18 years ago