The behavior of software that uses the Java Reflection API is fundamentally hard to predict
by analyzing code. Only recent static analysis approaches can resolve reflection under …

The metaphor of technical debt was introduced to express the trade off between productivity
and quality, ie, when developers take shortcuts or perform quick hacks. More recently, our …

Call graphs play an important role in different contexts, such as profiling and vulnerability
propagation analysis. Generating call graphs in an efficient manner can be a challenging …

A wealth of recent research proposes static data flow analysis for the security analysis of
Android applications. One of the building blocks that these analysis systems rely upon is the …

Application partitioning that splits the executions into local and remote parts, plays a critical
role in high-performance mobile offloading systems. Optimal partitioning will allow mobile …

Running very complex applications on mobile devices is still challenging since they are
constrained by limited resources, such as memory capacity, network bandwidth, processor …

Mobile applications can access both sensitive personal data and the network, giving rise to
threats of data leaks. App auditing is a fundamental program analysis task to reveal such …

Context-sensitive points-to analysis is valuable for achieving high precision with good
performance. The standard flavors of context-sensitivity are call-site-sensitivity (kCFA) and …

JavaScript is a language that is widely-used for both web-based and standalone
applications such as those in the upcoming Windows 8 operating system. Analysis of …

After decades of research, constructing call graphs for modern C-based software remains
either imprecise or inefficient when scaling up to the ever-growing complexity. The main …