{"data":{"kind":"file","path":"README.md","version_id":"jcjx73ozc0lfbsm6aunat93m","entry":{"name":"README.md","path":"README.md","is_directory":false,"size":977,"modified_at":"2026-08-22T09:31:16.387000","content_hash":"42482cd2cb5e091103ec9a3c7107dc0d340fb95dbacac12d1aa9094b31c52b13"},"entries":[],"content":"# Concurrent Bug Finder\n\nMulti-language concurrency and multi-threading bug detection environment for training and evaluating LLMs.\n\n## Bug Categories (20+)\nRACE_CONDITION, DEADLOCK, DATA_RACE, TOCTOU, RESOURCE_LEAK, GOROUTINE_LEAK, ATOMICITY_VIOLATION, MEMORY_VISIBILITY, STARVATION, PRIORITY_INVERSION, LOST_WAKEUP, CONCURRENT_MODIFICATION, SHARED_MUTABLE_STATE, DOUBLE_CHECKED_LOCKING, WRITER_STARVATION, BARRIER_MISUSE, LOCK_ORDERING, ABA_PROBLEM, FALSE_SHARING, LIVELOCK\n\n## Languages\nPython (threading, asyncio, multiprocessing), Java, C++, Go, Rust, JavaScript\n\n## Scoring Metrics\n| Metric | Weight | Description |\n|--------|--------|-------------|\n| bug_detection | 0.35 | Identifies correct bug types |\n| fix_quality | 0.25 | Quality of proposed fixes |\n| explanation_depth | 0.20 | Depth of explanation |\n| completeness | 0.20 | All bugs found with all fields |\n\n## Usage\n```python\nimport verifiers as vf\nenv = vf.load_environment(\"voavoa/concurrent-bug-finder\")\n```\n","encoding":"utf-8","truncated":false,"total_bytes":977},"status":null}