KLEE实验说明1

【文件属性】：

文件名称：KLEE实验说明1

文件大小：54KB

文件格式：PDF

更新时间：2022-08-03 11:49:08

测试工具 软件/插件 linux 测试 docker

1. 利用 docker 镜像（http://klee.github.io/docker/ ）或者源代码编译 3. 查找或自己编写包含缺陷的程序（要求至少 50