Automating environmental vulnerability analysis for network services | Synapse