nspin / hs-armLinks
(Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
☆27Updated 7 years ago
Alternatives and similar repositories for hs-arm
Users that are interested in hs-arm are comparing it to the libraries listed below
Sorting:
- Tools to process ARM's Machine Readable Architecture Specification☆134Updated 5 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Sled System Emulator☆28Updated 2 weeks ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 7 months ago
- LLVM Assembler adding Debug Information at IR Level.☆33Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- Statically recompiling CHIP8 to Windows and macOS using LLVM☆94Updated 4 years ago
- bil verification tool☆12Updated 3 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- Safely execute an arbitrary x86 instruction☆184Updated last year
- A super simple RV32i JIT, designed for ease of understanding and modification☆86Updated 2 years ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆109Updated 7 years ago
- Tests cases for binary decompilers☆52Updated 2 years ago
- RISC-V Instruction Set Metadata☆41Updated 7 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- A light-weight and efficient disassembler written in C for the ARMv7 instruction set.☆217Updated 9 years ago
- Pure Python Itanium C++ ABI demangler☆37Updated 3 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆94Updated 5 years ago
- Standalone AArch64 Emulator Library☆71Updated 4 years ago
- Fork of LLVM adding CHERI support☆57Updated 2 weeks ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 6 months ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- Manipulate C-family ASTs with Clang☆68Updated 6 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆45Updated last month
- Support of Nvidia Falcon processors for Ghidra☆73Updated last year