oh-arkruntime-thread-safety-audit

What problem does it solve?

It helps you detect and correct thread-safety defects in ArkCompiler Runtime Core, preventing data races and inconsistent behavior under ArkTS-Sta concurrency.

Core Features & Use Cases

• Static mutable state discovery: Identifies risky shared state patterns such as static fields, caches, registries, timers, and global singletons in ETS code.
• Concurrency reachability analysis: Verifies whether the candidate state can be reached through concurrent entry points like taskpool and EAWorker.
• Fix guidance and targeted validation: Proposes synchronization strategies (atomics, concurrent containers, mutex/lock-guarded invariants) and recommends focused concurrent/TSAN-aligned testing.

Quick Start

Ask the AI to audit a specific ArkTS-Sta stdlib or plugin ETS file for shared mutable static state and concurrency entry paths, then propose the safest fix and the most relevant concurrent test cases.