凯克斯
Kex是用于Java字节码的白盒子模糊测试工具。
依存关系
使用以下配置进行:
< server>
< id>github-vorpal-research-kotlin-maven</ id>
< username>USERNAME</ username>
< password>TOKEN</ password>
</ server>
v4.8.6
您需要使用以下命令手动将具有Java绑定的jar包安装到本地maven存储库:
mvn install:install-file -Dfile=/usr/lib/com.microsoft.z3.jar -DgroupId=com.microsoft
-DartifactId=z3 -Dversion=4.8.6 -Dpackaging=jar
v3.2.1
建造
建立具有所有依赖项的jar: