C++ Mutation Test Environment

KLEE Symbolic Execution Engine

⚙️ 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.

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"

Coveraged-based fuzzer for finding DBMS logical bugs

A framework for distributed systems verification, with fault injection

Automated testing to find logic and performance bugs in database systems

A random SQL query generator

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…

Application Kernel for Containers

A curated list of awesome directed fuzzing research papers

Intel confidential computing - TDX

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

Confidential Containers Community

A unified framework for privacy-preserving data analysis and machine learning

Csmith, a random generator of C programs

Process-based Confidential Container Runtime

Static Value-Flow Analysis Framework for Source Code

Intel SGX for Linux*