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☆135Updated 5 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 3 years ago
- Sled System Emulator☆28Updated last week
- RISC-V Instruction Set Metadata☆41Updated 7 years ago
- Pure Python Itanium C++ ABI demangler☆37Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆107Updated 7 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- bil verification tool☆12Updated 3 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- ☆25Updated 2 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆31Updated 5 years ago
- Safely execute an arbitrary x86 instruction☆185Updated last year
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆89Updated this week
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 8 months ago
- Standalone AArch64 Emulator Library☆71Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Tool to recover C headers (types, function signatures) from DWARF debug data☆47Updated 3 years ago
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Updated 7 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆23Updated 10 years ago
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- RISC-V user-mode emulator that runs DooM☆58Updated 6 years ago
- Decompiler of LLVM bitcode to C☆87Updated last year
- Tracing framework for full system simulators☆57Updated 10 years ago
- Diablo is a retargetable link-time binary rewriting framework☆79Updated 4 years ago
- Tiny Code Generator Library☆46Updated 4 years ago