常量时间测试

运行密码实现来测量时序侧信道，用 dudect 做统计分析、用 Valgrind 上的 Timecop 做动态追踪。覆盖形式化、符号化、动态与统计四类工具及如何读结果。用于测试运行中的实现是否常量时间、测编译后二进制的时序方差，或排查疑似时序攻击。不用于静态检视编译器输出（那归 constant-time-analysis 插件）。"