The Use of Likely Invariants as Feedback for Fuzzers

Python codes of my blog.

Hack A Sat 2020 Qualifier Challenges

一个高价值漏洞采集与推送服务 | Collect valueable vulnerabilities and push them to various services

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

Modified Kirenenko for Constraints Dumping

State-of-the-art methods on monocular 3D pose estimation / 3D mesh recovery

Monocular, One-stage, Regression of Multiple 3D People and their 3D positions & trajectories in camera & global coordinates. ROMP[ICCV21], BEV[CVPR22], TRACE[CVPR2023]

Relative Human dataset, CVPR 2022

THSS software engineering course project

A Machine Interface for interacting with Bugzilla

Config files for my GitHub profile.

My PoCs

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

Hex-Rays Decompiler plugin for better code navigation

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

A data-flow-guided fuzzer

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Gather and update all available and newest CVEs with their PoC.

Educational API for 3D Vision using pose to control carton.

Automated static analysis tools for binary programs

Coverage-guided grammar aware fuzzer that uses grammar automatons

CollabFuzz: A Framework for Collaborative Fuzzing

A Trace Explorer for Reverse Engineers

Recover mutation graph from an AFL seed

A LLVM-based static analysis framework.

supervenn: precise and easy-to-read multiple sets visualization in Python

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read