Starvation

Detect various kinds of situations when no progress is being made because of concurrency errors.

Activate with --starvation.

Supported languages:

• C/C++/ObjC: Yes
• C#/.Net: No
• Erlang: No
• Hack: No
• Java: Yes
• Python: No

Detect several kinds of "starvation" problems:

• deadlocks
• violations of @Lockless annotations
• violations of Android's "strict mode"
• doing expensive operations on the Android UI thread

List of Issue Types

The following issue types are reported by this checker:

• ARBITRARY_CODE_EXECUTION_UNDER_LOCK
• DEADLOCK
• IPC_ON_UI_THREAD
• LOCKLESS_VIOLATION
• REGEX_OP_ON_UI_THREAD
• STARVATION
• STRICT_MODE_VIOLATION