Due to its ability to detect many frequently occurring security vulnerabilities, taint analysis is
one of the core static analyses used by many static application security testing (SAST) tools …

The use of static analysis security testing (SAST) tools has been increasing in recent years.
However, previous studies have shown that, when shipped to end users such as …

To detect security vulnerabilities, static analysis tools need to be configured with security-
relevant methods. Current approaches can automatically identify such methods using binary …

Framework-based multilingual software development (MLSD) is becoming prevalent in
software engineering practice. Despite the advantages, framework-based MLSD also leads …

Modern applications often rely on rich frameworks to provide functionality. Android, for
instance, handles many aspects of building a mobile app. But these frameworks also have …

Static analysis is a growing application of software engineering, leading to a range of
essential security tools, bug-finding tools, as well as software verification. Recent years …

Security practitioners routinely use static analysis to detect security problems and privacy
violations in Android apps. The soundness of these analyses depends on how the platform …

In a world of interconnected devices, app-based ecosystems enable a seamless user
experience across devices. Although convenient for users, this expanded ecosystem also …

As an alternative to Java, Kotlin has gained rapid popularity since its introduction and has
become the default choice for developing Android apps. However, due to its inter-operability …

Static analysis techniques enhance the security, performance, and reliability of programs by
analyzing and portraiting program behaviors without the need for actual execution. In …