Automating configuration troubleshooting with dynamic information flow analysis | Synapse