can-lehmann / pathbeaver
Symbolic execution of LLVM IR
☆13Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for pathbeaver
- A demontration of disassemblers generated by sleigh2rust☆11Updated last year
- ☆14Updated 8 months ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 3 months ago
- program analysis for machine code☆33Updated 3 years ago
- Logic circuit analysis and optimization☆28Updated last month
- 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
- Sled System Emulator☆28Updated last week
- HDL development environment on Nix.☆24Updated 3 weeks ago
- Experiments with Yosys cxxrtl backend☆47Updated 10 months ago
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 3 months ago
- Noir Computer☆16Updated last year
- Surf - A digital waveform viewer for macOS☆10Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated last year
- Pure Python Itanium C++ ABI demangler☆34Updated 2 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆25Updated 2 months ago
- A low-level intermediate representation for hardware description languages☆25Updated 4 years ago
- Industry standard I/O for Amaranth HDL☆26Updated last month
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆56Updated 3 months ago
- SMT Modeling for Ghidra's PCODE☆20Updated this week
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Exploring gate level simulation☆56Updated 2 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆22Updated last week
- Hot Reconfiguration Technology demo☆38Updated 2 years ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆13Updated 4 months ago
- SD/MMC Analyzer for Saleae Logic☆37Updated 8 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆27Updated 4 months ago
- Unofficial Yosys WebAssembly packages☆66Updated this week
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆12Updated 2 years ago