Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Uloženo v:
| Název: | Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact) |
|---|---|
| Autoři: | Park, Changhee, Ryu, Sukyoung |
| Přispěvatelé: | Changhee Park and Sukyoung Ryu |
| Informace o vydavateli: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Rok vydání: | 2015 |
| Sbírka: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| Témata: | JavaScript, static analysis, loops |
| Popis: | This artifact is an implementation of the loop-sensitive analysis (LSA) technique that can improve analysis precision and scalability in analyzing JavaScript applications by distinguishing loop iterations automatically during analysis. It has been built on SAFE, the open-source JavaScript static analyzer framework, and its package contains all benchmarks that we used in the companion ECOOP paper for evaluation. |
| Druh dokumentu: | article in journal/newspaper |
| Popis souboru: | application/pdf |
| Jazyk: | English |
| Relation: | Is Part Of DARTS, Volume 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.12 |
| DOI: | 10.4230/DARTS.1.1.12 |
| Dostupnost: | https://doi.org/10.4230/DARTS.1.1.12 https://nbn-resolving.org/urn:nbn:de:0030-drops-55216 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.12 |
| Rights: | https://creativecommons.org/licenses/by/3.0/de/legalcode |
| Přístupové číslo: | edsbas.1FC7D5C6 |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | This artifact is an implementation of the loop-sensitive analysis (LSA) technique that can improve analysis precision and scalability in analyzing JavaScript applications by distinguishing loop iterations automatically during analysis. It has been built on SAFE, the open-source JavaScript static analyzer framework, and its package contains all benchmarks that we used in the companion ECOOP paper for evaluation. |
|---|---|
| DOI: | 10.4230/DARTS.1.1.12 |