项目描述 ：
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

高级语言： OCaml

项目主页：

项目地址: git://github.com/binsec/haunted.git

创建时间： 2021-01-07T21:48:05Z
项目社区：https://github.com/binsec/haunted
开源协议：GNU Lesser General Public License v2.1
下载