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

Highlights

  • Pro

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.

Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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



Popular repositories Loading

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

    Solutions for all things reentrancy

    Solidity 2

  2. ethernaut-foundry ethernaut-foundry Public

    Ethernaut puzzles tested in foundry without testenet environment

    Solidity 1

  3. yul-revert-reason-extractor yul-revert-reason-extractor Public

    Extract yul revert reason from the solidity repo

    Rust 1

  4. rustsbi rustsbi Public

    Forked from rustsbi/rustsbi

    RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.

    Rust 1

  5. erigon erigon Public

    Forked from erigontech/erigon

    Ethereum implementation on the efficiency frontier

    Go

  6. astmaker astmaker Public

    Forked from linkdd/astmaker

    Build Abstract Syntax Trees and tree-walking models quickly in Rust.

    Rust