Localizing Router Configuration Errors Using Minimal Correction Sets
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:Y3IIMS5Drecord.jsonopen to challenge →
read the original abstract
Router configuration errors are unfortunately common and difficult to localize using current network verifiers. We introduce a novel configuration error localizer (CEL) that precisely identifies which configuration segments contribute to the violation of forwarding requirements. In particular, CEL generates a system of satisfiability modulo theories (SMT) constraints-which encode a network's configurations, control logic, and forwarding requirements-and uses a domain-specific minimal correction set (MCS) enumeration algorithm to identify problematic configuration segments. CEL efficiently locates several configuration errors in real university networks and identifies all routing-related and at least half of all ACL-related errors we introduce.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
Astragalus: Automatic Configuration Repair for Production Networks
Astragalus applies a syntax-driven localize-fix-validate pipeline to network configurations, repairing all incidents in synthesized networks and 97.5% on a real production network with 15 error types in 6.93 seconds average.
-
Astragalus: Automatic Configuration Repair for Production Networks
Astragalus applies a syntax-driven localize-fix-validate loop to repair network configuration errors and reports 100% success on synthetic networks plus 97.5% on real ones across 15 error types in under 8 seconds on average.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.