objc-sqlite-invariant-audit

What problem does it solve?

This Skill addresses the critical need to ensure the integrity and reliability of Objective-C code interacting with SQLite databases, preventing data corruption and application instability.

Core Features & Use Cases

• Invariant Auditing: Automatically scans Objective-C code for common SQLite-related errors such as transaction atomicity violations, improper statement lifecycle management, and potential deadlocks.
• Risk Identification: Highlights areas with potential transaction rollback failures, un-finalized prepared statements, and overlapping lock/transaction scopes.
• Use Case: When reviewing a new feature that heavily relies on database operations, use this Skill to quickly identify potential bugs in transaction handling or statement management before they lead to data corruption or performance issues.

Quick Start

Run the provided script to scan the current directory for SQLite invariant issues and review the generated summary report.