Published May 6, 2022 | Version v1
Software Open

Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers

Creators

  • 1. Stanford University

Description

This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers" accepted to CAV'22. Please refer to the Readme.md for further instructions.

Files

cav2022-murxla-artifact.zip

Files (1.6 GB)

Name Size Download all
md5:8cb76c9e352ac703f742fe8e6f8614f9
1.6 GB Preview Download
md5:7e9fc41de00a1eeac7743b45e21d03c3
33.8 kB Preview Download