5 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 5 cited
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang, Weibin Sun, Matthew Might +2
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and point…
cs.PL2013★ 4 cited
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation
Shuying Liang, Andrew W. Keep, Matthew Might +4
We present Anadroid, a static malware analysis framework for Android apps. Anadroid exploits two techniques to soundly raise precision: (1) it uses a pushdown system to precisely m…