CBMC b00t c0d3 源码
b00t-c0d3 目的是使用CBMC验证引导代码的安全性 mask_rom_boot_code.c包含未注释的未更改引导代码。 引导代码经过简化,并受到OpenTitan安全引导的启发。 已验证 物业1 物业2 物业3 物业4 物业5 物业6 物业7 物业8 物业9 物业10
文件列表
CBMC-b00t-c0d3-main.zip
(预估有个11文件)
CBMC-b00t-c0d3-main
sha2-256.h
1KB
verify_PROOF_HARNESS.c
1KB
mask_rom.h
2KB
PROPERTY3.h
85B
verify.h
272B
verify.c
3KB
README.md
406B
PROPERTY3.c
672B
mask_rom_boot_code.c
5KB
暂无评论