Stars
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
Static Value-Flow Analysis Framework for Source Code
SoftVC VITS Singing Voice Conversion
A minimalistic and high-performance SAT solver
An step by step fuzzing tutorial. A GitHub Security Lab initiative
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Protocol Buffers - Google's data interchange format
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!
A library for analyzing LLVM bitcode in Haskell
solana-labs / rbpf
Forked from qmonnet/rbpfRust virtual machine and JIT compiler for eBPF programs
Use angr inside GDB. Create an angr state from the current debugger state.
Caezar ASCII Shellcode Generator (x86, 32 bits)
A modern runtime for JavaScript and TypeScript.
syzkaller is an unsupervised coverage-guided kernel fuzzer