☆21Feb 25, 2020Updated 6 years ago
Alternatives and similar repositories for symnav
Users that are interested in symnav are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- Jupyter Kernel for Ghidra's Jython☆28Apr 13, 2022Updated 4 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- Alternative API for IDA / Hex-Rays☆75Sep 18, 2023Updated 3 years ago
- This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…☆24Jun 7, 2023Updated 3 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.
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆37Jan 14, 2022Updated 4 years ago
- initial exploit for CVE-2019-0708, BlueKeep CVE-2019-0708 BlueKeep RDP Remote Windows Kernel Use After Free The RDP termdd.sys driver im…☆12Sep 16, 2019Updated 7 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Oct 23, 2022Updated 3 years ago
- A statically typed version of pest.☆11Dec 2, 2025Updated 9 months ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 4 years ago
- Extendable Visualization & Exploitation tool for glibc heap☆75May 5, 2025Updated last year
- Tool for PDB generation from IDA Pro database☆12Jul 27, 2020Updated 6 years ago
- Summoner tracker overlay that synchronizes between teammates☆10Mar 23, 2023Updated 3 years ago
- Analysis and exploitation of an use-after-free in ProFTPd☆14Jun 21, 2023Updated 3 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.
- Des références pour se faire une culture de sécurité informatique.☆12Dec 19, 2024Updated last year
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 5 months ago
- ☆42Apr 1, 2024Updated 2 years ago
- Like Russian roulette, but for your kernel.☆14Jul 13, 2025Updated last year
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆36Jan 20, 2026Updated 7 months ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆34Jan 12, 2021Updated 5 years ago
- Spring4Shell reproduce☆11Apr 1, 2022Updated 4 years ago
- 学习angr用，里面可能啥都有☆10May 8, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆62Nov 7, 2024Updated last year
- stack based buffer overflow in MsIo64.sys, Proof of Concept Local Privilege Escalation to nt authority/system☆13Jun 7, 2021Updated 5 years ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 3 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 9 years ago
- Breaking secure checksums in the scudo heap allocator☆14Apr 9, 2020Updated 6 years ago
- Overview of Microsoft Patch Tuesday☆14Sep 13, 2024Updated 2 years ago
- A bunch of sample codes related to kernel fuzzing☆12Feb 7, 2019Updated 7 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.
- Security research helper for CLFS drivers☆16Sep 5, 2024Updated 2 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- A list of curated papers focusing on Network Protocol Fuzzing.☆14Jul 5, 2022Updated 4 years ago
- String obfuscator based on the Mealy automata☆13Sep 16, 2017Updated 9 years ago
- A constraint solver abstraction layer for Java☆10Aug 26, 2026Updated 3 weeks ago
- Windows file system driver which allows to block access to files at run-time (C/C++, C#, WDK, SDK)☆12Jan 1, 2023Updated 3 years ago
- PsSetCreateProcessNotifyRoutine/Ex/Ex2 hook☆13May 30, 2024Updated 2 years ago