Course sample for SMT-Based Binary Program Analysis training class
☆33Apr 19, 2018Updated 8 years ago
Alternatives and similar repositories for SMTSample
Users that are interested in SMTSample are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- An IDA plugin to deobfuscate Pikabot's strings using RC4 and AES☆13Apr 8, 2024Updated 2 years ago
- more at http://www.zer0mem.sk/?p=271☆12Jun 11, 2013Updated 13 years ago
- iOS/macOS: task_swap_mach_voucher() does not respect MIG semantics leading to use-after-free☆11Jan 30, 2019Updated 7 years ago
- The most trivial virtual machine that can run a few x86 machine code instructions.☆27Feb 8, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆183Nov 25, 2018Updated 7 years ago
- Java integration for Hex-Rays IDA Pro☆26Feb 15, 2017Updated 9 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 4 years ago
- ☆14Sep 22, 2023Updated 3 years ago
- VEH Redirect & VEH Debugger☆24May 18, 2020Updated 6 years ago
- USENIX - Vault'19: BPF programming Tutorial "Performance Analysis in Linux Storage Stack with BPF"☆18Feb 26, 2019Updated 7 years ago
- ☆13Feb 17, 2021Updated 5 years ago
- Windows 10 RS2/RS3 exploitation primitives based on the OffensiveCon 2018 talk☆59Feb 27, 2018Updated 8 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A fuzz job for ClamAV☆32Jun 13, 2016Updated 10 years ago
- ☆19Oct 31, 2022Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆181Feb 16, 2025Updated last year
- Plugin for BinaryNinja that provides bookmarking functionality☆21Feb 11, 2021Updated 5 years ago
- Kernel Shellcode to add all privileges in token☆15Mar 13, 2017Updated 9 years ago
- Exploits for the house of IO class of vulnerabilities☆14Oct 10, 2021Updated 5 years ago
- Fix API against Themida API Redirection/Jump Trick with Cheat Engine Lua Script☆31Jun 23, 2020Updated 6 years ago
- Async rust support for the reverse-engineered Crowdstrike Falcon protocol between the Sensor and cloud services☆20Mar 10, 2023Updated 3 years ago
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Static unpacker for FinSpy VM☆103Jul 11, 2021Updated 5 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆47Jan 18, 2017Updated 9 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆322Jun 11, 2020Updated 6 years ago
- HITCON CTF 2018☆43Oct 22, 2018Updated 8 years ago
- Browser Fuzzing with Machine Learning☆22Mar 6, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/ioctlbf☆17Mar 28, 2015Updated 11 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- EQGRP: Replicating DarkPulsar, an DLL capable of hooking Security Package Method Tables on the Heap!☆15Oct 11, 2020Updated 6 years ago
- Guest to host VM escape exploit for Parallels Desktop☆28Nov 14, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Notes my learning steps about Windows-NT☆23May 18, 2017Updated 9 years ago
- Convenience routines for working with the Unicorn emulator in Python☆34Feb 2, 2025Updated last year
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆344Jan 4, 2024Updated 2 years ago
- The radare2 + frida book for Mobile Application assessment☆40Jan 11, 2019Updated 7 years ago
- Hypervisor-based debugger☆192Dec 2, 2020Updated 5 years ago
- ☆17Sep 7, 2017Updated 9 years ago