文件名称：kex:Java字节码的白盒模糊测试器
文件大小：6.66MB
文件格式：ZIP
更新时间：2024-04-07 13:03:51
automated-testing concolic-testing kex white-box-fuzzing Kotlin
凯克斯 Kex是用于Java字节码的白盒子模糊测试工具。 依存关系 使用以下配置进行： < server> < id>github-vorpal-research-kotlin-maven < username>USERNAME < password>TOKEN 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：