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☆133Updated 5 years ago
- Sled System Emulator☆28Updated 4 months ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 6 months ago
- LLVM Assembler adding Debug Information at IR Level.☆33Updated 6 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Safely execute an arbitrary x86 instruction☆185Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- Manipulate C-family ASTs with Clang☆66Updated 6 years ago
- Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel☆45Updated 6 years ago
- ELF reader-writer library for Python3☆65Updated 2 years ago
- QEMU with support for CHERI☆59Updated this week
- gelfload is Gregor's ELF loader. It is a usermode loader for ELF executables, used for two purposes: 1) Creating ELF environments on othe…☆39Updated 11 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)☆21Updated last month
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 4 months ago
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆87Updated 2 months ago
- Visualization of LLVM IR☆60Updated 11 years ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- EFI Byte Code Virtual Machine in userspace☆80Updated 2 years ago
- Fork of LLVM adding CHERI support☆57Updated this week
- Decompiler of LLVM bitcode to C☆87Updated last year
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago