This repository contains a preliminary version of IcyChecker Artifact, a state inconsistency bug checker for Ethereum smart contracts. Currently, the exported dataset is nearly unavailable due to download speed. We will come back to this soon
The artifact consists of two main components: The source code of TxCheck, the tool where we imp...
Implementation and results of "Which bugs are missed in code reviews: An empirical study on SmartSHA...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
© 2021 by The USENIX Association. All rights reserved.Ethereum is the second-largest blockchain plat...
The growth in blockchain technology has also brought about the rise in number of decentralized appli...
"One of the largest emergences in modern technologyis the use of cryptocurrencies, which are recorde...
This is the artifact for the ICSE' 23 paper "Detecting Isolation Bugs via Transaction Oracle Constru...
peer reviewedSmart contracts are Turing-complete programs that are executed across a blockchain. Unl...
Programming errors in Ethereum smart contracts can result in catastrophic financial losses from stol...
The term “smart contracts” has become ubiquitous to describe an enormous number of programs uploaded...
Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike tradition...
Ethereum, a well-known blockchain’s most famous implementation builds and deploys a decentralized ap...
Blockchain technology, which provides digital security in a distributed manner, has evolved into a k...
This dataset contains metrics and statistical information on decentralised applications (DApps) and ...
Smart contracts are programs with data (mutable state); stored on and executed by blockchain platfor...
The artifact consists of two main components: The source code of TxCheck, the tool where we imp...
Implementation and results of "Which bugs are missed in code reviews: An empirical study on SmartSHA...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
© 2021 by The USENIX Association. All rights reserved.Ethereum is the second-largest blockchain plat...
The growth in blockchain technology has also brought about the rise in number of decentralized appli...
"One of the largest emergences in modern technologyis the use of cryptocurrencies, which are recorde...
This is the artifact for the ICSE' 23 paper "Detecting Isolation Bugs via Transaction Oracle Constru...
peer reviewedSmart contracts are Turing-complete programs that are executed across a blockchain. Unl...
Programming errors in Ethereum smart contracts can result in catastrophic financial losses from stol...
The term “smart contracts” has become ubiquitous to describe an enormous number of programs uploaded...
Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike tradition...
Ethereum, a well-known blockchain’s most famous implementation builds and deploys a decentralized ap...
Blockchain technology, which provides digital security in a distributed manner, has evolved into a k...
This dataset contains metrics and statistical information on decentralised applications (DApps) and ...
Smart contracts are programs with data (mutable state); stored on and executed by blockchain platfor...
The artifact consists of two main components: The source code of TxCheck, the tool where we imp...
Implementation and results of "Which bugs are missed in code reviews: An empirical study on SmartSHA...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
DOI
Add to ORKG