Skip to content
对密码学原语执行混合符号执行
blog.trailofbits.com | 博客 | #cryptography | #symbolic-execution | #manticore | #unit-testing | #concolic-testing
摘要
实习项目 Sandshrew 基于 Manticore 构建混合符号（concolic）单元测试原型，在符号与具体混合环境下分析 C 语言密码学原语，自动生成可捕捉 bignum 缺陷与实现级漏洞的强测试用例。
- 发布时间
- 收录时间