Find memory corruption vulnerabilities in stripped binaries — no source code required. Lifts ELF to LLVM IR, filters with SSA taint analysis, verifies with KLEE/IKOS/SeaHorn/SMACK.
☆41Jul 26, 2026Updated 2 months ago
Alternatives and similar repositories for wsolver
Users that are interested in wsolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jun 15, 2026Updated 4 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆24Jun 20, 2025Updated last year
- Permissive, modern alternative to Ghidra with Rust/Python core and first-class agentic AI integration☆47Sep 24, 2026Updated 3 weeks ago
- DecBench: An experimental living benchmark to measure how close we are to perfect decompilation on binaries.☆131Updated this week
- WIP Java decompiler☆24Dec 3, 2025Updated 10 months 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.
- Library to manipulate and create Sourcetrail databases☆24Jul 6, 2026Updated 3 months ago
- Samsung QN90B and QN90F root☆48Sep 28, 2026Updated 3 weeks ago
- ☆26Aug 7, 2023Updated 3 years ago
- Automate forensic traige package collection and evidence parsing with KAPE and Crowdstrike☆15Mar 5, 2022Updated 4 years ago
- Ablation is an autonomous reverse engineering system.☆222Updated this week
- [SIGGRAPH'2026] VidSplat: Gaussian Splatting Reconstruction with Geometry-Guided Video Diffusion Priors☆50May 15, 2026Updated 5 months ago
- Welcome to the **Slot & Casino Game Developer Skills for Stake Engine** collection! This repository provides a suite of specialized AI sk…☆77Feb 21, 2026Updated 7 months ago
- 从零开始手写的AMD平台Hypervisor☆48Jul 19, 2026Updated 3 months ago
- A collection of vulnerabilities & exploits against modern GCS☆28Sep 11, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- the rounding error tool 🚩☆14May 16, 2025Updated last year
- Web scraper, written in Elixir, that pulls cybersecurity job postings from public hiring APIs, isolates the genuine cybersecurity roles, …☆81Jun 2, 2026Updated 4 months ago
- Exploit code by DirtyChain☆18Apr 11, 2025Updated last year
- Multi-EDR & SIEM mock server. SentinelOne, CrowdStrike, Defender, Elastic, Cortex XDR, Splunk, M365 and Sentinel — 8 platforms in one pro…☆55Updated this week
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Oct 12, 2026Updated last week
- STM32F2 / F4 Fault Injection☆53Oct 12, 2026Updated last week
- LLM Skills for Reverse Engineering Bluetooth Code☆31Aug 3, 2026Updated 2 months ago
- Search & apply to ~4,700 salary-transparent tech jobs across 7 countries (🇨🇭🇩🇪🇬🇧🇺🇸🇨🇦🇳🇱🇫🇷) from your terminal or AI agent — …☆102Aug 28, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Aug 14, 2026Updated 2 months ago
- ☆13Dec 12, 2025Updated 10 months ago
- Runtime smm module loader☆40Jan 12, 2023Updated 3 years ago
- Aa Rust-based command-line interface (CLI) and library for controlling Twinkly programmable LED controllers.☆17Feb 3, 2025Updated last year
- Zrax: Rust and WebAssembly ISA classification, entropy maps, and binary analysis workbench☆14Updated this week
- ☆22Feb 18, 2025Updated last year
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 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.
- Using MCP is fun with Cyberbro!☆19Aug 4, 2026Updated 2 months ago
- Rust interface for cvc5☆17Updated this week
- ☆15Mar 28, 2015Updated 11 years ago
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 6 months ago
- ☆10Sep 28, 2026Updated 3 weeks ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Oct 10, 2026Updated last week
- Hacks and experiments for the linux kernel VM subsystem.☆23Jun 4, 2022Updated 4 years ago