Pinned Repositories
AFLplusplus
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!
adacc
AFLplusplus
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!
bitwuzla
Bitwuzla 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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
dynamorio
Dynamic Instrumentation Tool Platform
pastis-sydr
This is a PASTIS engine for Sydr-Fuzz hybrid fuzzer
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
apach301's Repositories
apach301/pastis-sydr
This is a PASTIS engine for Sydr-Fuzz hybrid fuzzer
apach301/adacc
apach301/AFLplusplus
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!
apach301/bitwuzla
Bitwuzla 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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
apach301/dynamorio
Dynamic Instrumentation Tool Platform
apach301/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
apach301/oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
apach301/grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
apach301/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
apach301/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
apach301/oneDNN
oneAPI Deep Neural Network Library (oneDNN)
apach301/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
apach301/symcc
SymCC: efficient compiler-based symbolic execution
apach301/tensorflow
An Open Source Machine Learning Framework for Everyone
apach301/Triton
Triton 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, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
apach301/XNNPACK
High-efficiency floating-point neural network inference operators for mobile, server, and Web