Automated Program Analysis for Advanced Web Applications

Informations projet

PAW

N° de convention de subvention: 647544

DOI

10.3030/647544

Projet clôturé

Date de signature de la CE 6 Mars 2015

Date de début 1 Août 2015

Date de fin 31 Janvier 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 977 382,00

Contribution de l’UE

€ 1 977 382,00

Coordonné par

AARHUS UNIVERSITET
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (23)

Modular Call Graph Construction for Security Scanning of Node.js Applications

Auteurs: Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Publié dans: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Numéro ISSTA 2021, 2021
Éditeur: Association for Computing Machinery
DOI: 10.1145/3460319.3464836

Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization

Auteurs: Anders Møller, Oskar Haarklou Veileborg
Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA 2020, 2020
Éditeur: Association for Computing Machinery
DOI: 10.1145/3428236

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries

Auteurs: Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
Publié dans: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), Numéro ICSE 2021, 2021
Éditeur: The Institute of Electrical and Electronics Engineers
DOI: 10.1109/icse43902.2021.00020

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes

Auteurs: Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA 2020, 2020
Éditeur: Association for Computing Machinery
DOI: 10.1145/3428255

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Auteurs: Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Publié dans: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Numéro SOAP 2017, 2017
Éditeur: Association for Computing Machinery
DOI: 10.1145/3088515.3088521

Practical Initialization Race Detection for JavaScript Web Applications

Auteurs: Christoffer Quist Adamsen, Anders Møller, Frank Tip
Publié dans: Proceedings of the ACM on Programming Languages, OOPSLA, Numéro OOPSLA 2017, 2017
Éditeur: Association for Computing Machinery
DOI: 10.1145/3133890

Systematic Black-Box Analysis of Collaborative Web Applications

Auteurs: Marina Billes, Anders Møller, Michael Pradel
Publié dans: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Numéro PLDI 2017, 2017
Éditeur: Association for Computing Machinery
DOI: 10.1145/3062341.3062364

Type Test Scripts for TypeScript Testing

Auteurs: Erik Krogh Kristensen, Anders Møller
Publié dans: Proceedings of the ACM on Programming Languages, OOPSLA, Numéro OOPSLA 2017, 2017
Éditeur: Association for Computing Machinery
DOI: 10.1145/3133914

Precision-Guided Context Sensitivity for Pointer Analysis

Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA, 141, 2018, Page(s) 141:1-141:29
Éditeur: Association for Computing Machinery
DOI: 10.1145/3276511

Practical AJAX Race Detection for JavaScript Web Applications

Auteurs: Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
Publié dans: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Numéro ESEC/FSE 2018, 2018
Éditeur: Association for Computing Machinery
DOI: 10.1145/3236024.3236038

Type Regression Testing to Detect Breaking Changes in Node.js Libraries

Auteurs: Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Publié dans: 32nd European Conference on Object-Oriented Programming - Leibniz International Proceedings in Informatics, Numéro ECOOP 2018, 2018
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI: 10.4230/lipics.ecoop.2018.7

Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publié dans: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Numéro ESEC/FSE 2018, 2018
Éditeur: Association for Computing Machinery
DOI: 10.1145/3236024.3236041

Type Unsoundness in Practice: An Empirical Study of Dart

Auteurs: Gianluca Mezzetti, Anders Møller, Fabio Strocco
Publié dans: Proceedings of the 12th Symposium on Dynamic Languages, Numéro DLS 2016, 2016
Éditeur: Association for Computing Machinery
DOI: 10.1145/2989225.2989227

Analyzing Test Completeness for Dynamic Languages

Auteurs: Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Publié dans: Proceedings of the 25th International Symposium on Software Testing and Analysis, Numéro ISSTA 2016, 2016
Éditeur: Association for Computing Machinery
DOI: 10.1145/2931037.2931059

Feedback-Directed Instrumentation for Deployed JavaScript Applications

Auteurs: Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Publié dans: Proceedings of the 38th International Conference on Software Engineering, Numéro ICSE 2016, 2016
Éditeur: Association for Computing Machinery
DOI: 10.1145/2884781.2884846

Type Safety Analysis for Dart

Auteurs: Thomas S. Heinze, Anders Møller, Fabio Strocco
Publié dans: Proceedings of the 12th Symposium on Dynamic Languages, Numéro DLS 2016, 2016
Éditeur: Association for Computing Machinery
DOI: 10.1145/2989225.2989226

Repairing Event Race Errors by Controlling Nondeterminism

Auteurs: Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Publié dans: Proceedings of the 39th International Conference on Software Engineering, Numéro ICSE 2017, 2017
Éditeur: IEEE Press
DOI: 10.1109/icse.2017.34

Inference and Evolution of TypeScript Declaration Files

Auteurs: Erik Krogh Kristensen, Anders Møller
Publié dans: Fundamental Approaches to Software Engineering - 20th International Conference, Numéro FASE 2017, 2017
Éditeur: Springer
DOI: 10.1007/978-3-662-54494-5_6

NodeRacer: Event Race Detection for Node.js Applications

Auteurs: André Takeshi Endo, Anders Møller
Publié dans: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, Numéro ICST 2020, 2020
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/icst46399.2020.00022

Model-based testing of breaking changes in Node.js libraries

Auteurs: Anders Møller, Martin Toldam Torp
Publié dans: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Page(s) 409-419, ISBN 9781450355728
Éditeur: Association for Computing Machinery
DOI: 10.1145/3338906.3338940

Reasonably-Most-General Clients for JavaScript Library Analysis

Auteurs: Erik Krogh Kristensen, Anders Moller
Publié dans: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Page(s) 83-93, ISBN 978-1-7281-0869-8
Éditeur: IEEE
DOI: 10.1109/icse.2019.00026

Extracting Taint Specifications for JavaScript Libraries

Auteurs: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Michael Pradel
Publié dans: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Numéro ICSE 2020, 2020
Éditeur: Association for Computing Machinery
DOI: 10.1145/3377811.3380390

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

Auteurs: Benjamin Barslev Nielsen, Anders Møller
Publié dans: 34th European Conference on Object-Oriented Programming, Numéro ECOOP 2020, 2020
Éditeur: Schloss Dagstuhl Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.16

Peer reviewed articles (5)

QuickChecking Static Analysis Properties

Auteurs: Jan Midtgaard, Anders Møller
Publié dans: Software Testing, Verification & Reliability, 2017, ISSN 0960-0833
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1640

A Survey of Dynamic Analysis and Test Generation for JavaScript

Auteurs: Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
Publié dans: ACM Computing Surveys, Numéro 50(5), 2017, ISSN 1557-7341
Éditeur: Association for Computing Machinery
DOI: 10.1145/3106739

Message safety in Dart

Auteurs: Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Publié dans: Science of Computer Programming, Numéro 133(1), 2016, Page(s) 51-73, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2016.06.006

Static analysis with demand-driven value refinement

Auteurs: Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 3/OOPSLA, 2019, Page(s) 1-29, ISSN 2475-1421
Éditeur: Association for Computing Machinery
DOI: 10.1145/3360566

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publié dans: ACM Transactions on Programming Languages and Systems, 2020, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3381915

Non-peer reviewed articles (1)

WebAssembly: a quiet revolution of the web

Auteurs: Anders Møller
Publié dans: Communications of the ACM, Numéro 61/12, 2018, Page(s) 106-106, ISSN 0001-0782
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3282508