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
- 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☆41Updated this week
- ☆14Updated last year
- A demontration of disassemblers generated by sleigh2rust☆12Updated 4 months ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 7 months ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 8 months ago
- Noir Computer☆16Updated last year
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆77Updated last month
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 7 months ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 3 weeks ago
- Experiments with Yosys cxxrtl backend☆48Updated 2 months ago
- Sled System Emulator☆28Updated last month
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated this week
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆15Updated 8 months ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- Awesome projects using the Amaranth HDL☆13Updated last month
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 3 weeks ago
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- SD/MMC Analyzer for Saleae Logic☆38Updated last year
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- ☆22Updated 2 years ago
- Industry standard I/O for Amaranth HDL☆28Updated 5 months ago
- ☆11Updated last month
- A Brainfuck interpreter embedded inside DWARF debug information☆37Updated 10 months ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- Generation of mutant programs☆21Updated 6 years ago
- Remote JTAG server for remote debugging☆36Updated 10 months ago