matlab与ccs生成代码-OPA:通过程序分析实现高效的MPC：高效优化混合的框架

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