关于使用静态常量传播问题的分析工具COAL solver时出现的错误

Time:2019-4-8
依照官方

http://siis.cse.psu.edu/coal/tutorial.html

给出的运行示例

当开始执行命令

% java -cp coal-tutorial-main-0.1.7.jar;coal-tutorial-classpath-0.1.7.jar edu.psu.cse.siis.coal.tuto.TutorialMain

时 执行失败。

提示错误为 找不到或无法加载主类

在网上多出寻找发现错误不一，都不适合本例

直到无意间发现。 官网给的命令里 两个jar包之间的间隔为 :

实际应当为 ;

此时重新测试

java -cp coal-tutorial-main-0.1.7.jar;coal-tutorial-classpath-0.1.7.jar edu.psu.cse.siis.coal.tuto.TutorialMain

结果成功输出