Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
☆76Jan 2, 2020Updated 6 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96May 24, 2026Updated 5 months ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).☆14Dec 7, 2022Updated 3 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 8 years ago
- Using WinDBG to tap into JavaScript and help with deobfuscation and browser exploit detection☆81Mar 22, 2017Updated 9 years ago
- asadbg is a framework of tools to aid in automating live debugging of Cisco ASA devices☆80Jun 13, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆63Aug 5, 2017Updated 9 years ago
- WinHeap Explorer repository.☆119Aug 27, 2018Updated 8 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆497Aug 24, 2024Updated 2 years ago
- Public repository of the dynamic binary analysis framework WEASEL. WEASEL's main purpose is the identification and elimination of backdoo…☆15Nov 10, 2020Updated 5 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- Use angr in the IDA Pro debugger generating a state from the current debug session☆287Jul 22, 2020Updated 6 years ago
- Any useful windbg plugins I've written.☆117Apr 10, 2018Updated 8 years ago
- ☆19Dec 19, 2019Updated 6 years ago
- A framework to fuzz Word Quick Fields☆20Jul 15, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- by http://whereisk0shl.top/☆33Jul 9, 2018Updated 8 years ago
- Chakra vulnerability and exploit bypass all system mitigation☆81Jun 9, 2018Updated 8 years ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆35Nov 18, 2020Updated 5 years ago
- Experimental opaque predicate detection for IDA Pro☆83Dec 22, 2017Updated 8 years ago
- ☆387Oct 28, 2019Updated 7 years ago
- ☆12Apr 13, 2017Updated 9 years ago
- Fork of git://git.osmocom.org/simtrace.git☆14Jul 9, 2013Updated 13 years ago
- Scripts to automatically create VM images☆15Oct 17, 2026Updated last week
- windows kernel vulnerability found by me☆87Aug 28, 2017Updated 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.
- Exploit Development and Reverse Engineering with GDB Made Easy☆18Jun 25, 2019Updated 7 years ago
- r2con 2017 September 6-9☆97Oct 23, 2017Updated 9 years ago
- Attacking the Core associated source files☆91Dec 13, 2017Updated 8 years ago
- Simple library to spray the Windows Kernel Pool☆111Jan 6, 2020Updated 6 years ago
- Reexport symbols for Mach-O and ELF☆38Mar 2, 2018Updated 8 years ago
- Better CodeEditor for Ida Pro.☆230Dec 25, 2020Updated 5 years ago
- A set of exploitation/reversing aids for IDA☆421Nov 28, 2017Updated 8 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- Python based angr plug in for IDA Pro.☆35Feb 25, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- GlibC Malloc for Exploiters presentation☆152Jun 22, 2019Updated 7 years ago
- Linux ELF x32/x64 ASLR DEP/NX bypass exploit with stack-spraying☆308Jan 12, 2023Updated 3 years ago
- ☆17Sep 7, 2017Updated 9 years ago
- The third MOSEC mobile security technology summit 第三届 MOSEC 移动安全技术峰会参会分享☆184Jul 7, 2017Updated 9 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆71Sep 5, 2017Updated 9 years ago
- Collection of pin tools☆52Dec 29, 2015Updated 10 years ago