01Identifies variable-time arithmetic operations on sensitive data
02Assists in security audits for cryptographic libraries and protocols
03Detects secret-dependent branching and control flow leaks
04Provides domain-specific guidance for constant-time programming
05Supports 14+ languages including Rust, Go, C++, and JavaScript
062 GitHub stars