Static analysis for security | Synapse