QIAN (Messi-Q)

Messi-Q

Geek Repo

Company:ZJU

Location:Hangzhou China

Github PK Tool:Github PK Tool

QIAN's repositories

GraphDeeSmartContract

Smart contract vulnerability detection using graph neural network (DR-GCN).

Smart-Contract-Dataset

Datasets for evaluating smart contract security analysis tools ( continuously updating... )

GNNSCVulDetector

Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)

GPSCVulDetector

Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)

AMEVulDetector

Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accepted)

ReChecker

ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models

Language:PythonLicense:MITStargazers:46Issues:4Issues:4

IR-Fuzz

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).

Cross-Modality-Bug-Detection

Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection

Language:PythonStargazers:20Issues:2Issues:0

RNVulDet

Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)

Language:PythonStargazers:19Issues:2Issues:0

Resource-CI

A platform for resource confirmation and infringement tracking is based on react.js and hyperledger farbic.

Language:JavaScriptLicense:MITStargazers:11Issues:3Issues:1

BinaryCFGExtractor

BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).

Language:PythonStargazers:10Issues:2Issues:0

SourceGraphExtractor

Extracting graph data from smart contract source code

Language:PythonStargazers:10Issues:2Issues:0
Language:SolidityStargazers:9Issues:2Issues:0

Simple-neural-network

neural-network classifier alogritm

Language:PythonStargazers:8Issues:2Issues:0
Language:C++Stargazers:7Issues:2Issues:0

Springboot-Resource-confirmation-Infringement

This is a system for Resource Rights confirmation and Infringement Tracking

Language:JavaLicense:MITStargazers:7Issues:2Issues:0

Smart-contract-detection-system

The front-end framework of smart contract vulnerability detection.

Language:CSSStargazers:6Issues:3Issues:0

Beego-JWT

Beego + JWT for the login and register.

Language:GoStargazers:5Issues:3Issues:0

educoin-platform

educoin-platform

Language:JavaStargazers:5Issues:2Issues:0

CVE-ID-Application

This is a repo of applying CVE-ID for smart contracts

License:MITStargazers:4Issues:3Issues:0

messi-q.github.io

Homepage: messi-q.github.io

Language:CSSStargazers:3Issues:4Issues:0

Web3Bugs

Demystifying Exploitable Bugs in Smart Contracts

Language:SolidityStargazers:3Issues:1Issues:0

BertPretrainFinetune

Pre-train a Bert model using contract bytecode

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:1Issues:1Issues:0

GraphFeatureExtractor

Extract graph feature using graph message passing network

Language:PythonStargazers:1Issues:3Issues:0

IDLark

IDLark - A library for parsing WebIDL (Python implementation)

Language:PythonStargazers:1Issues:0Issues:0

octopus

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

python_matplotlib

Python with Matplotlib draws commonly charts.

Language:PythonStargazers:1Issues:3Issues:0

Tensorflow2

Some tutorials of tensorflow2.0

Language:PythonStargazers:1Issues:3Issues:0

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

Language:MarkdownLicense:MITStargazers:0Issues:1Issues:0