Constructing features for detecting android malicious applications: issues, taxonomy and directions
The number of applications (apps) available for smart devices or Android based IoT (Internet
of Things) has surged dramatically over the past few years. Meanwhile, the volume of ill …
of Things) has surged dramatically over the past few years. Meanwhile, the volume of ill …
When threads meet events: efficient and precise static race detection with origins
Data races are among the worst bugs in software in that they exhibit non-deterministic
symptoms and are notoriously difficult to detect. The problem is exacerbated by interactions …
symptoms and are notoriously difficult to detect. The problem is exacerbated by interactions …
Flaky test detection in Android via event order exploration
Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to
non-deterministic execution environments, a sequence of events (a test) may lead to …
non-deterministic execution environments, a sequence of events (a test) may lead to …
Concurrency-related flaky test detection in android apps
Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to
non-deterministic execution environments, a sequence of events (a test) may lead to …
non-deterministic execution environments, a sequence of events (a test) may lead to …
When memory corruption met concurrency: Vulnerabilities in concurrent programs
O Llorente-Vazquez, I Santos-Grueiro… - IEEE Access, 2023 - ieeexplore.ieee.org
Concurrent programs are widespread in modern systems. They make better use of
processor resources but inevitably introduce a new set of problems in terms of reliability and …
processor resources but inevitably introduce a new set of problems in terms of reliability and …
Precise static happens-before analysis for detecting UAF order violations in android
Unlike Java, Android provides a rich set of APIs to support a hybrid concurrency system,
which consists of both Java threads and an event queue mechanism for dispatching …
which consists of both Java threads and an event queue mechanism for dispatching …
Call Graph Soundness in Android Static Analysis
Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of
a program's code. Any such omission is a serious threat to the validity of the tool's output …
a program's code. Any such omission is a serious threat to the validity of the tool's output …
Context-sensitive data race detection for concurrent programs
Y Zhang, H Liu, L Qiao - IEEE Access, 2021 - ieeexplore.ieee.org
Data races have become one of the severe issues affecting the correctness of concurrent
programs. Existing detection tools for data races have many false positives and false …
programs. Existing detection tools for data races have many false positives and false …
ER catcher: a static analysis framework for accurate and scalable event-race detection in Android
Android platform provisions a number of sophisticated concurrency mechanisms for the
development of apps. The concurrency mechanisms, while powerful, are quite difficult to …
development of apps. The concurrency mechanisms, while powerful, are quite difficult to …
Exposing android event-based races by selective branch instrumentation
Android supports an event dispatching system that reacts to system and user actions by
generating events. However, lack of synchronization between events can lead to event …
generating events. However, lack of synchronization between events can lead to event …