Software Open Access
George Pîrlea; Amrit Kumar; Ilya Sergey
Virtual machine: The
CoSplit.ova file is a virtual machine image containing the full artefact, including the CoSplit static analysis, its integration with the Zilliqa blockchain, the benchmark suite used for evaluation, the Ethereum dataset, and the Jupyter notebook used to analyse the dataset. This is the artefact that was evaluated during the PLDI 2021 Artifact Evaluation process.
The virtual machine image was generated using Virtual Box Version 6.1.18 r142142 and is known to work with that version of the software.
Source code: Please download
cosplit-artefact-archive.zip. This includes the full source code, including dependencies, and the Ethereum dataset. The archive produced by GitHub (
dranov/cosplit-artefact-v0.1-beta.zip) does not include the dependencies and dataset.