Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SmartBugs: A Framework to Analyze Solidity Smart Contracts   Over the last few years, there has been substantial research on automated
analysis, testing, and debugging of Ethereum smart contracts. However, it is
not trivial to compare and reproduce that research. To address this, we present
SmartBugs, an extensible and easy-to-use execution framework that simplifies
the execution of analysis tools on smart contracts written in Solidity, the
primary language used in Ethereum. SmartBugs is currently distributed with
support for 10 tools and two datasets of Solidity contracts. The first dataset
can be used to evaluate the precision of analysis tools, as it contains 143
annotated vulnerable contracts with 208 tagged vulnerabilities. The second
dataset contains 47,518 unique contracts collected through Etherscan. We
discuss how SmartBugs supported the largest experimental setup to date both in
the number of tools and in execution time. Moreover, we show how it enables
easy integration and comparison of analysis tools by presenting a new extension
to the tool SmartCheck that improves substantially the detection of
vulnerabilities related to the DASP10 categories Bad Randomness, Time
Manipulation, and Access Control (identified vulnerabilities increased from 11%
to 24%).

14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin