Wzy-source
I am a senior from the School of Software, Nanjing University. The research directions that I am interested in: blockchain and smart contract.
江苏南京
Wzy-source's Stars
trailofbits/manticore
Symbolic execution tool
kongqp/DeFiTainter
VPRLab/SoMo
A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
nevillegrech/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
ucsb-seclab/greed
A symbolic execution engine for EVM smart contract binaries.
Franklinliu/SpCon-Artifact
Wzy-source/Access-Control-Bug-List
Summarize the access control bugs of smart contracts
ZhangZhuoSJTU/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts
Jon-Becker/heimdall-rs
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Cyfrin/gas-optimization-tips
Contracts and Test for Gas optimization Article
harendra-shakya/solidity-gas-optimization
A extensive list of solidity gas optimization tricks
slowmist/Knowledge-Base
Knowledge Base 慢雾安全团队知识库
WTFAcademy/WTF-Dapp
⭐ Minimal tutorials to build Dapps | DEX Development Tutorial | Uniswap 代码解析 | 去中心化交易所实战教程 | DApp 智能合约和前端教程 ⭐
blockthreat/blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
learnerLj/geth-analyze
go-ethereum source code analyzation under the perspective of smart contract security
bluealloy/revm
Ethereum Virtual Machine written in rust that is fast and simple to use
Kiprey/Skr_Learning
天问之路 - 学习笔记&学习周报。内容包括但不限于C++ STL、编译原理、LLVM IR Pass代码优化、CSAPP Lab、uCore操作系统等等。
fuzz-evaluator/guidelines
Dongdongshe/neuzz
neural network assisted fuzzer
LaurentMazare/tch-rs
Rust bindings for the C++ api of PyTorch.
sunface/rust-course
“连续六年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。<<Rust语言圣经>>拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,甚至还有JS程序员关注的 WASM 和 Deno 等专题。这可能是目前最用心的 Rust 中文学习教程 / Book
SmartContractSecurity/SWC-registry
Smart Contract Weakness Classification and Test Cases
antonio-morales/Fuzzing101
An step by step fuzzing tutorial. A GitHub Security Lab initiative
Messi-Q/IR-Fuzz
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
dvanoni/notero
A Zotero plugin for syncing items and notes into Notion
ccfddl/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
Demonhero0/rlf
Cyfrin/security-and-auditing-full-course-s23
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
SoftSec-KAIST/Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)