Shuying Liang

  • Citations Per Year
Learn More
Flow analysis, such as control-flow, data-flow, and exception-flow analysis, usually depends on relational operations on flow sets. Unfortunately, set related operations, such as inclusion and equality, are usually very expensive. They can easily take more than 97% of the total analyzing time, even in a very simple analysis. We attack this performance(More)
Today’s mobile platforms provide only coarse-grained permissions to users with regard to how thirdparty applications use sensitive private data. Unfortunately, it is easy to disguise malware within the boundaries of legitimately-granted permissions. For instance, granting access to “contacts” and “internet” may be necessary for a text-messaging application(More)
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 points-to analyses. We tackle the challenge of analyzing exception-flows from two angles. First, from the angle of pruning control-flows (both normal and exceptional), we derive a(More)
Sound malware analysis of Android applications is challenging. First, object-oriented programs exhibit highly interprocedural, dynamically dispatched control structure. Second, the Android programming paradigm relies heavily on the asynchronous execution of multiple entry points. Existing analysis techniques focus more on the second challenge, while relying(More)
BACKGROUND The aim of the study was to compare the efficiency of bioelectrical indices (percentage body fat, PBF; visceral fat index, VFI) and various anthropometric measures (body mass index, BMI; waist circumference, WC; waist-to-height ratio, WHtR) on determining hypertension in Chinese. METHODS We conducted the community-based cross-sectional survey(More)
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 recent development of pushdown control-flow analysis for the λ-calculus hints at a way to improve analysis of exceptions: a pushdown stack can precisely match catches to throws in the(More)
Purpose: This study aimed to evaluate the effect of bioelectrical obesity indices (percentage body fat, PBF; visceral fat index, VFI) on cardiovascular disease (CVD) and evaluate the optimal cut-off values for myocardial infarction (MI) and stroke. Method: A community-based cross-sectional study including 6027 males and 8874 females aged ≥ 35 years was(More)