Linghui LuoinASE ConferenceCOVA: A Static Analysis Tool for Computing Partial Path ConditionsThe content for this blog post is mainly from the research paper A Qualitative Analysis of Android Taint-Analysis Results, written by me…Oct 16, 20191Oct 16, 20191