Stars
Replacements to standard numeric types which throw exceptions on errors
Bear is a tool that generates a compilation database for clang tooling.
Splint - annotation-assisted static program checker
syzkaller is an unsupervised coverage-guided kernel fuzzer
An step by step fuzzing tutorial. A GitHub Security Lab initiative
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Reverse engineering and pentesting for Android applications
Everything (examples, docs, references, ...) to start developing problems for the cmgr framework
A curated list of available fantasy consoles/computers.
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
Battelle / afl-unicorn
Forked from innovimax/afl-1afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.
Here's samples of android/ios spyware named "Pegasus" made by the NSOGROUP
A collection of interesting and diverse Android malware samples
A merge between https://github.com/OneOfEleven/uv-k5-firmware-custom and https://github.com/fagci/uv-k5-firmware-fagci-mod
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
This is a decompression bomb (also known as zip of death or zip bomb) designed to crash or render useless the program or system reading it.
Dafny is a verification-aware programming language