文件名称：jpf-qilura:奇鲁拉
文件大小：7.25MB
文件格式：ZIP
更新时间：2024-06-02 19:57:34
Java
奇鲁拉 使用可靠性分析量化信息泄漏 描述 使用进行定性和定量信息流分析的工具。 安装 QILURA需要安装以下工具： ， ， 和 。 在JPF工具集的根文件夹中，按如下所示编辑site.properties文件： jpf-home = /homes/qsp30/Programs/jpf # change this with your directory jpf-core = ${jpf-home}/jpf-core jpf-symbc = ${jpf-home}/jpf-symbc jpf-qilura = ${jpf-home}/jpf-qilura extensions+=,${jpf-core} extensions+=,${jpf-symbc} extensions+=,${jpf-qilura} 从github存储
【文件预览】：
jpf-qilura-master
----.project(638B)
----.externalToolBuilders()
--------QILURA_Builder.launch(972B)
----configEx.py(699B)
----src()
--------examples()
--------main()
----lib()
--------com.microsoft.z3.jar(131KB)
--------jpf-utils.jar(13KB)
--------PathConditionsReliability-0.0.1-ALPHA.jar(7.89MB)
----jpf.properties(650B)
----README.md(1KB)
----build.xml(8KB)
----.classpath(687B)
----.gitignore(210B)
----bin()
--------qilura(193B)