Home

coretrace-concurrency-analyzer Wiki

Concurrency analyzer for C and C++, working on LLVM IR compiled in memory. Eleven rules, on a single translation unit or on a whole project read from a compile_commands.json, reported as human text, JSON or SARIF.

Current release: v0.7.0.

Documentation Index

1. Architecture and CLI (English) — rules, CLI, exit codes, project mode, GitHub Action
2. Architecture et CLI (Français) — même contenu en français
3. Architecture Reference — layers, fact and propagation passes, where each concern lives

Quick start

# One file, every rule
coretrace_concurrency_analyzer src/worker.c --analyze

# Whole project, SARIF, gated for CI
coretrace_concurrency_analyzer --compile-commands=build/compile_commands.json \
    --format=sarif --fail-on=error

# Without building anything
docker run --rm -v "$PWD:/work" \
  ghcr.io/coretrace/coretrace-concurrency-analyzer:v0.7.0 file.c --analyze

In the repository

The wiki explains; these are kept next to the code and are authoritative:

Question	Document
What changed per version	CHANGELOG.md
What each rule establishes, and what it deliberately does not	README.md
What crosses a translation-unit boundary	docs/cross-tu-mode.md
CI integration, complete workflows	docs/github-action.md
Cost on a real project	docs/performance.md