binsec/haunted

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

语言：OCaml · GitHub 星标：18 · Fork：2

话题：binary-analysis · spectre-vulnerability · symbolic-execution

在 GitHub 上查看原仓库