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
- Example implementation of Arm's Architecture Specification Language (ASL)☆119Updated 5 years ago
- Sled System Emulator☆28Updated 3 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 4 months ago
- Pure Python Itanium C++ ABI demangler☆36Updated 2 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- RISC-V user-mode emulator that runs DooM☆53Updated 6 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆44Updated last month
- A super simple RV32i JIT, designed for ease of understanding and modification☆86Updated 2 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 3 months ago
- Extracting high level semantic information from binary code☆65Updated 6 years ago
- Manipulate C-family ASTs with Clang☆65Updated 6 years ago
- Safely execute an arbitrary x86 instruction☆181Updated last year
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- Liveness-driven random C code generator☆42Updated last year
- Microbenchmarks for x86_64 kernel entry methods☆19Updated 3 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Updated 6 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆108Updated 7 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated 11 months ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Standalone AArch64 Emulator Library☆72Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- Formally verified x86-64 decompilation☆42Updated last week
- ☆33Updated last year
- x86 decoders for the yaxpeax project☆139Updated 2 months ago