{PolyCruise}: A {Cross-Language} dynamic information flow analysis
Despite the fact that most real-world software systems today are written in multiple
programming languages, existing program analysis based security techniques are still …
programming languages, existing program analysis based security techniques are still …
MiniTracker: Large-Scale Sensitive Information Tracking in Mini Apps
W Li, B Yang, H Ye, L Xiang, Q Tao… - … on Dependable and …, 2023 - ieeexplore.ieee.org
Running on host mobile applications, mini apps have gained increasing popularity these
days for its convenience in installation and usage. However, being easy to use allows mini …
days for its convenience in installation and usage. However, being easy to use allows mini …
Broadening horizons of multilingual static analysis: Semantic summary extraction from C code for JNI program analysis
Most programming languages support foreign language interoperation that allows
developers to integrate multiple modules implemented in different languages into a single …
developers to integrate multiple modules implemented in different languages into a single …
Declarative static analysis for multilingual programs using CodeQL
Declarative static program analysis has become one of the widely‐used program analysis
techniques. Declarative static analyzers perform three steps: creating databases of facts …
techniques. Declarative static analyzers perform three steps: creating databases of facts …
Bilingual problems: Studying the security risks incurred by native extensions in scripting languages
Scripting languages are continuously gaining popularity due to their ease of use and the
flourishing software ecosystems surrounding them. These languages offer crash and …
flourishing software ecosystems surrounding them. These languages offer crash and …
Challenges of multilingual program specification and analysis
Multilingual programs, whose implementations are made of different languages, are gaining
traction especially in domains, such as web programming, that particularly benefit from the …
traction especially in domains, such as web programming, that particularly benefit from the …
A large scale analysis of android—web hybridization
Many Android applications embed webpages via WebView components and execute
JavaScript code within Android. Hybrid applications leverage dedicated APIs to load a …
JavaScript code within Android. Hybrid applications leverage dedicated APIs to load a …
Understanding the Impact of Fingerprinting in Android Hybrid Apps
Numerous studies demonstrate that browser fingerprinting is detrimental to users' security
and privacy. However, little is known about the effects of browser fingerprinting on Android …
and privacy. However, little is known about the effects of browser fingerprinting on Android …
Learning to Detect and Localize Multilingual Bugs
Increasing studies have shown bugs in multi-language software as a critical loophole in
modern software quality assurance, especially those induced by language interactions (ie …
modern software quality assurance, especially those induced by language interactions (ie …
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption
Mobile platforms are rapidly and continuously changing, with support for new sensors, APIs,
and programming abstractions. Static analysis is gaining a growing interest, allowing …
and programming abstractions. Static analysis is gaining a growing interest, allowing …