R9295
I weigh my life and it's got me old fool gold
CODE University of Applied SciencesMarquee Moon & Berlin
R9295's Stars
google/wuffs
Wrangling Untrusted File Formats Safely
GJDuck/EnvFuzz
Fuzz anything with Program Environment Fuzzing
aemmitt-ns/radius2
radius2 is a fast binary emulation and symbolic execution framework using radare2
bytecodealliance/cap-std
Capability-oriented version of the Rust standard library
borgo-lang/borgo
Borgo is a statically typed language that compiles to Go.
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
dafny-lang/dafny
Dafny is a verification-aware programming language
zetzit/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
shellphish/driller
Driller: augmenting AFL with symbolic execution!
synthmata/synthmata.github.io
fuzzland/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
rust-lang/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
csmith-project/csmith
Csmith, a random generator of C programs
sourcefrog/cargo-mutants
:zombie: Inject bugs and see if your tests catch them!
tenable/awesome-llm-cybersecurity-tools
A curated list of large language model tools for cybersecurity research.
rust-fuzz/libfuzzer
Rust bindings and utilities for LLVM’s libFuzzer
aflgo/aflgo
Directed Greybox Fuzzing with AFL
antonio-morales/Hackfest_Advanced_Fuzzing_Workshop
strongcourage/awesome-directed-fuzzing
A curated list of awesome directed fuzzing research papers
RUB-SysSec/ijon
angr/claripy
An abstraction layer for constraint solvers.
hacspec/hax
A Rust verification tool
prove-rs/z3.rs
Rust bindings for the Z3 solver.
eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
trailofbits/manticore
Symbolic execution tool
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
google/buzzer
frida/frida
Clone this repo to build Frida
moondance-labs/tanssi
singi/webgl-0day