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:
- An FPGA reverse engineering and documentation project☆47Updated last week
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 10 months ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 10 months ago
- Surf - A digital waveform viewer for macOS☆10Updated 2 years ago
- Sled System Emulator☆28Updated last month
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆15Updated last week
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆29Updated 11 months ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 6 months ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- ☆14Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆33Updated 2 months ago
- fundamental traits to describe an architecture in the yaxpeax project☆15Updated 3 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …☆19Updated 10 months ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆47Updated 3 weeks ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆17Updated 11 months ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated this week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated last week
- SMT Modeling for Ghidra's PCODE☆26Updated 2 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆74Updated this week
- Industry standard I/O for Amaranth HDL☆28Updated 8 months ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆114Updated 4 months ago
- Awesome projects using the Amaranth HDL☆15Updated 4 months ago