Intent-Code Divergence
Medium
- Confidence
- 94% confidence
- Finding
- The lock acquisition uses an atomic mkdir, but the release path blindly executes rm -rf on a path derived from user-controlled task_id without verifying that the caller owns the lock or that the target is a legitimate lock directory. In a multi-user or adversarial environment, this can let one actor delete another actor’s lock or remove an unintended directory if task_id contains path traversal sequences, undermining synchronization and potentially deleting arbitrary files under reachable paths.
