Pinned Repositories
500LineorLess_CN
500 line or less 中文翻译计划。
BUPT-classroom-finding
CMU_17-819
Program Analysis @ CMU
DSL
The DSL parser for Wasm-SE
EOSafe-benchmark
The benchmark of EOSafe
Leetcode-
最近在刷 LeetCode，自制一个题解
MIT_6.828
Operating System course from MIT
semester
temp repository for semester
Wasm-samples
Samples, consisting of Wasm files compiled from C and Go
SeeWasm
A native symbolic execution engine for WebAssembly
HNYuuu's Repositories
HNYuuu/SeeWasm
A native symbolic execution engine for WebAssembly
HNYuuu/Leetcode-
最近在刷 LeetCode，自制一个题解
HNYuuu/EOSafe-benchmark
The benchmark of EOSafe
HNYuuu/Wasm-samples
Samples, consisting of Wasm files compiled from C and Go
HNYuuu/semester
temp repository for semester
HNYuuu/500LineorLess_CN
500 line or less 中文翻译计划。
HNYuuu/CMU_17-819
Program Analysis @ CMU
HNYuuu/DSL
The DSL parser for Wasm-SE
HNYuuu/MIT_6.828
Operating System course from MIT
HNYuuu/archive-program
The GitHub Archive Program & Arctic Code Vault
HNYuuu/awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
HNYuuu/Beijing_Daxuexi_Simple
北京 青年大学习 使用Github Actions自动完成
HNYuuu/Collections-C
A library of generic data structures.
HNYuuu/cosmos-sdk
:chains: Blockchain Application Framework :sparkles:
HNYuuu/EUNOMIA
HNYuuu/FCS-Artifact
An artifact about EOSIO vulnerabilities and attacks.
HNYuuu/go-common
哔哩哔哩 bilibili 网站后台工程 源码
HNYuuu/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.
HNYuuu/honggfuzz
Security oriented fuzzer with powerful analysis options. Supports evolutionary, feedback-driven fuzzing based on code coverage (software- and hardware-based)
HNYuuu/latexy
Translate markdown file to latex source code as you wish.
HNYuuu/logic_bombs
This repository contains several examples of logic bomb.
HNYuuu/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
HNYuuu/Micro8
HNYuuu/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
HNYuuu/Osiris
A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
HNYuuu/pkuthss
LaTeX template for dissertations in Peking University
HNYuuu/python-ssdeep
Python wrapper for ssdeep fuzzy hashing library
HNYuuu/TSE-ContractDefects
This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"
HNYuuu/wasi-classic-command
HNYuuu/wasm-type-prediction