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:
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated last year
- A demontration of disassemblers generated by sleigh2rust☆13Updated 8 months ago
- An FPGA reverse engineering and documentation project☆52Updated last week
- ☆16Updated last year
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- Soft-logic designs and HAL libraries for various subsystems found in Oxide hardware.☆13Updated 2 weeks ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 2 months ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Updated last year
- Sled System Emulator☆28Updated 3 months ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- ☆14Updated 2 weeks ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆77Updated this week
- program analysis for machine code☆36Updated 3 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆87Updated last month
- A super simple /sbin/init for Linux which allows running one and only one program☆28Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 4 months ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- ☆23Updated 2 years ago
- A low-level intermediate representation for hardware description languages