its IDREES's Highlights on 'smartbugs/smartbugs-results: This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented and discussed in Durieux et al. (ICSE 2020)' | Glasp