Journal article Open Access

Artifact for Symbolic Execution for Randomized Programs

Susag, Zachary; Lahiri, Sumit; Hsu, Justin; Roy, Subhajit

This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2022. Source code for Plinko and our modified version of KLEE can be found in the "plinko" and "klee" directories, respectively. Source code for the case studies and scripts to recreate the experimental results found in the paper are in the "experiments" directory. Instructions for how to build Plinko and run the experiments can be found in the "artifact_overview.pdf" document.

Files (5.5 MB)
Name Size
artifact_overview.pdf
md5:fdf86a4a2fa6835379822b5e0d191dd6
298.4 kB Download
plinko-oopsla-artifact.tar.gz
md5:65ab52d2980d2495207096be4e2f5bb6
5.2 MB Download
32
26
views
downloads
All versions This version
Views 3232
Downloads 2626
Data volume 17.5 MB17.5 MB
Unique views 2828
Unique downloads 2525

Share

Cite as