Dyck reachability is the standard formulation of a large domain of static analyses, as it
achieves the sweet spot between precision and efficiency, and has thus been studied …

Precise static analyses are context-, field-and flow-sensitive. Context-and field-sensitivity are
both expressible as context-free language (CFL) reachability problems. Solving both CFL …

We present the concept of Just-In-Time (JIT) static analysis that interleaves code
development and bug fixing in an integrated development environment. Unlike traditional …

Dubbed a safer C, Rust is a modern programming language that combines memory safety
and low-level control. This interesting combination has made Rust very popular among …

Many program-analysis problems can be formulated as graph-reachability problems.
Interleaved Dyck language reachability (InterDyck-reachability) is a fundamental framework …

Stakeholders of configurable systems are often interested in knowing how configuration
options influence the performance of a system to facilitate, for example, the debugging and …

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 …

Static data flow analysis is an integral building block for many applications, ranging from
compile-time code optimization to security and privacy analysis. When assessing whether a …

Mobile phones have become important daily companions for millions of people which help
to organize both their private and their professional lives. Having access to data such as the …

While industrial-strength static analysis over large, real-world codebases has become
commonplace, so too have difficult-to-analyze language constructs, large libraries, and …