#
libfuzzer
Here are 31 public repositories matching this topic...
Fuzzing Unification Framework
-
Updated
Sep 1, 2022 - C++
Constraint solver based on coverage-guided fuzzing
llvm
jit
fuzzing
smtlib
smtlibv2
z3
constraint-solver
libfuzzer
floating-point-arithmetic
coverage-guided-fuzzing
-
Updated
Sep 5, 2019 - C++
Rust bindings and utilities for LLVM’s libFuzzer
-
Updated
Sep 1, 2022 - C++
CI/CD pipeline for building and publishing multiple 🐳 containers as microservices within a mono repository.
-
Updated
Aug 12, 2022 - Python
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
fuzz and property testing front-end for Rust
-
Updated
Aug 18, 2022 - C
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
security
dse
symbolic-execution
symbolic
fuzzing
fuzz-testing
vulnerabilities
stability
libfuzzer
dynamic-symbolic-execution
concolic-execution
concolic
oss-fuzz
hybrid-fuzzing
sydr
sydr-fuzz
-
Updated
Sep 2, 2022 - C
This is an example of a project with continuous fuzzing integration
-
Updated
Jul 26, 2020 - CMake
Fuzzing for Roughenough, a Rust implementation of the Roughtime secure time sync protocol
-
Updated
Dec 29, 2021 - Rust
Improve this page
Add a description, image, and links to the libfuzzer topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the libfuzzer topic, visit your repo's landing page and select "manage topics."