Stars
一个基于 Android 调试 API + 百度地图实现的虚拟定位工具，并且同时实现了一个可以自由移动的摇杆
A fork and successor of the Sulley Fuzzing Framework
⚙️ 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
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…
A curated list of awesome directed fuzzing research papers
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
Process-based Confidential Container Runtime
Static Value-Flow Analysis Framework for Source Code