A survey on string constraint solving
R Amadini - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
String constraint solving refers to solving combinatorial problems involving constraints over
string variables. String solving approaches have become popular over the past few years …
string variables. String solving approaches have become popular over the past few years …
Static type analysis by abstract interpretation of Python programs
Python is an increasingly popular dynamic programming language, particularly used in the
scientific community and well-known for its powerful and permissive high-level syntax. Our …
scientific community and well-known for its powerful and permissive high-level syntax. Our …
Static value analysis of Python programs by abstract interpretation
A Fromherz, A Ouadjaout, A Miné - … , NFM 2018, Newport News, VA, USA …, 2018 - Springer
We propose a static analysis by abstract interpretation for a significant subset of Python to
infer variable values, run-time errors, and uncaught exceptions. Python is a high-level …
infer variable values, run-time errors, and uncaught exceptions. Python is a high-level …
Static analysis with demand-driven value refinement
Static analysis tools for JavaScript must strike a delicate balance, achieving the level of
precision required by the most complex features of target programs without incurring …
precision required by the most complex features of target programs without incurring …
Accelerating javascript static analysis via dynamic shortcuts
JavaScript has become one of the most widely used programming languages for web
development, server-side programming, and even micro-controllers for IoT. However, its …
development, server-side programming, and even micro-controllers for IoT. However, its …
Automatically deriving JavaScript static analyzers from specifications using meta-level static analysis
JavaScript is one of the most dominant programming languages. However, despite its
popularity, it is a challenging task to correctly understand the behaviors of JavaScript …
popularity, it is a challenging task to correctly understand the behaviors of JavaScript …
Relational string abstract domains
In modern programming languages, more and more functionalities, such as reflection and
data interchange, rely on string values. String analysis statically computes the set of string …
data interchange, rely on string values. String analysis statically computes the set of string …
Value Partitioning: A lightweight approach to relational static analysis for JavaScript
BB Nielsen, A Møller - 34th European Conference on Object …, 2020 - drops.dagstuhl.de
In static analysis of modern JavaScript libraries, relational analysis at key locations is critical
to provide sound and useful results. Prior work addresses this challenge by the use of …
to provide sound and useful results. Prior work addresses this challenge by the use of …
A novel approach to string constraint solving
String processing is ubiquitous across computer science, and arguably more so in web
programming. In order to reason about programs manipulating strings we need to solve …
programming. In order to reason about programs manipulating strings we need to solve …
Dashed strings for string constraint solving
String processing is ubiquitous across computer science, and arguably more so in web
programming—where it is also a critical part of security issues such as injection attacks. In …
programming—where it is also a critical part of security issues such as injection attacks. In …