A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
JaVerT 2.0: compositional symbolic execution for JavaScript
2019
Proceedings of the ACM on Programming Languages (PACMPL)
We propose a novel, unified approach to the development of compositional symbolic execution tools, bridging the gap between classical symbolic execution and compositional program reasoning based on separation logic. Using this approach, we build JaVerT 2.0, a symbolic analysis tool for JavaScript that follows the language semantics without simplifications. JaVerT 2.0 supports whole-program symbolic testing, verification, and, for the first time, automatic compositional testing based on
doi:10.1145/3290379
fatcat:kdbxb6ffrrddxkixh3lhfqiln4