Skip to content
View jf-li00's full-sized avatar
17 followers · 82 following
  • Huazhong University Of Science and Technology
  • Wuhan, Hubei, China

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report jf-li00

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jf-li00/README.md

Hi there 👋 I'm Jiefeng Li!

GIF

I'm a master student at HUST

  • 👨‍💻 I’m currently working on Program Analysis / Fuzzing(especially for smart contract).
  • 📚 Learning Static Analysis / Fuzzing / Formal Methods(just begins) /
  • 🎇 I'm also much interested in Compilers / Functional Programming
  • 💪🏼 Future Goals: Learn more interesting technologies and code for fun.

Languages I use

rust python c

Some of the technologies I have worked with

manjaro linux git linux


Pinned

  1. all-things-reentrancy-solution all-things-reentrancy-solution Public

    Solutions for all things reentrancy

    Solidity 2 1

  2. jf-li00 jf-li00 Public

  3. ethernaut-foundry ethernaut-foundry Public

    Ethernaut puzzles tested in foundry without testenet environment

    Solidity

  4. yul-revert-reason-extractor yul-revert-reason-extractor Public

    Extract yul revert reason from the solidity repo

    Rust