- 🔭 I’m currently working on Software Testing
- 🌱 I’m currently learning Program Analysis
- 👯 I’m looking to collaborate on interdisciplinary research
- 🤔 I’m looking for help with time management
😱
CS PhD Student at UC Irvine,
Currently Visiting Max Planck Institute
-
Max Planck Institute
- Germany
Highlights
- Pro
Pinned Loading
-
qilingframework/qiling
qilingframework/qiling PublicA True Instrumentable Binary Emulation Framework
-
-
AFLplusplus/AFLplusplus
AFLplusplus/AFLplusplus PublicThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
-
radareorg/radare2
radareorg/radare2 PublicUNIX-like reverse engineering framework and command-line toolset
-
rizinorg/rizin
rizinorg/rizin PublicUNIX-like reverse engineering framework and command-line toolset.
-
fuzzland/ityfuzz
fuzzland/ityfuzz PublicBlazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
24 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
chinggg/chinggg.github.io,
DeFiHackLabs/Web3-CTF-Intensive-CoLearning,
chinggg/chinggg
and 9 other
repositories
Loading
Contribution activity
March 2025
Created 1 commit in 1 repository
Opened 1 issue in 1 repository
Z3Prover/z3
1
closed
-
Segmentation Fault (Heap-Use-After-Free) in Z3 when Parsing Invalid SMT2 Rule
This contribution was made on Mar 6