Batfish: OSS network configuration static analysis, find bugs, test correctness

great tool, clever techniques, surpasses Chrome browser levels of eating memory :(