Abstract Information-flow tracking is useful for preventing malicious code execution and
sensitive information leakage. Unfortunately, the performance penalty of the currently …

Dynamic taint analysis is a popular program analysis technique which detects whether
values from specific sources in the program under analysis propagate to specific sinks at run …

JavaScript is arguably today's most popular programming language, and it is ubiquitous as
the “language of the web”. It is dynamically typed, meaning that programmers do not write …

Dynamic taint analysis assigns taint labels to sensitive data and tracks the propagation of
such tainted data during program execution. This program analysis technique has been …

Modern, optimizing compilers rely on hundreds of heuristics to decide whether and how to
apply optimizations during compilation. These heuristics are typically hand-crafted and …