Version: next
Liveness
Detection of dead stores and unused variables.
Activate with --liveness.
Supported languages:
- C/C++/ObjC: Yes
- Java: No
List of Issue Types
The following issue types are reported by this checker:
This is unreleased documentation for Infer next version.
For up-to-date documentation, see the latest version.