Battelle / tiresiasLinks
ARM is Turing-complete without data fetches
☆19Updated 7 years ago
Alternatives and similar repositories for tiresias
Users that are interested in tiresias are comparing it to the libraries listed below
Sorting:
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- ARM is Turing-complete without data fetches☆57Updated 7 years ago
- An exploration of code homeomorphism☆34Updated 7 years ago
- Architectural privilege escalation on x86☆60Updated 7 years ago
- Yet another crippled decompiler project☆108Updated 3 years ago
- Interactive Redundant Assembler (shell)☆97Updated 5 years ago
- 64KB and smaller demoscene intros. Sorted by size. hardcode.untergrund.net☆39Updated 5 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 6 months ago
- Implementations of program analysis tools with a focus on machine code☆208Updated 11 years ago
- Dynamic binary visualization☆42Updated 10 years ago
- A port of Kaitai to the Hiew hex editor☆150Updated 5 years ago
- A console for assemble/disassemble code using capstone/keystone☆31Updated 7 years ago
- minimalistic commandline hexadecimal editor similar to radare☆83Updated 4 years ago
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- QEMU fork☆10Updated 4 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- Minimal RarVM Toolchain☆235Updated 10 years ago
- LD_PRELOAD, but for Python.☆19Updated 6 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 8 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Papers on reverse engineering and assembly language programming☆38Updated 4 years ago
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆260Updated 6 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆28Updated 6 years ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆175Updated 5 years ago
- Generic Decoder Specification Language Toolkit☆32Updated 6 years ago
- As near as possible to bare metal☆48Updated 2 months ago
- symbolic execution engine for brainfuck because lol☆14Updated 8 years ago
- HTML-embeddable x86_64 emulator☆78Updated 7 months ago
- A differential fuzzer for x86 decoders☆251Updated 11 months ago