Ningyu He's repositories
EOSafe-benchmark
The benchmark of EOSafe
Wasm-samples
Samples, consisting of Wasm files compiled from C and Go
500LineorLess_CN
500 line or less 中文翻译计划。
CMU_17-819
Program Analysis @ CMU
archive-program
The GitHub Archive Program & Arctic Code Vault
awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
Beijing_Daxuexi_Simple
北京 青年大学习 使用Github Actions自动完成
Collections-C
A library of generic data structures.
cosmos-sdk
:chains: Blockchain Application Framework :sparkles:
FCS-Artifact
An artifact about EOSIO vulnerabilities and attacks.
go-common
哔哩哔哩 bilibili 网站后台工程 源码
Hands-on-Machine-Learning
A series of Jupyter notebooks with Chinese comment that walk you through the fundamentals of Machine Learning and Deep Learning in python using Scikit-Learn and TensorFlow.
honggfuzz
Security oriented fuzzer with powerful analysis options. Supports evolutionary, feedback-driven fuzzing based on code coverage (software- and hardware-based)
logic_bombs
This repository contains several examples of logic bomb.
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
pkuthss
LaTeX template for dissertations in Peking University
python-ssdeep
Python wrapper for ssdeep fuzzy hashing library
TSE-ContractDefects
This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"