Alternatives and similar repositories for tiresias:

Users that are interested in tiresias are comparing it to the libraries listed below

• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 6 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 7 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated last month
• mammon / mammon.github.com
  Papers on reverse engineering and assembly language programming
  ☆39Updated 4 years ago
• Battelle / sinkhole
  Architectural privilege escalation on x86
  ☆60Updated 6 years ago
• netspooky / hardcode
  64KB and smaller demoscene intros. Sorted by size. hardcode.untergrund.net
  ☆38Updated 5 years ago
• elfmaster / static_binary_mitigations
  relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.
  ☆33Updated 6 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆55Updated 6 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• Battelle / vimmmex
  The vim execution engine
  ☆26Updated 6 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆26Updated 7 years ago
• BR903 / xcd
  A colorized version of xxd.
  ☆26Updated 2 months ago
• citypw / lcamtuf-memfetch
  Memfetch is a simple utility to dump all memory of a running process, either immediately or when a fault condition is discovered. It is a…
  ☆40Updated 6 years ago
• jbangert / mithril
  In Soviet Russia, Mithril forges ELF.
  ☆28Updated 6 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 9 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆28Updated 4 years ago
• Dovgalyuk / qemu
  QEMU fork
  ☆10Updated 3 years ago
• ConnorNelson / pypreload
  LD_PRELOAD, but for Python.
  ☆18Updated 5 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• radareorg / r2wars
  Corewars but within r2
  ☆57Updated 7 months ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆372Updated 6 years ago
• AlexAltea / ntypes
  Emulate native integer and floating-point types in Python
  ☆20Updated last year
• RolfRolles / SynesthesiaYS
  Synesthesia, implemented as Yices scripts
  ☆91Updated 7 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• felipensp / itrace
  Tracks runtime instruction execution in Linux programs
  ☆33Updated 11 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago