Stars
Secure and local AI on your desktop with a built-in RAG knowledge base and Markdown note support.
Master programming by recreating your favorite technologies from scratch.
A C++ library for interacting with JSON.
gagachang / raspbian-tee
Forked from benhaz1024/raspbian-teeRaspbian with OP-TEE support.
Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)
OSS implementation of the TCG TPM2 Software Stack (TSS2)
No longer maintained, see pinned issues
LFI: Practical, Efficient, and Secure Software-based Sandboxing
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
KimHyungSub / SVF-data-flow
Forked from SVF-tools/SVF-exampleAn external project example using SVF as a library
Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
Project for postgresql generational fuzzing automatization
A collection of code based on LLVM/Clang compilation libraries and tools
Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
⚙️ 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.
Getting started with static program analysis. 静态程序分析入门教程。
A LLVM-based static analysis framework.