csarn / cinpyLinks
fork of cinpy as found somewhere on the internet
☆14Updated 7 years ago
Alternatives and similar repositories for cinpy
Users that are interested in cinpy are comparing it to the libraries listed below
Sorting:
- Turn an interpreter into a code generator☆31Updated 10 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 4 years ago
- A library for disassembling x86-64 binaries.☆44Updated 9 months ago
- SVFORTH - A Forth for Security Analysis and Visualization☆41Updated 11 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆34Updated 8 years ago
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 9 years ago
- Python bindings for AsmJit☆12Updated 13 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆31Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Updated 9 years ago
- Open-source decompilation of Disstrack☆13Updated 9 years ago
- Simple virtual machine for a stack-based assembler language.☆21Updated 8 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- Tracing framework for full system simulators☆57Updated 10 years ago
- messing around writing reversing tools in clojure☆15Updated 8 years ago
- Trevisor - A single guest hypervisor with full disk encryption☆17Updated 9 years ago
- A(nother) Binary Analysis Framework☆30Updated 11 years ago
- A library for binary analysis and rewriting☆49Updated 2 years ago
- Services and Drivers control application☆19Updated 8 years ago
- Haxathon Supremacy Virtual Machine☆33Updated 8 years ago
- An easy and powerful assembler engine in python.☆54Updated 6 years ago
- DTrace for Windows OS☆49Updated 7 years ago
- Tiny modular assembler & vm for lightweight control microcode☆37Updated 5 years ago
- Another x86 emulator which likes bochs. But it is much weaker in the functionality. As it is a course project,now we only want to emulat…☆18Updated 12 years ago
- The semantics of Python in K☆21Updated 12 years ago
- A tiny tool to learn the assembly code☆12Updated 8 years ago
- Virtual Machine Monitor/386 bare metal hypervisor. Run vm86 mode processes on a 386☆13Updated 9 years ago