Performance monitoring utilities for API server written in Go, works with pprof/fgprof/alp/slp

ISUNARABE の練習 VM 用イメージをビルドするためのパイプライン

A terminal workspace with batteries included

SCTF 2023 kernel pwn && CVE-2023-3640

Statistics-driven benchmarking library for Rust

Easy self-referential struct generation for Rust.

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.

The Z3 Theorem Prover

A fast and simple automata library

An eager SMT solver for Algebraic Data Types (ADTs)

Define compiler intermediate representation usable by external tools

Web UI for your scripts with execution management

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

An interpreter for Rust's mid-level intermediate representation

Validation framework for CHC models

Go error library with error portability over the network

Python decompiler for 3.7-3.8 Stripped down from uncompyle6 so we can refactor and start to fix up some long-standing problems

DOM fuzzer

Reverse Engineering: Decompiling Binary Code with Large Language Models

The Ultimate program analysis framework.

A high performance concurrent caching library for Rust

LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.

magic-trace collects and displays high-resolution traces of what a process is doing

A Rust CPU profiler implemented with the help of backtrace-rs

Container runtimes on macOS (and Linux) with minimal setup

a structural diff that understands syntax 🟥🟩