Toward a framework for detecting privacy policy violations in android application code | Synapse