The Routing Configuration Checker (rcc).  Static configuration analysis of BGP and IGP configuration.