【文件属性】:
文件名称:anteater:用于网络设备数据平面状态的静态分析工具
文件大小:92KB
文件格式:ZIP
更新时间:2021-05-19 09:14:32
Ruby
Anteater是一种通过对网络设备的数据平面状态进行静态分析来检测网络错误的工具。 Anteater将高级网络不变量转换为布尔可满足性问题(SAT),使用SAT求解器将它们与网络状态进行对照,并在发现违规情况时报告反例。
有关更多信息,请阅读上发表的:
郝浩迈等。 。 在ACM SIGCOMM 2011会议论文集中。
建造
Anteater需要以下依赖项才能构建和运行:
CMake 2.6或更高
LLVM 2.9
提升1.42
Coreutils
SAT求解器(目前,Anteater支持Boolector,Yices和Z3)
要构建食蚁兽:
$ cmake
$ make
您可以在tools/scripts目录下的文件中找到不变检查器,然后运行它们以检测网络问题。
贡献
您的拉取要求表示赞赏!