Do not blame users for misconfigurations
Detecting BGP configuration faults with static analysis