Zhang Yuntong's repositories
auto-code-rover
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 15.95% tasks in full SWE-bench
yuntongzhang.github.io
Personal webpage
SWE-bench-docker
A Docker based solution of the SWE-bench evaluation framework
swe-bench-experiments
Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.
devin-swebench-results
Cognition's results and methodology on SWE-bench
infer
A static analyzer for Java, C, C++, and Objective-C
AFL-demo
A simple demo showing how to use AFL.
fuzz-rustc
setup for fuzzing the Rust compiler
gumtree-spoon-ast-diff
Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
cs5242
Neural Networks and Deep Learning
e9afl
AFL binary instrumentation
RedFat
A binary hardening system
synet
SyNET Network-wide Configuration Synthesis
daikon
Dynamic detection of likely invariants