In this report, we formalize a meta-level static analysis for JavaScript as a defined-language with IRES as a defining-language. We first define IRES and a JavaScript definitional interpreter as an IRES program. Then, we define a meta-level static analysis for JavaScript with the abstract semantics of IRES in the abstract interpretation framework. In addition, we explain how to indirectly express abstract domains and analysis sensitivities for JavaScript
JavaScript is a dynamic object-oriented programming language, which is designed with flexi-ble progr...
Although the dynamicity of languages such as JavaScript threatens our ability to understand them, by...
In recent years, dynamic languages, such as JavaScript or Python, have faced an important increment ...
JSAVER is a JavaScript Static Analyzer via ECMAScript Representation. It is the first tool that auto...
JavaScript is widespread. Web developers use JavaScript to enrich user experience via dynamic conten...
Static analysis techniques provide a means to detect software errors early in the development proces...
JavaScript is used everywhere from the browser to the server, including desktops and mobile devices....
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to comput...
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...
Abstract—JavaScript has become a popular programming language. However, its highly dynamic nature en...
Static analysis of JavaScript has proven useful for a variety of pur-poses, including optimization, ...
Dynamic programming languages are highly popular and widely used. Java-Script is often called the li...
In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a w...
In this paper we propose a unifying approach for the static analysis of string values based on abstr...
JavaScript is a dynamic object-oriented programming language, which is designed with flexi-ble progr...
Although the dynamicity of languages such as JavaScript threatens our ability to understand them, by...
In recent years, dynamic languages, such as JavaScript or Python, have faced an important increment ...
JSAVER is a JavaScript Static Analyzer via ECMAScript Representation. It is the first tool that auto...
JavaScript is widespread. Web developers use JavaScript to enrich user experience via dynamic conten...
Static analysis techniques provide a means to detect software errors early in the development proces...
JavaScript is used everywhere from the browser to the server, including desktops and mobile devices....
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to comput...
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...
Abstract—JavaScript has become a popular programming language. However, its highly dynamic nature en...
Static analysis of JavaScript has proven useful for a variety of pur-poses, including optimization, ...
Dynamic programming languages are highly popular and widely used. Java-Script is often called the li...
In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a w...
In this paper we propose a unifying approach for the static analysis of string values based on abstr...
JavaScript is a dynamic object-oriented programming language, which is designed with flexi-ble progr...
Although the dynamicity of languages such as JavaScript threatens our ability to understand them, by...
In recent years, dynamic languages, such as JavaScript or Python, have faced an important increment ...
DOI
Add to ORKG