yuntongzhang

vulnfix

Program Vulnerability Repair via Inductive Inference

redfat-experiments

SWE-bench

cpr-experiments

eusolver

Fork of the original eusolver.

infer-release

VulnLoc

AFL-demo

A simple demo showing how to use AFL.

auto-code-rover

A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 15.95% tasks in full SWE-bench

cs5242

Neural Networks and Deep Learning

daikon

Dynamic detection of likely invariants

devin-swebench-results

Cognition's results and methodology on SWE-bench

e9afl

AFL binary instrumentation

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

infer

A static analyzer for Java, C, C++, and Objective-C

pfix-benchmark

PreciseBugs

ptaint-bench

RedFat

A binary hardening system

rewritecond

saver-artifact

senx-experiments

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.

synet

SyNET Network-wide Configuration Synthesis

test

validation-experiment

vscode-codeql-starter

Starter workspace to use with the CodeQL extension for Visual Studio Code.

yuntongzhang.github.io

Personal webpage