-
oss-sydr-fuzz Public
Forked from ispras/oss-sydr-fuzzOSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
C Apache License 2.0 UpdatedDec 19, 2025 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedSep 15, 2025 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedSep 8, 2025 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedSep 8, 2025 -
icu Public
Forked from unicode-org/icuThe home of the ICU project source code.
C++ Other UpdatedSep 8, 2025 -
zlib Public
Forked from madler/zlibA massively spiffy yet delicately unobtrusive compression library.
C Other UpdatedSep 8, 2025 -
boringssl Public
Forked from google/boringsslMirror of BoringSSL
C++ Apache License 2.0 UpdatedSep 8, 2025 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe 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!
C Apache License 2.0 UpdatedAug 20, 2025 -
honggfuzz Public
Forked from google/honggfuzzSecurity oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
C Apache License 2.0 UpdatedMay 22, 2025 -
dynamorio Public
Forked from DynamoRIO/dynamorioDynamic Instrumentation Tool Platform
C Other UpdatedAug 16, 2024 -
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
C++ Apache License 2.0 UpdatedMay 14, 2024 -
XNNPACK Public
Forked from google/XNNPACKHigh-efficiency floating-point neural network inference operators for mobile, server, and Web
C Other UpdatedMay 14, 2024 -
pastis-sydr Public
This is a PASTIS engine for Sydr-Fuzz hybrid fuzzer
-
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
C++ GNU General Public License v3.0 UpdatedMay 4, 2023 -
fuzzbench Public
Forked from google/fuzzbenchFuzzBench - Fuzzer benchmarking as a service.
Python Apache License 2.0 UpdatedMar 23, 2023 -
-
Triton Public
Forked from JonathanSalwan/TritonTriton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, …
C++ Apache License 2.0 UpdatedJan 21, 2022 -
bitwuzla Public
Forked from bitwuzla/bitwuzlaBitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
SMT Other UpdatedJan 10, 2022
{{ message }}