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