1958 Open source projects that are alternatives of or similar to Kafl

Qemu KVM(Kernel Virtual Machine)学习笔记

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

Create VM templates with Packer for usage with Libvirt/KVM virtualization : CentOS 7, CentOS 8, CentOS 8 Stream, Alma Linux, Rocky Linux, Bionic (Ubuntu 1804), Focal (Ubuntu 2004), Debian 11 (stable), Kali Linux, Fedora 33 and Fedora 34.

run regular Docker images in KVM/Qemu

🐎 Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.

YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-difference methods and similar applications.

SystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root

Fuzzer for Linux Kernel Drivers

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Operating System

Packer Automated VM Image and Vagrant Box Builds

A cloud-native open-source unified multi-cloud and hybrid-cloud platform. 开源、云原生的多云管理及混合云融合平台

OpenType font file format fuzzer for Windows

HTTP fuzzer engine security oriented

Fuzzware's main repository. Start here to install.

A GPU passthrough tutorial using libvirt and KVM on GNU/Linux

A simple script to install the necessary firmware to fix sound output (dummy sound).

syzkaller is an unsupervised coverage-guided kernel fuzzer

Backup utiliy for Libvirt / qemu / kvm supporting incremental and differencial backups.

myLinux is a small UNIX like OS for embedded systems based on Westermo NetBox

OPAL boot and runtime firmware for POWER

Tools to set up a quick macOS VM in QEMU, accelerated by KVM.

Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis

The amazing Quickemu; as seen on YouTube

🌇 Preview a full GRUB 2.x theme (or just a background image) using KVM / QEMU

libvirt bindings for google v8 javascript engine (nodejs addon)

A hand-made SMP-aware kernel

Kubash - the K8$ shell for your kube clusters

KVM based tiny x86 hypervisor written in pure golang, which can boot Linux

Scriptable KVM/QEMU guest agent implemented in Python

Reimplementation of the Nintendo Switch firmware

SPICE proxy library, written in go

🛠 Knowledge about the topic of x86 assembly & disassembly 🛠

Free GUI / Frontend / Management tool for simple setup, configure and control virtual machines (qemu / kvm) within your HTML5 Webbrowser. Virtualization with Node.js / Currently under complete rewrite.

Microarchitectural exploitation and other hardware attacks.

Fork of CUDA GPU memtest 👓

Telegram Bot for Proxmox VE

source code audit tool

Enable enthusiasts and administrators alike to easily provision highly available and production-ready Kubernetes clusters on Proxmox VE.

HydraFW official firmware for HydraBus/HydraNFC for researcher, hackers, students, embedded software developers or anyone interested in debugging/hacking/developing/penetration testing

A simple guide to x86 architecture, assembly, memory management, paging, segmentation, SMM, BIOS....

FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares

Kata Containers version 2.x repository. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

My presentations and papers

A modern experimental OS written from scratch in Rust to explore novel OS structure, state management techniques, and how to maximally leverage the power of language by shifting OS responsibilities into the compiler.

Windows paravirtualized

This is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.

S2E: A platform for multi-path program analysis with selective symbolic execution.

Automatic snapshot tool for Proxmox VE

Floppy Bird (OS)

A collection of disk images and virtual machines that can be used by the QEMU emulator

Canadian Furious Beaver is a tool for hijacking IRPs handler in Windows drivers, and facilitating the process of analyzing Windows drivers for vulnerabilities

An Ansible playbook that apply the principle of the Infrastructure as Code on a QEMU/KVM environment.

Run macOS on QEMU/KVM. With OpenCore + Big Sur + Monterey support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

BSOD: Binary-only Scalable fuzzing Of device Drivers

A private-cloud solution for SMEs !

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

Scout - Instruction based research debugger (a poor man's debugger)

Tools for working with Intel ME

Kata Containers version 1.x runtime (for version 2.x see https://github.com/kata-containers/kata-containers).