ufwt Goto Github PK

srslte

Open source SDR LTE software suite

starsmith

This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.

staticx

Create static executable from dynamic executable

stellargraph

Machine Learning on Graphs

straight-dta

data flow tracking test programs

strngr

stuffz

little scripts in which you can find (maybe) interesting things

super

Secure, Unified, Powerful and Extensible Rust Android Analyzer

sv-benchmarks

Collection of Verification Tasks

svf

Static Value-Flow Analysis in LLVM

sweetsecurity

Network Security Monitoring on Raspberry Pi type devices

sword

SWORD: A Whole Program Race Detector for Java

symbiotic

Symbiotic is a tool for verifying computer programs based on instrumentation, program slicing and KLEE

symbol-server

Collection of Apple related symbols - from DWARF/dSYMs and hand generated

symda

symfuzz

symgdb

SymGDB - symbolic execution plugin for gdb

symx

Lightweight Symbolic Execution Engine

syntia

Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"

syntribos

Python API security testing tool from OpenStack Security Group

sysevr

syzkaller-ros

"Porting Syzkaller to ReactOS" GSoC 2020 Project by @freakston

syzkaller-win

t-fuzz

taipan

Web application security scanner

talon-tools

Talon Tools: The Framework for Practical IEEE 802.11ad Research

tcpfuzz

A TCP Stateful Fuzzer

technical-whitepapers

Collection of IT whitepapers, presentations, pdfs; hacking, web app security, db, reverse engineering and more; EN/PL.

the-axer

thehive

TheHive: a Scalable, Open Source and Free Security Incident Response Platform