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
- An FPGA reverse engineering and documentation project☆43Updated this week
- A demontration of disassemblers generated by sleigh2rust☆13Updated 5 months ago
- ☆14Updated last year
- program analysis for machine code☆35Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 8 months ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆33Updated 3 weeks ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- ☆11Updated last week
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 2 months ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 9 months ago
- 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 8 months ago
- Generation of mutant programs☆20Updated 6 years ago
- Industry standard I/O for Amaranth HDL☆28Updated 6 months ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated 2 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆71Updated this week
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Awesome projects using the Amaranth HDL☆13Updated 3 months ago
- Easy SMT solver interaction☆35Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- HDL development environment on Nix.☆25Updated 6 months ago
- Surf - A digital waveform viewer for macOS☆10Updated 2 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 10 months ago
- Experiments with Yosys cxxrtl backend☆48Updated 3 months ago
- Some Rust bindings for Binary Ninja☆30Updated last year