Learn More
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 disguise malware within the boundaries of legitimately-granted permissions. For instance, granting access to " contacts " and " internet " may be necessary for a text-messaging(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)
—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)
A retrospective study was conducted, and 576 human immunodeficiency virus-infected children with total lymphocyte count (TLC) and CD4 count were recruited from China. Spearman rank order correlation and receiver-operating characteristic were used. An overall positive correlation was noted between TLC and CD4 count (prehighly active antiretroviral therapy(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)
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)