can-lehmann / pathbeaver
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
- ☆14Updated 11 months ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆13Updated 2 months ago
- An FPGA reverse engineering and documentation project☆36Updated last week
- Verified, Incremental, Binary Editing with Synthesis☆54Updated last year
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 6 months ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆20Updated 2 years ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- program analysis for machine code☆35Updated 3 years ago
- Experiments with Yosys cxxrtl backend☆47Updated last month
- Sled System Emulator☆28Updated last week
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 6 months ago
- A demontration of disassemblers generated by sleigh2rust☆12Updated 2 months ago
- ☆11Updated 2 weeks ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 7 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Industry standard I/O for Amaranth HDL☆28Updated 4 months ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last month
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- Generation of mutant programs☆21Updated 6 years ago
- Noir Computer☆16Updated last year
- A super simple /sbin/init for Linux which allows running one and only one program☆27Updated last year
- ☆28Updated 8 months ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆12Updated last year
- LiteX LUNA USB stack integration☆14Updated 2 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- CHERI ISA Specification☆23Updated 7 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated last week
- A Brainfuck interpreter embedded inside DWARF debug information☆37Updated 9 months ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago