Visible to the public SaTC: CORE: Small: Enabling Systematic Evaluation of the Soundness of Android Security Analysis Techniques