posticarus Goto Github PK

selfrando

Function order shuffling to defend against ROP and other types of code reuse

sgx-perf

High-level performance analyser toolkit for Intel SGX

sgxelide

A code confidentiality framework for Intel SGX

shadowstack

LLVM Implementation of different ShadowStack schemes for x86_64

simple-virtual-machine

A simple VM for a talk on building VMs

streem

prototype of stream based programming language

svf

Static Value-Flow Analysis Framework for Source Code

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

symbolic

Symbolic execution engine for toy language.

symcc

SymCC: efficient compiler-based symbolic execution

symdrive

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

taintchecker

Clang static checker that carries out tainting analysis.

taintflowanalysis

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

tigerml

Modern Compiler Implementation in ML (OCaml)

uroboros

Infrastructure for Reassembleable Disassembling and Transformation

usbfuzz

A Framework for fuzzing USB Drivers by Device Emulation

verifast

Research prototype tool for modular formal verification of C and Java programs

vft

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

wasm_runtimes_fuzzing

Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing

wasmtime

A fast and secure runtime for WebAssembly

wavm

WebAssembly Virtual Machine

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

wolfssl

wolfSSL (formerly CyaSSL) is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!