RolfRolles / SynesthesiaYS
Synesthesia, implemented as Yices scripts
☆94Updated 7 years ago
Alternatives and similar repositories for SynesthesiaYS:
Users that are interested in SynesthesiaYS are comparing it to the libraries listed below
- Binary Ninja Function Annotator☆40Updated 6 years ago
- grap: define and match graph patterns within binaries☆171Updated 4 years ago
- Small tool for generating ropchains using unicorn and z3☆198Updated 7 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆61Updated 7 years ago
- IDAtropy is a plugin for Hex-Ray's IDA Pro designed to generate charts of entropy and histograms using the power of idapython and matplot…☆140Updated 4 years ago
- A clone (of the basic core) of AFL fuzzer☆74Updated 9 years ago
- Library for creating CTF services.☆74Updated 8 years ago
- Simple shellcode decoder using unicorn-engine☆99Updated 9 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- Old mitigation-bounty code that was applicable to edge before it use webkit/chrome☆86Updated 8 years ago
- Programmatic disassembly and patching☆68Updated 8 years ago
- Automated Return-Oriented Programming Chaining☆84Updated 8 years ago
- A set of scripts for a radare-based malware code analysis workflow☆67Updated 6 years ago
- Binary Ninja Posters☆35Updated 4 years ago
- r2con 2017 September 6-9☆97Updated 7 years ago
- ☆63Updated 9 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆53Updated 7 years ago
- An open source, multi-architecture ROP compiler written in python☆161Updated 7 years ago
- ☆49Updated 7 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆144Updated 8 years ago
- A program to draw rectangles from heap traces.☆133Updated 5 years ago
- A place holder for Keystone repo. See https://github.com/keystone-engine/keystone for the real stuff☆67Updated 3 years ago
- Semantic Binary Code Analysis Framework☆125Updated 9 years ago
- Some tutorials and examples for generic unpacking JAVA, .NET and x86/x64 code☆51Updated 9 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆86Updated last year
- Uncovering Class Hierarchies in C++ Programs☆127Updated 2 years ago
- Augmenting Static Analysis Using Pintool: Ablation☆39Updated 8 years ago
- ☆123Updated 4 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆171Updated 10 years ago
- ☆69Updated 3 years ago