Pinned Repositories
Ferret
Automatic Test generator and Differential Tester for DNS Nameserver implementations
FerretDataset
Auto-generated tests from Ferret to test DNS nameserver implementations
groot
Static verification tool for DNS zone files
DiffyConfigAnalyzer
A tool for finding configuration anomalies.
1bit-Trie
apted
Python APTED algorithm for the Tree Edit Distance
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
netverify.github.io
SelfStarter
Tool using automatic template inference to find network misconfigurations
sivakesava1.github.io
SivaKesava1's Repositories
SivaKesava1/SelfStarter
Tool using automatic template inference to find network misconfigurations
SivaKesava1/1bit-Trie
SivaKesava1/apted
Python APTED algorithm for the Tree Edit Distance
SivaKesava1/batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
SivaKesava1/netverify.github.io
SivaKesava1/sivakesava1.github.io
SivaKesava1/xgoldmon
Convert log messages by phones with XGold baseband processor back to GSM/UMTS radio messages