xf97/SolidityCheck xf97/SolidityCheck

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    C++
  • Created over 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xf97/SolidityCheck
github

xf97

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Ethereum smart contracts. 《计算机科学》（Computer Science）

More Repositories

1

JiuZhou

JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).
Solidity
217
star
2

BiAn

BiAn is a code obfuscation tool for Solidity smart contracts (APSEC 2020).
Python
65
star
3

HuangGai

HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281/zenodo.4680168
Solidity
32
star
4

EthereumSmartContractCrawler

This is a crawler using Python 3 to crawl the source code of the Ethereum smart contract.(From etherscan verified contracts )
Python
7
star
5

BugGetter

This is a crawler program to extend Jiuzhou.
Python
1
star
6

StarFire

StarFire is a semi-centralized P2P file sharing system.
Python
1
star
7

myLeetCodeSolutions

Store my leetcode code (to prevent I cannot find a job in the future)
C++
1
star
8

addressBookManagementSystem

C++
1
star
9

Golang_Study

Store the code that I have study Golang
Go
1
star
10

Mirror

Mirror(镜像) is a system that simulates stock automatic trading.
Python
1
star