Towards Logic-based Verification of JavaScript Programs

Venue

Proceedings of 26^th Conference on Automated Deduction (CADE 26)

Publication Year

2017

Identifiers

DOI: doi:10.1007/978-3-319-63046-5_2

Authors

José Fragoso Santos
Philippa Gardner
Petar Maksimovic
Daiva Naudziuniene

Abstract

In this position paper, we argue for what we believe is a correct pathway to achieving scalable symbolic verification of JavaScript based on separation logic. We highlight the difficulties imposed by the language, the current state-of-the-art in the literature, and the sequence of steps that needs to be taken. We briefly describe \javert, our semi-automatic toolchain for JavaScript verification.

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation