S2MSM源代码阅读——后端

S2MSM源代码

S2MSM是这个工具前端的源代码，SSML_Analysis是后端的代码

---

后端

后端语言：c++

平台：visual studio 2019

源代码文件包

Release：vs写完后生成的应用程序，对应Setup安装程序

SSML_Analysis: 源代码

SSML_Analysis_Setup: vs生成的安装文件夹

该文件夹下的Release里都是程序运行之后生成的可运行应用程序。

这几个文件夹是vs生成的。

运行代码：main.cpp

此外，需要输入一些参数：包括运行的所在地址，state文件名，trans文件名，value文件名，constrains文件名。

（前端会自动生成这些文件，并自动调用后端程序与填写这些参数，无需输入，但只运行后端的话，就需要手动写参数了）

功能

后端实现dui，

对安全状态的可达性，完备性，安全性验证。

代码：State_Data.cpp