Most existing Android malware detection and categorization techniques are static
approaches, which suffer from evasion attacks, such as obfuscation. By analyzing program …

Dynamic information flow analysis (DIFA) supports various security applications such as
malware analysis and vulnerability discovery. Yet traditional DIFA approaches have limited …

Analyzing multilingual code holistically is key to systematic quality assurance of real-world
software which is mostly developed in multiple computer languages. Toward such analyses …

Dynamic impact analysis is a fundamental technique for understanding the impact of specific
program entities, or changes to them, on the rest of the program for concrete executions …

Impact analysis (IA) is a critical software maintenance task that identifies the effects of a
given set of code changes on a larger software project with the intention of avoiding …

As modern software systems are increasingly developed for running in distributed
environments, it is crucial to provide fundamental techniques such as dependence analysis …

As the Android app market keeps growing, there is a pressing need for automated tool
supports to empower Android developers to produce quality apps with higher productivity …

A defining, unique aspect of distributed systems lies in interprocess communication (IPC)
through which distributed components interact and collaborate toward the holistic system …

Change impact analysis (CIA) is a specialized process of program comprehension that
investigates the ripple effects of a code change in a software system. In this paper, we …

The correctness of software is affected by its constant changes. For that reason, developers
use change-impact analysis to identify early the potential consequences of changing their …