Haifeng Ruan (crhf)

crhf

Geek Repo

Company:@nus-se

Location:Singapore

Github PK Tool:Github PK Tool

Haifeng Ruan's repositories

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

asan-giovese

My AddressSanitizer implementation in C

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:LuaStargazers:0Issues:1Issues:0

e9syscall

A system call interception tool

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

LeetCode-Py

⛽️「算法通关手册」:超详细的「算法与数据结构」基础讲解教程,从零基础开始学习算法知识,800+ 道「LeetCode 题目」详细解析,200 道「大厂面试热门题目」。

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

old-dotfiles

Various configuration files

Language:PythonStargazers:0Issues:0Issues:0

qasan

QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

SWE-bench-docker

A Docker based solution of the SWE-bench evaluation framework

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

swe-bench-experiments

Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.

Stargazers:0Issues:0Issues:0

symbols-outline.nvim

A tree like view for symbols in Neovim using the Language Server Protocol. Supports all your favourite languages.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

vul4j

Vul4J: A Dataset of Reproducible Java Vulnerabilities

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0