Last released Nov 2, 2026
Universal static concurrency analysis, semantic taint tracking, and runtime verification for Python