A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Symbolic execution of verification languages and floating-point code
2018
Preserved Fulltext
of symbolic execution for this language. ...
First, an investigation into comparing several state-of-the-art program analysis tools at the level of an intermediate verification language over a large set of benchmarks, and improvements to the state-of-the-art ...
The advantage of the try-all encoding is that it doesn't matter in which order the program evaluates constraints because all of them are evaluated. ...
doi:10.25560/59705
fatcat:zljitt4ouzeyrnowg222qh5owm
Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We evaluate our technique on nine applications, including SQLite3, make and tcpdump, and show it can achieve higher coverage for both seeded and non-seeded exploration. ...
We evaluate our segmented memory model on benchmarks such as SQLite, m4 and make and observe significant decreases in execution time and memory usage. ...
Values involved in comparisons can only be one of the following: 0, i, len for integer comparisons; p 0 , p 0 +i, p 0 +len for pointer comparisons; and * p (i.e. p 0 [i]) and constant characters for character ...
doi:10.25560/91147
fatcat:ec7bjxtiqbe3bgx77cmj6lgfvm
LIPIcs, Volume 71, SNAPL'17, Complete Volume
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A syntactic approach to type soundness. Information and Computation, pages 38-94, 1994. Andrew K. Wright and Robert Cartwright. A practical soft type system for Scheme. ...
Lerner, and Shriram Krishnamurthi. A tested semantics for getters, setters, and eval in JavaScript. In Dynamic Languages Symposium (DLS), 2012. ...
, and gave them a framework for exploring language designs. ...
doi:10.4230/lipics.snapl.2017
fatcat:tmxd6cpxebfbdi6xs3ki5cbgfi