void0red

stb

stb single-file public domain libraries for C/C++

infer

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

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

lz4

Extremely Fast Compression algorithm

angr

A powerful and user-friendly binary analysis platform!

chaosblade

An easy to use and powerful chaos engineering experiment toolkit.（阿里巴巴开源的一款简单易用、功能强大的混沌实验注入工具）

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

xbyak

A JIT assembler for x86/x64 architectures supporting MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Web3-Security-Library

Information about web3 security and programming tutorials/tools

codebrowser

Woboq CodeBrowser

MIRAI

Rust mid-level IR Abstract Interpreter

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

trophy-case

🏆 Collection of bugs uncovered by fuzzing Rust code

lava

LAVA: Large-scale Automated Vulnerability Addition

gllvm

Whole Program LLVM: wllvm ported to go

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

libfuzzer

Rust bindings and utilities for LLVM’s libFuzzer

fuzzer-development-with-rust

Write fuzzer with rust

Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

LLVM-Study-Notes

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

llvm2cpg

LLVM meets Code Property Graphs

sui-move-intro-course-zh

Sui Move导论课中文讲义

fluffy

Ethereum VM fuzzer

MavenEcoSysResearch

libgraph

C++ class templates for graph construction and search

LOKI

A blockchain consensus protocol fuzzing framework

PortedDIFUZE

This repo includes our ported DIFUZE, which can directly generate syzlang format syscall descriptions.