"适用于S2E ARM端口的Testsuite此存储库包含的验收测试套件。运行测试测试包含用C或ASM为ARM架构（拇指和手臂模式）编写的微型固件；为了编译它们，您需要一个ARM交叉编译器。我们目前使用并建议gcc-4.7-arm-none-eabi提供的gcc-4.7-arm-none-eabi。我们使用Cucumber和Aruba作为测试运行程序，因此您需要在开始检查之前安装它们：sudo apt-get安装Cucumber ruby-aruba使所有"
相关文件下载数组：
s2e-arm-testsuite:S2E的ARM测试套件
文件列表
s2e-arm-testsuite:S2E 的 ARM 测试套件
(预估有个140文件)
record-replay.arm.c
854B
replay-symbolic.arm.c
1KB
write_ranges.arm.c
2KB
load_store.armeb.c
6KB
symbolic_uint32.armeb.c
1KB
symbolic_uint16.armeb.c
2KB
all_jumps.arm.c
961B
concolic.arm.c
1KB
remote_memory.arm.c
1KB
intercept_symbolic.arm.c
840B
暂无评论