Z3 Symbolic Execution python
☆28Dec 28, 2017Updated 8 years ago
Alternatives and similar repositories for SZpy
Users that are interested in SZpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unofficial mirror of☆12Feb 2, 2018Updated 8 years ago
- rp++ is a full-cpp written tool that aims to find ROP sequences in PE/Elf/Mach-O x86/x64 binaries. It is open-source and has been tested …☆11Apr 2, 2016Updated 10 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- Write ups☆16Dec 13, 2017Updated 8 years ago
- static program analysis tool that generates return-oriented exploits for ELF binaries☆45Feb 9, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Source code of the double-fetch bug detection approach based on Coccinelle engine☆10Jan 2, 2017Updated 9 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 11 years ago
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 9 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆146Jul 22, 2016Updated 10 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 8 years ago
- (ARM Thumb) Re-Assembler utility for reverse engineering☆17May 6, 2018Updated 8 years ago
- Dump Kext information from Macos. Support batch analysis. The disassembly framework used is Capstone☆43Jul 16, 2017Updated 9 years ago
- An amd64 symbolic emulator☆313Aug 28, 2021Updated 5 years ago
- CTF exploit development and other tools of pwnage☆18May 30, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ARM Shellcode Generator☆106Aug 26, 2017Updated 9 years ago
- gdb plugin for android debugging☆104Jun 20, 2016Updated 10 years ago
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Mar 22, 2016Updated 10 years ago
- A sample project for using Capstone from a driver in Visual Studio 2015☆37May 4, 2016Updated 10 years ago
- ARM rop chain gadget searcher☆38Oct 20, 2017Updated 9 years ago
- ☆22Mar 23, 2016Updated 10 years ago
- Similarity Analysis to Defeat Malware Compiler Variations☆25Oct 3, 2017Updated 9 years ago
- The Jakstab static analysis platform for binaries☆166Dec 10, 2019Updated 6 years ago
- A bunch of links related to Linux kernel fuzzing and exploitation☆15Nov 29, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My little fuzzing framework inspired by grinder☆100Oct 9, 2017Updated 9 years ago
- Better CodeEditor for Ida Pro.☆230Dec 25, 2020Updated 5 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- Unofficial American Fuzzy Lop repo☆25Aug 5, 2016Updated 10 years ago
- Basic command line, text-based, shellcode debugger.☆93Jul 2, 2017Updated 9 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Simple shellcode decoder using unicorn-engine☆102Oct 17, 2015Updated 11 years ago
- ☆60Feb 8, 2016Updated 10 years ago
- Obj-C ARM Tools☆14Oct 2, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tools made for Tizen Security Analysis☆15Jun 2, 2015Updated 11 years ago
- A x86 systematic ROP payload generation☆58Feb 28, 2020Updated 6 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 5 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆173Jan 27, 2015Updated 11 years ago
- radare2 + miasm2 = ♥☆101Jan 22, 2020Updated 6 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆19Apr 22, 2016Updated 10 years ago
- ☆238May 31, 2018Updated 8 years ago