Alternatives and similar repositories for jitterbug

Users that are interested in jitterbug are comparing it to the libraries listed below

• uw-unsat / exoverifier

  View on GitHub
  ☆18Jun 9, 2023Updated 2 years ago
• uw-unsat / serval-sosp19

  View on GitHub
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Sep 11, 2019Updated 6 years ago
• uw-unsat / serval

  View on GitHub
  ☆46Apr 4, 2022Updated 3 years ago
• yurydelendik / wasm-dwarf

  View on GitHub
  Reading DWARF information from wasm files.
  ☆19Jul 27, 2018Updated 7 years ago
• uw-unsat / jitsynth

  View on GitHub
  ☆18May 1, 2020Updated 5 years ago
• RUB-SysSec / aurora

  View on GitHub
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆162Aug 31, 2022Updated 3 years ago
• pandaman64 / sabi

  View on GitHub
  Formal semantics of Rust
  ☆23Apr 9, 2021Updated 4 years ago
• eurecom-s3 / symqemu

  View on GitHub
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆370May 5, 2025Updated 9 months ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• x64x6a / ctf-writeups

  View on GitHub
  Various CTF challenge solutions
  ☆12Apr 20, 2021Updated 4 years ago
• CISPA-SysSec / wasmfuzz

  View on GitHub
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆18Jan 28, 2026Updated 2 weeks ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• pagabuc / kernographer

  View on GitHub
  Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)
  ☆14Aug 16, 2019Updated 6 years ago
• JonathonReinhart / linux-netns-sysctl-verify

  View on GitHub
  Linux network namespace sysctl safety verifier.
  ☆11Jun 20, 2021Updated 4 years ago
• vbpf / prevail

  View on GitHub
  eBPF verifier based on abstract interpretation
  ☆447Updated this week
• Xilinx-CNS / ebpf_asm

  View on GitHub
  An assembler for eBPF programs written in an Intel-like assembly syntax.
  ☆50Aug 11, 2023Updated 2 years ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• saaramar / echo_googlequals2020

  View on GitHub
  ☆12Sep 8, 2020Updated 5 years ago
• 0xADE1A1DE / Rosita

  View on GitHub
  ☆17Nov 14, 2022Updated 3 years ago
• mildsunrise / node_bpfcc

  View on GitHub
  🔬 BPF Compiler Collection (BCC) frontend for Node.js
  ☆21Mar 5, 2023Updated 2 years ago
• USC-NSL / SPA

  View on GitHub
  Systematic Protocol Analysis Project
  ☆11Jun 13, 2017Updated 8 years ago
• zamora / lightsaber

  View on GitHub
  Draw lightsabers using Racket's pict library
  ☆11Jul 31, 2019Updated 6 years ago
• prattmic / benchfmt-convert

  View on GitHub
  Convert various benchmarking formats to benchfmt
  ☆13Jan 31, 2025Updated last year
• hanleyc01 / rkttt

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• shellphish / ictf20-challenges

  View on GitHub
  ☆12Mar 7, 2020Updated 5 years ago
• BanditFuzz / BanditFuzz_Public

  View on GitHub
  Public BanditFuzz Repo
  ☆12Jan 12, 2021Updated 5 years ago
• ganler / memcov

  View on GitHub
  Collect simple coverage information in memory.
  ☆11Oct 6, 2022Updated 3 years ago
• RKX1209 / r2nxdbg

  View on GitHub
  Nintendo switch debugger for radare2
  ☆13Aug 12, 2018Updated 7 years ago
• whdlgp / ARMv6m_Simulator

  View on GitHub
  Simple Simulator of ARMv6m instructions
  ☆17May 23, 2017Updated 8 years ago
• Copilot-Language / copilot-verifier

  View on GitHub
  System for verifying the correctness of generated Copilot programs
  ☆17May 8, 2025Updated 9 months ago
• cares-davinci / MQSim-E

  View on GitHub
  ☆18Apr 18, 2024Updated last year
• lifting-bits / dds

  View on GitHub
  Dr. Disassembler
  ☆37Jan 5, 2022Updated 4 years ago
• Microsvuln / cve-2019-1458_POC

  View on GitHub
  POC for cve-2019-1458
  ☆21Mar 4, 2020Updated 5 years ago
• david942j / hitcon-2021-chaos

  View on GitHub
  ☆13Dec 14, 2021Updated 4 years ago
• aaupov / ebpf-bolt

  View on GitHub
  eBPF tool to collect BOLT profile
  ☆14Nov 30, 2025Updated 2 months ago
• liumuqing / ridl_leak_kaslr

  View on GitHub
  ☆14Sep 26, 2021Updated 4 years ago
• chujDK / d3ctf2022-pwn-d3bpf-and-v2

  View on GitHub
  D^3CTF 2022 d3bpf, d3bpf-v2 attachment, exp and official writeup
  ☆11Mar 8, 2022Updated 3 years ago
• xiw / arithcc

  View on GitHub
  ☆15Oct 21, 2020Updated 5 years ago
• kth-step / HOL4P4

  View on GitHub
  P4 formalization using Ott and HOL4
  ☆15Jan 17, 2026Updated 3 weeks ago