English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Smart contracts are blockchain programs that often handle valuable assets.Writing secure smart contracts is far from trivial, and any vulnerability maylead to significant financial losses. To support developers in identifying andeliminating vulnerabilities, methods and tools for the automated analysis havebeen proposed. However, the lack of commonly accepted benchmark suites andperformance metrics makes it difficult to compare and evaluate such tools.Moreover, the tools are heterogeneous in their interfaces and reports as wellas their runtime requirements, and installing several tools is time-consuming.  In this paper, we present SmartBugs 2.0, a modular execution framework. Itprovides a uniform interface to 19 tools aimed at smart contract analysis andaccepts both Solidity source code and EVM bytecode as input. After describingits architecture, we highlight the features of the framework. We evaluate theframework via its reception by the community and illustrate its scalability bydescribing its role in a study involving 3.25 million analyses.

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts