Research
The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.
ĐArcher - A Testing Framework for Decentralized Applications (DApps)
a safety verifier for Solidity smart contracts
This repository contains 47,398 smart contracts extracted from the Ethereum network.
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Examples of Solidity security issues
Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation
Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
A Collection of Useful Resources related to Blockchain Software Engineering
Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.
Ethereum Smart Contract Static Analyzer - based on symbolic execution
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
Static program analysis framework for Ethereum smart contract bytecode.
A guide to smart contract security best practices
Project Management: Meeting notes and agenda items
An Analysis Tool for Smart Contracts
A binary lifter and analysis framework for Ethereum smart contracts
Smart Contract Weakness Classification and Test Cases
A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
A library for mining of path-based representations of code (and more)
A Tool for Mining Rich Abstract Syntax Trees from Code
Collection of TypeScript type challenges with online judge
Comprehensive list of known attack vectors and common anti-patterns