tools/

code-audit is a unified AST analysis tool for comprehensive code quality.

lock-requirements-analyzer is a static analysis tool that identifies operations that MUST be protected by locks in the GoSRT codebase.

metrics-audit is a static analysis tool that verifies alignment between: 1.

metrics-lock-analyzer is a static analysis tool that identifies metrics incremented within lock-protected critical sections and proposes transformations to move atomic operations outside of locks.

seq-audit is a type-aware AST analyzer for finding unsafe sequence arithmetic.

test-audit is a unified tool for analyzing and improving table-driven tests.