tacet 0.4.2

Detect timing side channels in cryptographic code
Documentation
1
2
3
4
5
6
7
8
9
10
//! Core validation tests
//!
//! These tests validate the fundamental correctness of the timing oracle:
//! - `known_leaky`: Tests that MUST detect timing leaks
//! - `known_safe`: Tests that MUST NOT false-positive on constant-time code

#[path = "core/known_leaky.rs"]
mod known_leaky;
#[path = "core/known_safe.rs"]
mod known_safe;