Alternatives and similar repositories for hs-arm:

Users that are interested in hs-arm are comparing it to the libraries listed below

• ktemkin-archive / bfstub
  Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later
  ☆21Updated 2 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 8 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆126Updated 5 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆68Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• iximeow / yaxpeax-dis
  yaxdis, a small and naive disassembler using yaxpeax decoders
  ☆33Updated 3 weeks ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 5 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 9 years ago
• marysaka / ghidra_falcon
  Support of Nvidia Falcon processors for Ghidra
  ☆70Updated 7 months ago
• radareorg / libdemangle
  A simple library focusing on demangling symbols for different programing languages
  ☆47Updated 4 years ago
• laanwj / dwarf_to_c
  Tool to recover C headers (types, function signatures) from DWARF debug data
  ☆47Updated 3 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• srcshelton / vapour
  Hook libc syscalls on Mac OS X
  ☆23Updated 8 years ago
• abenkhadra / spedi
  Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
  ☆106Updated 6 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆41Updated last month
• peterbjornx / p6tools
  Pentium II microcode (dis)assembler and (de)scrambler
  ☆20Updated 4 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆29Updated 5 years ago
• brainsmoke / minemu
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆41Updated 4 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 8 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 3 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆52Updated last week
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago