SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)

Namrata Jain, Kosuke Kaneko, Subodh Sharma

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

抄録

We present SKLEE, a dynamic symbolic framework to analyse Solidity smart contracts for various safety vulnerabilities. While there are many analysis tools for Solidity contracts, in this work we demonstrate that existing analysis infrastructures for other sequential programming languages, such as C, can be leveraged to construct a competitive analysis framework for Solidity contracts. Notably, SKLEE is bootstrapped on top of KLEE – a dynamic symbolic test-case generation tool for C programs – with modelling for Solidity primitives such as send, call, transfer, and others. Our experiments indicate that SKLEE is indeed competitive with other state-of-the-art tools in terms of (i) the number of bug classes it can identify, and (ii) the number of benchmarks it can analyse in a given time bound.

本文言語英語
ホスト出版物のタイトルSoftware Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings
編集者Bernd-Holger Schlingloff, Ming Chai
出版社Springer Science and Business Media Deutschland GmbH
ページ244-250
ページ数7
ISBN(印刷版)9783031171079
DOI
出版ステータス出版済み - 2022
イベント20th International Conference on Software Engineering and Formal Methods, SEFM 2022 - Berlin, ドイツ
継続期間: 9月 26 20229月 30 2022

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13550 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

会議

会議20th International Conference on Software Engineering and Formal Methods, SEFM 2022
国/地域ドイツ
CityBerlin
Period9/26/229/30/22

!!!All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータサイエンス一般

フィンガープリント

「SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル