资 源 简 介
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.
