win11环境下配置Scyther

相关软件包准备：

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环境

1. 卸载原有的python3.x环境（找过相关python2.x和3.x共存的资料，但最后都配置失败了，所以直接卸载原有环境--找到相关文件夹，全部删除，然后删除环境变量）
2. 点击python-2.7.18.amd64，下一步即可。（因为scyther依赖旧版本，所以需要python2.x的环境）
3. 配置环境：点击“我的电脑”属性——点击 高级系统设置——点击 环境变量——在path中添加对应的环境变量

   

4. 打开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压缩包解压到某个文件夹即可

测试启动

1. 进入到scyther-w32-v1.1.3文件夹下
2. 打开windows终端，输入命令 python scyther-gui.py（或者直接打开终端，使用命令进入对应文件夹），即可启动scyther
3. 测试引用文献https://ieeexplore.ieee.org/document/9905232中的代码，测试部分代码和测试结果如图所示

至此完成了scyther在windows环境下的配置与测试。

scyther官网：https://people.cispa.io/cas.cremers/scyther/index.html