TOPL
Detects errors based on user-provided state machines describing multi-object monitors.
Activate with --topl-pulse.
Supported languages:
- C/C++/ObjC: Experimental
- Java: Experimental
List of Issue Types
The following issue types are reported by this checker: