Published September 8, 2022 | Version v1.0.0
Journal article Open

Artifact for Symbolic Execution for Randomized Programs

  • 1. Cornell University
  • 2. IIT Kanpur


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 Download all
298.4 kB Preview Download
5.2 MB Download