Using Analysis Coupling to Detect Information Flow Security Vulnerabilities | Synapse