一种网络漏洞检测工具在数据平面的工作

The project has be moved to Github: https://github.com/haohui/anteater Mailing list: anteater-dev@googlegroups.com Anteater is a tool that detects networking bugs through static analysis of the data plane state of the networking devices. Anteater translates high-level network invariants into boolean satisfiability problems (SAT), checks them against network state using a SAT solver, and reports counterexamples if violations have been found. For more information please read the paper published in SIGCOMM"2011: Haohui Mai et al. Debugging the data plane with Anteater. In the Proceedings of the ACM SIGCOMM 2011 conference.

src
CMakeLists.txt
contrib
include
lib
LICENSE
make
Makefile.config.in
NOTICE
tests
tools