TY - GEN
T1 - SKLEE
T2 - 20th International Conference on Software Engineering and Formal Methods, SEFM 2022
AU - Jain, Namrata
AU - Kaneko, Kosuke
AU - Sharma, Subodh
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85140451490&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85140451490&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-17108-6_15
DO - 10.1007/978-3-031-17108-6_15
M3 - Conference contribution
AN - SCOPUS:85140451490
SN - 9783031171079
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 244
EP - 250
BT - Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings
A2 - Schlingloff, Bernd-Holger
A2 - Chai, Ming
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 26 September 2022 through 30 September 2022
ER -