Battelle / tiresias
ARM is Turing-complete without data fetches
☆19Updated 6 years ago
Alternatives and similar repositories for tiresias:
Users that are interested in tiresias are comparing it to the libraries listed below
- asrepl: x86-64 assembly REPL☆69Updated 7 years ago
- Papers on reverse engineering and assembly language programming☆38Updated 4 years ago
- Architectural privilege escalation on x86☆60Updated 6 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Tracks runtime instruction execution in Linux programs☆33Updated 11 years ago
- Scripting Assembly Language☆12Updated 9 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆29Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆31Updated 7 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- messing around writing reversing tools in clojure☆14Updated 7 years ago
- The only thing better than completely headless!☆32Updated 5 years ago
- ☆67Updated 3 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- ARM is Turing-complete without data fetches☆56Updated 6 years ago
- Target-centric program analysis.☆73Updated this week
- Translator from asm to C, but not decompiler. Something between compiler and decompiler.☆55Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Generic Decoder Specification Language Toolkit☆32Updated 5 years ago
- 64KB and smaller demoscene intros. Sorted by size. hardcode.untergrund.net☆39Updated 5 years ago
- Corewars but within r2☆58Updated 8 months ago
- ☆74Updated 4 years ago
- symbolic execution engine for brainfuck because lol☆13Updated 8 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- subleq assembler / interpreter / rop chain☆5Updated 5 years ago
- A console for assemble/disassemble code using capstone/keystone☆30Updated 6 years ago
- The vim execution engine☆26Updated 6 years ago
- Writing Radare2 plugins in various languages☆16Updated last week