Scan for code that may behave incorrectly under concurrent execution.

Look for:
- Read-modify-write without locking
- Shared mutable state

Output:
- Identify race conditions
- Recommend atomic or transactional patterns