---
title: "TOPL"
description: "Detects errors based on user-provided state machines describing multi-object monitors."
---

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:
- [TOPL_PULSE_ERROR](/docs/all-issue-types#topl_pulse_error)