Patent ID: 8875298

Claim:
A method for scalable analysis of Android applications for security vulnerability comprising: applying Android application analytics to an Android application, said applying comprising: translating an Android Dalvik bytecode to an intermediate language for program analysis; applying an application taint tracking to said Android application, wherein said application taint tracking comprises an application taint analysis that includes a preprocessing and static taint analysis of said Android application, wherein said preprocessing comprises subjecting said Android application to unpacking and component identification and constant extraction, respectively, followed by a component dependency discovery providing an enhanced IR (intermediate representation) the static taint analysis includes: automatically and iteratively performing entry point analysis; constant propagation; reflection resolution; program slicing; performing taint propagation; utilizing an indent flow statically to identify communication between components of different applications; extracting the component dependency; and iteratively improving static taint analysis; applying application repacking detection to said Android application; and determining security vulnerabilities in said Android application responsive to said analytics.