5 citations · 10 across the 4 of their papers we have counts for
4 papers
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…
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…
AnaDroid: Malware Analysis of Android with User-supplied Predicates
Shuying Liang, Matthew Might, David Van Horn
Today's mobile platforms provide only coarse-grained permissions to users with regard to how third- party applications use sensitive private data. Unfortunately, it is easy to disg…
Pushdown Exception-Flow Analysis of Object-Oriented Programs
Shuying Liang, Matthew Might, Thomas Gilray +1
Statically reasoning in the presence of and about exceptions is challenging: exceptions worsen the well-known mutual recursion between data-flow and control-flow analysis. The rece…