can-lehmann / pathbeaverLinks
Symbolic execution of LLVM IR
☆13Updated last year
Alternatives and similar repositories for pathbeaver
Users that are interested in pathbeaver are comparing it to the libraries listed below
Sorting:
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- An FPGA reverse engineering and documentation project☆46Updated last week
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 6 months ago
- Sled System Emulator☆28Updated last month
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 10 months ago
- ☆14Updated last year
- program analysis for machine code☆35Updated 3 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆33Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated this week
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆17Updated 10 months ago
- ☆11Updated 2 weeks ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆15Updated 6 months ago
- AMD Generic Encapsulated Software Architecture Platform Security Processor Configuration Block manipulation library☆16Updated last week
- high abstraction synthesis☆11Updated last year
- fundamental traits to describe an architecture in the yaxpeax project☆15Updated 3 months ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆15Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- Surf - A digital waveform viewer for macOS☆10Updated 2 years ago
- Awesome projects using the Amaranth HDL☆13Updated 3 months ago
- SD/MMC Analyzer for Saleae Logic☆37Updated last year
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated last week
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 9 months ago
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- SPI flash MITM and emulation (QSPI is a WIP)☆20Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆31Updated last week