SUDS: SW Bug Detection Infrastructure-开源

【文件属性】：

文件名称：SUDS: SW Bug Detection Infrastructure-开源

文件大小：242KB

文件格式：GZ

更新时间：2024-05-14 21:42:06

开源软件

SUDS是一个软件错误检测研究基础架构，具有对动态检测和静态分析的支持。