In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at diversified levels of precision and efficiency, and it can check various properties
Using contracts such as method preconditions, postconditions, and class invariants in code is an app...
In this paper we formalize Tarsis, a new abstract domain based on the abstract interpretation theory...
In modern programming languages, more and more functionalities, such as reflection and data intercha...
In this paper we propose a unifying approach for the static analysis of string values based on abstr...
Strings are widely used in modern programming languages in various scenarios. For instance, strings ...
Strings are widely used in modern programming languages in various scenarios. For instance, strings ...
Strings play a central role in JavaScript and similar scripting languages. Owing to dynamic features...
Strings play a central role in JavaScript and similar scripting languages. Owing to dynamic features...
To Rebecca, the light of my eyes The goal of this thesis is to contribute to the field of formal met...
Abstract interpretation is a well established theory that supports reasoning about the run-time beha...
Interpretation is a well established theory that supports reasoning about the run-time behaviour of ...
In recent years, dynamic languages, such as JavaScript or Python, have faced an important increment ...
Static analysis is property extraction from formal systems. Abstract interpretation is a foundation ...
The application field of static analysis techniques for objectoriented programming is getting broade...
International audienceThe aim of static analysis is to infer invariants about programs that are tigh...
Using contracts such as method preconditions, postconditions, and class invariants in code is an app...
In this paper we formalize Tarsis, a new abstract domain based on the abstract interpretation theory...
In modern programming languages, more and more functionalities, such as reflection and data intercha...
In this paper we propose a unifying approach for the static analysis of string values based on abstr...
Strings are widely used in modern programming languages in various scenarios. For instance, strings ...
Strings are widely used in modern programming languages in various scenarios. For instance, strings ...
Strings play a central role in JavaScript and similar scripting languages. Owing to dynamic features...
Strings play a central role in JavaScript and similar scripting languages. Owing to dynamic features...
To Rebecca, the light of my eyes The goal of this thesis is to contribute to the field of formal met...
Abstract interpretation is a well established theory that supports reasoning about the run-time beha...
Interpretation is a well established theory that supports reasoning about the run-time behaviour of ...
In recent years, dynamic languages, such as JavaScript or Python, have faced an important increment ...
Static analysis is property extraction from formal systems. Abstract interpretation is a foundation ...
The application field of static analysis techniques for objectoriented programming is getting broade...
International audienceThe aim of static analysis is to infer invariants about programs that are tigh...
Using contracts such as method preconditions, postconditions, and class invariants in code is an app...
In this paper we formalize Tarsis, a new abstract domain based on the abstract interpretation theory...
In modern programming languages, more and more functionalities, such as reflection and data intercha...
DOI
Add to ORKG