emavgl / socrates-replication-package

SoCRATES is framework for Ethereum Smart Contract test cases generation

Socrates replication package

This repository contains inputs, configurations, results and analysis for SoCRATES assestment on real-deployed smart contracts collected from the official Ethereum blockchain.

Data

We downloaded ~1060 smart contracts source code from etherscan on 23 October 2018.

Structure

• case_study_contracts: contains zip files with the inputs of the analysis
• socrates_tool: contains the docker-image source code containing the version of socrates used in this tests
• experimental-settings: contains the configuration folder and run-scripts used to run the experiments
• experimental-results: contains data summarising the output of each experiment

Licence

Copyright 2019, Fondazione Bruno Kessler

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Developed within Security & Trust Research Unit at Fondazione Bruno Kessler (Italy)