【文件属性】：
文件名称：DuckeeGO:用于Golang的Concolic执行引擎
文件大小：143KB
文件格式：ZIP
更新时间：2021-05-18 23:52:19
Go
鸭子
用于Golang的Concolic执行引擎
依赖于aclements / z3软件包。
设定资料
正在下载Z3
从https://github.com/Z3Prover/z3/releases获得最新版本（我们正在使用4.6.0）
当go get -ing github.com/aclements/go-z3/z3 ，请使用CGO_CFLAGS="-I/path/to/directory/with/z3.h"
还需要将相关的库从include目录复制到存储库的任何位置。 （对于Mac，这是/usr/local/lib ，对于Windows，这是C:\\Windows\\System32 ）
运行我们的应用程序
执行bash src/run.sh
包含config.json文件的路径作为脚本参数以更改目录。 请参阅示例目录，以示例性地执行示例项目。 执行run.sh后，DUCK
【文件预览】：
DuckeeGO-master
----.gitignore(57B)
----README.md(923B)
----LICENSE(34KB)
----Final_Project_6_858.pdf(114KB)
----src()
--------concolicTypes()
--------main.go(6KB)
--------addInstrumentation.go(2KB)
--------run.sh(187B)
--------jsonDefs.go(463B)
--------instrumentationHelpers.go(27KB)
----example()
--------main.go(1KB)
--------config.json(550B)