Alternatives and similar repositories for pathbeaver:

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

• ktemkin-archive / bfstub
  Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later
  ☆20Updated 2 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated last year
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆43Updated 6 months ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆16Updated 6 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆34Updated 3 years ago
• rbran / sleigh3rust
  A demontration of disassemblers generated by sleigh2rust
  ☆12Updated last month
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 5 months ago
• intel / libaji_client
  This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …
  ☆19Updated 5 months ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆22Updated last month
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• emsec / ConFuzz
  ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.
  ☆13Updated last month
• jevinskie / surf
  Surf - A digital waveform viewer for macOS
  ☆10Updated last year
• appleseedlab / cpp2c
  Program for converting C preprocessor usage to C constructs
  ☆12Updated 2 years ago
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆17Updated this week
• iximeow / yaxpeax-dis
  yaxdis, a small and naive disassembler using yaxpeax decoders
  ☆34Updated 2 years ago
• stefanpie / sa-placer
  ☆14Updated 10 months ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆59Updated 7 months ago
• mfthomps / Visualization-of-Software-Execution
  Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…
  ☆14Updated 6 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 8 months ago
• gatelabdavis / RANE
  ☆22Updated last year
• jowinter / dmacu
  Minimal CPU Emulator Powered by the ARM PL080 DMA Controller
  ☆36Updated 5 months ago
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated last year
• oxidecomputer / amd-apcb
  AMD Generic Encapsulated Software Architecture Platform Security Processor Configuration Block manipulation library
  ☆14Updated this week
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated last year
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆28Updated 4 years ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆14Updated 6 months ago