☆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:
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆32Jan 20, 2026Updated 3 months ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- This tool is the result of a reverse engineering process of the Windows service called SysMain. Time to interact with the prefetch files …☆33Nov 2, 2020Updated 5 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆34Sep 21, 2019Updated 6 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 2 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.
- 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
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆38Jan 14, 2022Updated 4 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- Extendable Visualization & Exploitation tool for glibc heap☆75May 5, 2025Updated last year
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆33Apr 11, 2026Updated 3 weeks ago
- Tool for PDB generation from IDA Pro database☆12Jul 27, 2020Updated 5 years ago
- Summoner tracker overlay that synchronizes between teammates☆10Mar 23, 2023Updated 3 years ago
- Des références pour se faire une culture de sécurité informatique.☆12Dec 19, 2024Updated last year
- ☆38Apr 1, 2024Updated 2 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.
- U2F/FIDO-based key derivation and encapsulation -- C implementation and command-line tool☆10Dec 16, 2025Updated 4 months ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- Talk to a USB serial device without OS drivers!☆11Sep 7, 2022Updated 3 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 6 years ago
- Spring4Shell reproduce☆11Apr 1, 2022Updated 4 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- 学习angr用，里面可能啥都有☆10May 8, 2019Updated 7 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆34Jan 12, 2021Updated 5 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆63Nov 7, 2024Updated last year
- 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.
- stack based buffer overflow in MsIo64.sys, Proof of Concept Local Privilege Escalation to nt authority/system☆13Jun 7, 2021Updated 4 years ago
- Like Russian roulette, but for your kernel.☆14Jul 13, 2025Updated 9 months ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 2 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 8 years ago
- A bunch of sample codes related to kernel fuzzing☆12Feb 7, 2019Updated 7 years ago
- Overview of Microsoft Patch Tuesday☆14Sep 13, 2024Updated last year
- Security research helper for CLFS drivers☆16Sep 5, 2024Updated last year
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Breaking secure checksums in the scudo heap allocator☆14Apr 9, 2020Updated 6 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.
- String obfuscator based on the Mealy automata☆13Sep 16, 2017Updated 8 years ago
- ☆10Jun 16, 2021Updated 4 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆24May 2, 2026Updated last week
- Fuzzing Multiparty Protocols like Pub/Sub Protocols☆19Sep 3, 2021Updated 4 years ago
- ☆17Mar 29, 2021Updated 5 years ago
- PsSetCreateProcessNotifyRoutine/Ex/Ex2 hook☆13May 30, 2024Updated last year
- ☆39May 11, 2023Updated 2 years ago