章鱼工具包_利用多样化子公式对SMT求解器进行模糊测试的文物

本数据集为Octopus工具的 artifacts 包，Octopus是用于检测SMT求解器可靠性漏洞的工具，通过多样化子公式模糊测试方法，已向Z3求解器提交10份有效漏洞报告，其中7份已确认或修复。数据集包含工具安装、使用说明及已发现的Z3漏洞列表。