yuntongzhang Goto Github PK

addressbook-level1

:ab::one: A Java sample application for students. An AddressBook application written in procedural fashion.

addressbook-level2

:ab::two: A Java sample application for students. An AddressBook application that uses OOP basics.

afl

american fuzzy lop - a security-oriented fuzzer

afl-demo

A simple demo showing how to use AFL.

aflgo

Directed Greybox Fuzzing with AFL

auto-code-rover

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

carzbid

Helps commuters to search or advertise car rides.

cpr-experiments

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

e9patch

A powerful static binary rewriting tool

eusolver

Fork of the original eusolver.

fixmorph

FixMorph is a morphing tool for C source codes which supports automated code-transfer

footpatch

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

healthbase

HealthBase (CS2103T Software Engineering Project)

infer

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

infer-release

jlitec

A compiler for a small object-oriented language jlite.

js-slang

Implementations of the Source languages (TypeScript)

lowfat-new

Forked from https://github.com/ddcc/LowFat

lowfat-old

Lean C/C++ Bounds Checking with Low-Fat Pointers

nusmods

🏫 Official course planning platform for National University of Singapore.

pfix-benchmark

precisebugs

ptaint-bench

ramsay123

Telegram bot which recommends dishes based on your dietary preference