A static analysis of vulnerabilities, Docker and Kubernetes cluster configuration detect toolkit based on the real penetration of cloud computing

Rust virtual machine and JIT compiler for eBPF programs

Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behavi…

Identify and test the security of dynamic memory allocators in monolithic firmware images

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

BinAbsInspector: Vulnerability Scanner for Binaries

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Drone pentesting framework console

Advisories, proof of concept files and exploits that have been made public by @pedrib.

D-Link firmware decryption PoC

Open Auto Tracking System for satellite tracking or target tracking.

A denial-of-service proof-of-concept for CVE-2020-1350

GLM uCode dumps

Issues has been disabled for these PoC's, as they are simply PoC, Public Domain and unsupported.

Port of devttyS0's IDA plugins to the Ghidra plugin framework, new plugins as well.

TOTOLINK Router Vuls

Shdep is an analysis tool to trace the shell script dependency.

Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

PoC materials for article https://habr.com/en/post/486856/

syzkaller is an unsupervised coverage-guided kernel fuzzer

Qiling Advanced Binary Emulation framework

Semantics-aware Code Generation for Finding JS engine Vulnerabilities

URGENT/11 detection tool by Armis

Platform for Architecture-Neutral Dynamic Analysis