Automated Program Analysis for Advanced Web Applications

Project Information

PAW

Grant agreement ID: 647544

DOI

10.3030/647544

Project closed

EC signature date 6 March 2015

Start date 1 August 2015

End date 31 January 2022

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 977 382,00

EU contribution

€ 1 977 382,00

Coordinated by

AARHUS UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (23)

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

Author(s): Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Published in: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Issue ISSTA 2021, 2021
Publisher: Association for Computing Machinery
DOI: 10.1145/3460319.3464836

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

Author(s): Anders Møller, Oskar Haarklou Veileborg
Published in: Proceedings of the ACM on Programming Languages, Issue OOPSLA 2020, 2020
Publisher: Association for Computing Machinery
DOI: 10.1145/3428236

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries

Author(s): Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
Published in: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), Issue ICSE 2021, 2021
Publisher: The Institute of Electrical and Electronics Engineers
DOI: 10.1109/icse43902.2021.00020

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes

Author(s): Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
Published in: Proceedings of the ACM on Programming Languages, Issue OOPSLA 2020, 2020
Publisher: Association for Computing Machinery
DOI: 10.1145/3428255

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Author(s): Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Published in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Issue SOAP 2017, 2017
Publisher: Association for Computing Machinery
DOI: 10.1145/3088515.3088521

Practical Initialization Race Detection for JavaScript Web Applications

Author(s): Christoffer Quist Adamsen, Anders Møller, Frank Tip
Published in: Proceedings of the ACM on Programming Languages, OOPSLA, Issue OOPSLA 2017, 2017
Publisher: Association for Computing Machinery
DOI: 10.1145/3133890

Systematic Black-Box Analysis of Collaborative Web Applications

Author(s): Marina Billes, Anders Møller, Michael Pradel
Published in: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Issue PLDI 2017, 2017
Publisher: Association for Computing Machinery
DOI: 10.1145/3062341.3062364

Type Test Scripts for TypeScript Testing

Author(s): Erik Krogh Kristensen, Anders Møller
Published in: Proceedings of the ACM on Programming Languages, OOPSLA, Issue OOPSLA 2017, 2017
Publisher: Association for Computing Machinery
DOI: 10.1145/3133914

Precision-Guided Context Sensitivity for Pointer Analysis

Author(s): Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Published in: Proceedings of the ACM on Programming Languages, Issue OOPSLA, 141, 2018, Page(s) 141:1-141:29
Publisher: Association for Computing Machinery
DOI: 10.1145/3276511

Practical AJAX Race Detection for JavaScript Web Applications

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

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

Author(s): Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Published in: 32nd European Conference on Object-Oriented Programming - Leibniz International Proceedings in Informatics, Issue ECOOP 2018, 2018
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI: 10.4230/lipics.ecoop.2018.7

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

Author(s): Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Published in: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Issue ESEC/FSE 2018, 2018
Publisher: Association for Computing Machinery
DOI: 10.1145/3236024.3236041

Type Unsoundness in Practice: An Empirical Study of Dart

Author(s): Gianluca Mezzetti, Anders Møller, Fabio Strocco
Published in: Proceedings of the 12th Symposium on Dynamic Languages, Issue DLS 2016, 2016
Publisher: Association for Computing Machinery
DOI: 10.1145/2989225.2989227

Analyzing Test Completeness for Dynamic Languages

Author(s): Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Published in: Proceedings of the 25th International Symposium on Software Testing and Analysis, Issue ISSTA 2016, 2016
Publisher: Association for Computing Machinery
DOI: 10.1145/2931037.2931059

Feedback-Directed Instrumentation for Deployed JavaScript Applications

Author(s): Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Published in: Proceedings of the 38th International Conference on Software Engineering, Issue ICSE 2016, 2016
Publisher: Association for Computing Machinery
DOI: 10.1145/2884781.2884846

Type Safety Analysis for Dart

Author(s): Thomas S. Heinze, Anders Møller, Fabio Strocco
Published in: Proceedings of the 12th Symposium on Dynamic Languages, Issue DLS 2016, 2016
Publisher: Association for Computing Machinery
DOI: 10.1145/2989225.2989226

Repairing Event Race Errors by Controlling Nondeterminism

Author(s): Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Published in: Proceedings of the 39th International Conference on Software Engineering, Issue ICSE 2017, 2017
Publisher: IEEE Press
DOI: 10.1109/icse.2017.34

Inference and Evolution of TypeScript Declaration Files

Author(s): Erik Krogh Kristensen, Anders Møller
Published in: Fundamental Approaches to Software Engineering - 20th International Conference, Issue FASE 2017, 2017
Publisher: Springer
DOI: 10.1007/978-3-662-54494-5_6

NodeRacer: Event Race Detection for Node.js Applications

Author(s): André Takeshi Endo, Anders Møller
Published in: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, Issue ICST 2020, 2020
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/icst46399.2020.00022

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

Author(s): Anders Møller, Martin Toldam Torp
Published 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, Page(s) 409-419, ISBN 9781450355728
Publisher: Association for Computing Machinery
DOI: 10.1145/3338906.3338940

Reasonably-Most-General Clients for JavaScript Library Analysis

Author(s): Erik Krogh Kristensen, Anders Moller
Published in: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Page(s) 83-93, ISBN 978-1-7281-0869-8
Publisher: IEEE
DOI: 10.1109/icse.2019.00026

Extracting Taint Specifications for JavaScript Libraries

Author(s): Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Michael Pradel
Published in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Issue ICSE 2020, 2020
Publisher: Association for Computing Machinery
DOI: 10.1145/3377811.3380390

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

Author(s): Benjamin Barslev Nielsen, Anders Møller
Published in: 34th European Conference on Object-Oriented Programming, Issue ECOOP 2020, 2020
Publisher: Schloss Dagstuhl Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.16

Peer reviewed articles (5)

QuickChecking Static Analysis Properties

Author(s): Jan Midtgaard, Anders Møller
Published in: Software Testing, Verification & Reliability, 2017, ISSN 0960-0833
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1640

A Survey of Dynamic Analysis and Test Generation for JavaScript

Author(s): Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
Published in: ACM Computing Surveys, Issue 50(5), 2017, ISSN 1557-7341
Publisher: Association for Computing Machinery
DOI: 10.1145/3106739

Message safety in Dart

Author(s): Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Published in: Science of Computer Programming, Issue 133(1), 2016, Page(s) 51-73, ISSN 0167-6423
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2016.06.006

Static analysis with demand-driven value refinement

Author(s): Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Published in: Proceedings of the ACM on Programming Languages, Issue 3/OOPSLA, 2019, Page(s) 1-29, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3360566

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Author(s): Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Published in: ACM Transactions on Programming Languages and Systems, 2020, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3381915

Non-peer reviewed articles (1)

WebAssembly: a quiet revolution of the web

Author(s): Anders Møller
Published in: Communications of the ACM, Issue 61/12, 2018, Page(s) 106-106, ISSN 0001-0782
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3282508