astocko / json-x86-64Links
x86-64 Intel instruction set in JSON format
☆50Updated 9 years ago
Alternatives and similar repositories for json-x86-64
Users that are interested in json-x86-64 are comparing it to the libraries listed below
Sorting:
- asrepl: x86-64 assembly REPL☆70Updated 8 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated last week
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- A library for disassembling x86-64 binaries.☆41Updated 2 months ago
- The Bear Operating System☆24Updated 7 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Haxathon Supremacy Virtual Machine☆32Updated 8 years ago
- rune - radare2 based symbolic emulator☆27Updated 7 years ago
- ☆74Updated 2 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆28Updated 6 years ago
- ☆69Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- System tracer implementation in Rust☆32Updated 8 years ago
- A Qt-based disassembly viewer based on radare2☆76Updated 7 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Thread Injection Kit. A notorious little attempt to create Windows CreateRemoteThread() equivalent on unix (*nix) platform.☆48Updated 14 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Lightweight Symbolic Execution Engine☆23Updated 10 years ago
- c++ bindings for capstone disasembly framework (http://www.capstone-engine.org/ - https://github.com/aquynh/capstone)☆62Updated 8 years ago
- ARM is Turing-complete without data fetches☆57Updated 7 years ago
- Papers on reverse engineering and assembly language programming☆38Updated 4 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- subleq assembler / interpreter / rop chain☆5Updated 5 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- A library for binary analysis and rewriting☆47Updated last year
- ld-linux code injector☆49Updated 13 years ago
- Parser for the llvm bitcode format☆59Updated last week