Pinned Repositories
angr
A powerful and user-friendly binary analysis platform!
asan-giovese
My AddressSanitizer implementation in C
cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
crhf.github.io
dotfiles
e9syscall
A system call interception tool
github-box-maker
Renders markdown into github-style html.
homepage
java-issue-example
LeetCode-Py
⛽️「算法通关手册」:超详细的「算法与数据结构」基础讲解教程,从零基础开始学习算法知识,800+ 道「LeetCode 题目」详细解析,200 道「大厂面试热门题目」。
crhf's Repositories
crhf/github-box-maker
Renders markdown into github-style html.
crhf/angr
A powerful and user-friendly binary analysis platform!
crhf/asan-giovese
My AddressSanitizer implementation in C
crhf/cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
crhf/crhf.github.io
crhf/dotfiles
crhf/e9syscall
A system call interception tool
crhf/homepage
crhf/java-issue-example
crhf/LeetCode-Py
⛽️「算法通关手册」:超详细的「算法与数据结构」基础讲解教程,从零基础开始学习算法知识,800+ 道「LeetCode 题目」详细解析,200 道「大厂面试热门题目」。
crhf/monitors4codegen
crhf/old-dotfiles
Various configuration files
crhf/qasan
QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.
crhf/SWE-bench-docker
A Docker based solution of the SWE-bench evaluation framework
crhf/swe-bench-experiments
Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.
crhf/symbols-outline.nvim
A tree like view for symbols in Neovim using the Language Server Protocol. Supports all your favourite languages.
crhf/vul4j
Vul4J: A Dataset of Reproducible Java Vulnerabilities