Fuzz anything with Program Environment Fuzzing

A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with…

Large Language Models for Software Engineering

A survey on Rust works: empirical studies, verification tools, analysis tools, etc

KLEE Symbolic Execution Engine

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

Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

Multi-Objective GP for Automated Repair of Java

EvoSuite - automated generation of JUnit test suites for Java classes

This repository contains experiments for different publications at the intersection of Computer Vision and Computer Security.

Program Vulnerability Repair via Inductive Inference

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…

Efficient patch generation engine for C/C++ programs

💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

AFL binary instrumentation

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

A powerful static binary rewriting tool

OrangeHRM is a comprehensive Human Resource Management (HRM) System that captures all the essential functionalities required for any enterprise.

ARCHIVED

Server automation framework and application

Production-Grade Container Scheduling and Management

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Swarm Classic: a container clustering system. Not to be confused with Docker Swarm which is at https://github.com/docker/swarmkit