leonW7's repositories
rbpf
Rust virtual machine and JIT compiler for eBPF programs
Goshawk
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 behaviors and then adopts these summaries to enhace bug detection.
heapster
Identify and test the security of dynamic memory allocators in monolithic firmware images
ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
dronesploit
Drone pentesting framework console
PoC-1
Advisories, proof of concept files and exploits that have been made public by @pedrib.
IoT_CVE
My IoT CVEs
Netgear-upnpd-poc
Netgear upnpd ssdp request process stack overflow poc
dlink-decrypt
D-Link firmware decryption PoC
OpenATS
Open Auto Tracking System for satellite tracking or target tracking.
CVE-2020-1350-DoS
A denial-of-service proof-of-concept for CVE-2020-1350
glm-ucode
GLM uCode dumps
ghidra_scripts
Port of devttyS0's IDA plugins to the Ghidra plugin framework, new plugins as well.
totolink
TOTOLINK Router Vuls
shdep
Shdep is an analysis tool to trace the shell script dependency.
hisilicon-dvr-telnet
PoC materials for article https://habr.com/en/post/486856/
IoTScanner
Building a framwork for crawl and analyse IoT firmwares
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
qiling
Qiling Advanced Binary Emulation framework
CodeAlchemist
Semantics-aware Code Generation for Finding JS engine Vulnerabilities
urgent11-detector
URGENT/11 detection tool by Armis
panda-1
Platform for Architecture-Neutral Dynamic Analysis