LFI: Practical, Efficient, and Secure Software-based Sandboxing

Table of ARM SoC and their features

Command-line OAuth2 authentication daemon

A Git-compatible VCS that is both simple and powerful

Home of OpenVMM and OpenHCL.

🐇 Fuzzing Rust code with American Fuzzy Lop

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

LLFree: Lock- and Log-free Allocator

Example implementation of Arm's Architecture Specification Language (ASL)

Tools to process ARM's Machine Readable Architecture Specification

Mirror of the LuaJIT git repository

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Munich public transport (MVG) widget for Home Assistant

Heap profiling and ad hoc profiling for Rust programs.

Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Command line helpers for fuzzing

Generating structured data from arbitrary, unstructured input.

The Z3 Theorem Prover

A proc-macro for deriving powerful and fast tokenizers with compile-time regex

🌠 Manage your shell commands.

Rust mid-level IR Abstract Interpreter

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

The vm images in this repo are lost, we recommend our new project: https://github.com/hust-open-atom-club/S2VulnHub

program analysis for machine code

arm decoders for the yaxpeax project

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

nPerf is a network performance measurement tool solely for measuring UDP throughput. Several kernel features, such as GSO, GRO, or io_uring, can be compared along with several different features.