matlab与ccs生成代码最佳协议分配(OPA)
此存储库包含ACM
CCS'19论文通过程序分析的高效MPC的伴随代码:高效最佳混合的框架
目录结构
analysis-project包含用于分析的gradle
Java项目(您需要安装gradle才能构建/运行分析项目)。
求解器包含OPA求解器MATLAB代码。
先决条件
Java
SDK
8(
openjdk-8-sdk
)
怎么跑
分析项目需要知道要为其生成分析文件的程序的类路径(选项-cp
)和类名称(选项-c
)。
它对rt.jar
(选项-r
)和jce.jar
(选项-j
)的路径使用默认值。
如果这些默认值是错误的,它将发出抱怨,并且您也必须在命令行上指定这些路径。
要生成例如gcd基准的分析,请运行:
./gradlew
run
--args=
'
-c
P
-cp
./src/test/resources/programs/gcd
'
您可以将-c和-cp参数更改为其他基准以对其进行测试。
分析输出被写入analysis.json
。
编辑solver.m
(在solver目录中)以指向analysis.json
2022-02-11 22:37:56
125KB
系统开源
1