Yu Pan's Projects
Some practical tools and code can be reused.
π¦π΄π΄π΄π¦ A home for ethereum smart contracts. π
SmartBugs: A Framework to Analyze Solidity Smart Contracts
A library to simplify iOS animations in Swift.
An explore to Spring Data JPA, using both SpringBoot and configuration files by myself. Using Spring + MySQL + Hibernate.
Learning Swift. Reusable apps code.
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Taint analyzer for Themis' front end
online appendix for paper "Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode"
T.J. Watson Libraries for Analysis
Web lab in NJU
Xv6 for RISC-V
ι«ι’εΌη第δΈζΉη½ζδΊζζΎε¨οΌζ―ζ Windows / macOS / Linux :electron: