相关软件包准备:
python-2.7.18.amd64
wxPython3.0-win64-3.0.0.0-py27
stable_windows_10_cmake_Release_x64_graphviz-install-2.47.0-win64
scyther-w32-v1.1.3
获取链接:https://pan.baidu.com/s/1_vwVjCRFRNo3Kr9NbP19gA
提取码:43ab
配置过程
第一步:配置python环境
- 卸载原有的python3.x环境(找过相关python2.x和3.x共存的资料,但最后都配置失败了,所以直接卸载原有环境--找到相关文件夹,全部删除,然后删除环境变量)
- 点击python-2.7.18.amd64,下一步即可。(因为scyther依赖旧版本,所以需要python2.x的环境)
- 配置环境:点击“我的电脑”属性——点击 高级系统设置——点击 环境变量——在path中添加对应的环境变量
- 打开windows控制终端,输入命令 python,如果出现python的版本则代表配置成功。
第二步:点击wxPython3.0-win64-3.0.0.0-py27
它会找到你电脑配置的python环境,并自动安装在python环境下lib文件夹中,直接点击下一步即可。
第三步:点击stable_windows_10_cmake_Release_x64_graphviz-install-2.47.0-win64
这里需要注意的是要将路径添加到环境变量中,其他直接下一步即可(安装路径可以更换到其他盘)
测试graphviz是否安装成功:在windows控制终端,输入命令 dot --version,出现如图所示则表示配置成功
第四步:将下载好的scyther-w32-v1.1.3压缩包解压到某个文件夹即可
测试启动
- 进入到scyther-w32-v1.1.3文件夹下
- 打开windows终端,输入命令 python scyther-gui.py(或者直接打开终端,使用命令进入对应文件夹),即可启动scyther
- 测试引用文献https://ieeexplore.ieee.org/document/9905232中的代码,测试部分代码和测试结果如图所示
至此完成了scyther在windows环境下的配置与测试。
scyther官网:https://people.cispa.io/cas.cremers/scyther/index.html