c0de3 Goto Github PK

snippets

Various code snippets and small PoCs, to be used for tests or as ready-made skeletons.

sockfuzzer

sonarqube

Continuous Inspection

soot

Soot - A Java optimization framework

soot-android-static-analysis

使用Soot进行android应用静态分析

soottutorial

A step-by-step tutorial for Soot (a Java static analysis framework)

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

souper

A superoptimizer for LLVM IR

source-and-fuzzing

一些阅读源码和Fuzzing 的经验,涵盖黑盒与白盒测试..

sparse-llvm

LLVM backend for Sparse

speakeasy

Windows kernel and user mode emulation.

spectre-attack-sgx

Spectre attack against SGX enclave

splint

Splint - annotation-assisted static program checker

sploit-dev

Exploits and research stuffs

spoon

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

springcore0day

SpringCore0day from https://share.vx-underground.org/

static-analysis

A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

static-analysis-1

静态分析☞CodeQL/Soot/SAST

static-program-analysis-book

Getting started with static program analysis. 静态程序分析入门教程。

strawfuzzer

suterusu

An LKM rootkit targeting Linux 2.6/3.x on x86(_64), and ARM

svf

Static Value-Flow Analysis for C and C++ Programs

svf-uaf

A use-after-free checker based on SVF.

sweyntooth_bluetooth_low_energy_attacks

Proof of Concept of Sweyntooth Bluetooth Low Energy (BLE) vulnerabilities.

swf_fuzzer

sydr-benchmark

Sydr benchmark applications

symbolic-analysis

Customized symbolic analysis to find pointer analysis bugs

symexe

symexe

symqemu

SymQEMU: Compilation-based symbolic execution for binaries