Fix the requirements.txt for mythril

Fix the script to detect and report errors earlier

Fix and cleanup setup for Ubuntu 20.04

Update to use Ubuntu 20.04 as docker image

Fixed wrong variable uses in ilf patch

Add requirement.txt and fix the build issue

Add LICENSE.md

Fix the build issue of Mythril in docker setup

Update docker setup to use public URL in GitHub

Add README

Add scripts to run experiments and analyze results

Setup docker environment

Add a statistics script for benchmarks

Add B3 benchmark

Add a *.csv file containing B2 bug label information