objc-locking-queue-audit

What problem does it solve?

This Skill helps identify and prevent common concurrency bugs in Objective-C code, such as lock imbalances, potential deadlocks from synchronous dispatches, and incorrect queue assertions, leading to more robust and stable applications.

Core Features & Use Cases

• Lock/Unlock Imbalance Detection: Flags instances where locks are acquired but not released across all code paths.
• Deadlock Risk Analysis: Identifies risky patterns like synchronous dispatching to the main queue or between interdependent queues, especially when locks are held.
• Queue Ownership Verification: Checks for proper use of dispatch_assert_queue to ensure state is accessed only on its designated queue.
• Use Case: When reviewing a complex multithreaded feature, use this Skill to quickly pinpoint potential race conditions and deadlocks before they manifest in production.

Quick Start

Run the locking and queue contract scan script on the current directory and output the results to /tmp/objc-locking-queue-audit.