A collection of my Semgrep rules to facilitate vulnerability research.

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

A collection of my weggli patterns to facilitate vulnerability research.

Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation

An external project example using SVF as a library

基于clang static analyzer的源码漏洞检测插件

Linux 内核揭秘

A wrapper script to build whole-program LLVM bitcode files

git:https://g.csail.mit.edu/kint

Enhanced implementation of Kint in LLVM-14, in C++17.

Bear is a tool that generates a compilation database for clang tooling.

Tools for extracting files from ext2,3,4 filesystem images

信息安全方面的书籍

Scapy: the Python-based interactive packet manipulation program & library.

Impacket is a collection of Python classes for working with network protocols.

Automated integer factorization

Static Value-Flow Analysis Framework for Source Code

compiler course info

K-Miner

1000+份计算机paper，卡耐基梅隆大学，哈佛，斯坦福，芝加哥大学，MIT，facebook，google，微软，Amazon，twitter等大牛一作，持续更新中

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

Android/Linux vmlinux loader

smali/baksmali

A static analyzer for Java, C, C++, and Objective-C

An incremental parsing system for programming tools

Code AI platform with Code Search & Cody

Export disassemblies into Protocol Buffers

Ghidra Extension to integrate BinDiff for function matching