Automated Program Analysis for Advanced Web Applications

Projektinformationen

PAW

ID Finanzhilfevereinbarung: 647544

DOI

10.3030/647544

Projekt abgeschlossen

EK-Unterschriftsdatum 6 März 2015

Startdatum 1 August 2015

Enddatum 31 Januar 2022

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 977 382,00

EU-Beitrag

€ 1 977 382,00

Koordiniert durch

AARHUS UNIVERSITET
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (23)

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

Autoren: Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Veröffentlicht in: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Ausgabe ISSTA 2021, 2021
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3460319.3464836

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

Autoren: Anders Møller, Oskar Haarklou Veileborg
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3428236

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries

Autoren: Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
Veröffentlicht in: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), Ausgabe ICSE 2021, 2021
Herausgeber: The Institute of Electrical and Electronics Engineers
DOI: 10.1109/icse43902.2021.00020

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes

Autoren: Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3428255

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Autoren: Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Veröffentlicht in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Ausgabe SOAP 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3088515.3088521

Practical Initialization Race Detection for JavaScript Web Applications

Autoren: Christoffer Quist Adamsen, Anders Møller, Frank Tip
Veröffentlicht in: Proceedings of the ACM on Programming Languages, OOPSLA, Ausgabe OOPSLA 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3133890

Systematic Black-Box Analysis of Collaborative Web Applications

Autoren: Marina Billes, Anders Møller, Michael Pradel
Veröffentlicht in: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Ausgabe PLDI 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3062341.3062364

Type Test Scripts for TypeScript Testing

Autoren: Erik Krogh Kristensen, Anders Møller
Veröffentlicht in: Proceedings of the ACM on Programming Languages, OOPSLA, Ausgabe OOPSLA 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3133914

Precision-Guided Context Sensitivity for Pointer Analysis

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA, 141, 2018, Seite(n) 141:1-141:29
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3276511

Practical AJAX Race Detection for JavaScript Web Applications

Autoren: Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
Veröffentlicht in: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Ausgabe ESEC/FSE 2018, 2018
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3236024.3236038

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

Autoren: Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Veröffentlicht in: 32nd European Conference on Object-Oriented Programming - Leibniz International Proceedings in Informatics, Ausgabe ECOOP 2018, 2018
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI: 10.4230/lipics.ecoop.2018.7

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

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Ausgabe ESEC/FSE 2018, 2018
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3236024.3236041

Type Unsoundness in Practice: An Empirical Study of Dart

Autoren: Gianluca Mezzetti, Anders Møller, Fabio Strocco
Veröffentlicht in: Proceedings of the 12th Symposium on Dynamic Languages, Ausgabe DLS 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2989225.2989227

Analyzing Test Completeness for Dynamic Languages

Autoren: Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Veröffentlicht in: Proceedings of the 25th International Symposium on Software Testing and Analysis, Ausgabe ISSTA 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2931037.2931059

Feedback-Directed Instrumentation for Deployed JavaScript Applications

Autoren: Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Veröffentlicht in: Proceedings of the 38th International Conference on Software Engineering, Ausgabe ICSE 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2884781.2884846

Type Safety Analysis for Dart

Autoren: Thomas S. Heinze, Anders Møller, Fabio Strocco
Veröffentlicht in: Proceedings of the 12th Symposium on Dynamic Languages, Ausgabe DLS 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2989225.2989226

Repairing Event Race Errors by Controlling Nondeterminism

Autoren: Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Veröffentlicht in: Proceedings of the 39th International Conference on Software Engineering, Ausgabe ICSE 2017, 2017
Herausgeber: IEEE Press
DOI: 10.1109/icse.2017.34

Inference and Evolution of TypeScript Declaration Files

Autoren: Erik Krogh Kristensen, Anders Møller
Veröffentlicht in: Fundamental Approaches to Software Engineering - 20th International Conference, Ausgabe FASE 2017, 2017
Herausgeber: Springer
DOI: 10.1007/978-3-662-54494-5_6

NodeRacer: Event Race Detection for Node.js Applications

Autoren: André Takeshi Endo, Anders Møller
Veröffentlicht in: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, Ausgabe ICST 2020, 2020
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/icst46399.2020.00022

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

Autoren: Anders Møller, Martin Toldam Torp
Veröffentlicht in: 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, Seite(n) 409-419, ISBN 9781450355728
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3338906.3338940

Reasonably-Most-General Clients for JavaScript Library Analysis

Autoren: Erik Krogh Kristensen, Anders Moller
Veröffentlicht in: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Seite(n) 83-93, ISBN 978-1-7281-0869-8
Herausgeber: IEEE
DOI: 10.1109/icse.2019.00026

Extracting Taint Specifications for JavaScript Libraries

Autoren: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Michael Pradel
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Ausgabe ICSE 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3377811.3380390

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

Autoren: Benjamin Barslev Nielsen, Anders Møller
Veröffentlicht in: 34th European Conference on Object-Oriented Programming, Ausgabe ECOOP 2020, 2020
Herausgeber: Schloss Dagstuhl Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.16

Peer reviewed articles (5)

QuickChecking Static Analysis Properties

Autoren: Jan Midtgaard, Anders Møller
Veröffentlicht in: Software Testing, Verification & Reliability, 2017, ISSN 0960-0833
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1640

A Survey of Dynamic Analysis and Test Generation for JavaScript

Autoren: Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
Veröffentlicht in: ACM Computing Surveys, Ausgabe 50(5), 2017, ISSN 1557-7341
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3106739

Message safety in Dart

Autoren: Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Veröffentlicht in: Science of Computer Programming, Ausgabe 133(1), 2016, Seite(n) 51-73, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2016.06.006

Static analysis with demand-driven value refinement

Autoren: Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 3/OOPSLA, 2019, Seite(n) 1-29, ISSN 2475-1421
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3360566

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, 2020, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3381915

Non-peer reviewed articles (1)

WebAssembly: a quiet revolution of the web

Autoren: Anders Møller
Veröffentlicht in: Communications of the ACM, Ausgabe 61/12, 2018, Seite(n) 106-106, ISSN 0001-0782
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3282508