Stars
μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
A fork and successor of the Sulley Fuzzing Framework
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
This repository contains the scanner component for Greenbone Community Edition.
Greenbone Vulnerability Management Python Library
Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
HeapHopper is a bounded model checking framework for Heap-implementations
Identify and test the security of dynamic memory allocators in monolithic firmware images
A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnera…
A collection of resources/tools and analyses for the angr binary analysis framework.
Gather and update all available and newest CVEs with their PoC.
📡 PoC auto collect from GitHub.
Collect some iot-related security articles, including vulnerability analysis, security conferences and papers, etc.
本项目制作的初衷是帮助师傅们快速搭建工作环境,工欲善其事,必先利其器。
A logic-based enterprise network security analyzer