Code executability plays a vital role in software debugging and testing (eg, detecting runtime
exceptions or assertion violations). However, code execution, especially partial or arbitrary …

Program analysis techniques play an important role in detecting security vulnerabilities. In
this paper we describe our experiences in developing a variety of tools that detect security …

Prototype-based languages like JavaScript are susceptible to prototype pollution
vulnerabilities, enabling an attacker to inject arbitrary properties into an object's prototype …

Static taint analysis is a widely used method to identify vulnerabilities in Android
applications. However, the existing tools for static analysis often struggle with processing …

The ubiquity of digital systems in modern society highlights the critical importance of
software security. As applications grow in complexity, the threats targeting them have also …

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 …