fuzzamos Goto Github PK

speex-fuzz

spf-sca

Side-channel analysis via symbolic execution

spf-wca

Tool for algorithmic complexity analysis based on symbolic execution

spruce-sub-fuzz

static_analysis_rules

Summary of static analysis in Java and C/C++

sulley

A pure-python fully automated and unattended fuzzing framework.

surku

Surku is a general-purpose mutation-based fuzzer.

swissfuzz

symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

symfuzz

symgdb

SymGDB - symbolic execution plugin for gdb

syzkaller

syzkaller is an unsupervised, coverage-guided kernel fuzzer

szpy

Z3 Symbolic Execution python

tahh

Source codes for "The Antivirus Hackers Handbook" book.

taint-analyse

Windows平台下的细粒度污点分析工具

taintall

TaintAll, a taint analysis and concolic execution tool

taintflowanalysis

Gives tainting information for the provided bitcode file generated from binary.

talosintelptdriver

targets

🎯 A collection of fuzzing targets written in Rust.

technical-writeups

terry

Wrap radamsa on OSX, add instrumentation / triage.

tga-fuzz

theft

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

tiff-fuzz

tigress_protection

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

tlsfuzzer

TLS test suite and fuzzer

toolbag_pyqt5

The IDA Toolbag is a plugin providing supplemental functionality to Hex-Rays IDA Pro disassembler.

tracer

Utilities for generating dynamic traces

tracer-1

TRACER Symbolic Execution Tool

tracer-2

Experimental tracing framework for Python on Windows.