This repository contains inputs, configurations, results and analysis for SoCRATES assestment on real-deployed smart contracts collected from the official Ethereum blockchain.
We downloaded ~1060 smart contracts source code from etherscan on 23 October 2018.
case_study_contracts
: contains zip files with the inputs of the analysissocrates_tool
: contains the docker-image source code containing the version of socrates used in this testsexperimental-settings
: contains the configuration folder and run-scripts used to run the experimentsexperimental-results
: contains data summarising the output of each experiment
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)