Lists (6)
Stars
Magnificent app which corrects your previous console command.
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)
PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Intermediate Representation for Binary analysis and transformation
An easy guide to Clang Static Analyzer extension.
Quickly build and run kernels inside a virtualized snapshot of your live system
Low-Level Software Security for Compiler Developers
CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd/shadowbound next door! 🌟😊
Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementations based on Flush+Reload and Prime+Probe (L1, LLC) side-chan…
Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
A new type and functions to manage strings, as proposed in WG14 papers N3250, N3296 and N3306. Its goal is to eliminate a source of many common programmer errors. The new interface is designed to b…
Complementary Concurrency Programs for course "Linux Kernel Internals"
🎓 Path to a free self-taught education in Computer Science!
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
SymQEMU: Compilation-based symbolic execution for binaries