Highlights
- Pro
Stars
Code and resources for model learning of network protocol implementations
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Open-source Windows and Office activator featuring HWID, Ohook, KMS38, and Online KMS activation methods, along with advanced troubleshooting.
A tool that can be used to learn state machines from implementations.
V2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
Protocol state machine learner and fuzzer for DTLS servers and clients
A free, open-source Java library for automata learning algorithms
The Click modular router: fast modular packet processing and analysis
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Collection of undergraduate course homework and projects
The new Windows Terminal and the original Windows console host, all in the same place!