文件名称：PyExSMT:Python符号执行
文件大小：104KB
文件格式：ZIP
更新时间：2024-05-31 10:16:44
Python
PyExSMT 使用PySMT进行Python探索 这段代码是对Python的PyExZ3（ ）符号执行引擎的实质性重写，现在使用了PySMT项目（ ）。 正在安装 # Install this fork of PySMT git clone https://github.com/FedericoAureliano/pysmt.git cd pysmt sudo python3 setup.py install cd .. # Install PyExSMT git clone https://github.com/FedericoAureliano/PyExSMT.git cd PyExSMT sudo python3 setup.py install # To display graphs sudo apt install graphviz 用法 usage: pyexsmt