apach301

apach301's Stars

• sydr-fuzz/sydr-fuzz.github.io

  Language:HTML3

• AndreyAkinshin/Russian-Phd-LaTeX-Dissertation-Template

  LaTeX-template for russian Phd thesis

  Language:TeX1.3k679

• quarkslab/tritondse

  Triton-based DSE library with loading and exploration capabilities (and more!)

  Language:Python1098

• quarkslab/pastis

  PASTIS: Collaborative Fuzzing Framework

  Language:Python15710

• pytorch/pytorch

  Tensors and Dynamic neural networks in Python with strong GPU acceleration

  Language:Python85.6k23k

• google/fuzzbench

  FuzzBench - Fuzzer benchmarking as a service.

  Language:Python1.1k276

• google/honggfuzz

  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

  Language:C3.1k516

• DynamoRIO/dynamorio

  Dynamic Instrumentation Tool Platform

  Language:C2.7k566

• google/centipede

  25523

• ispras/oss-sydr-fuzz

  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

  Language:C13632

• ispras/dedoc

  Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and meta information from textual electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser

  Language:Python20122

• tensorflow/tensorflow

  An Open Source Machine Learning Framework for Everyone

  Language:C++187k74.4k

• anfedotoff/gdb-command

  Library for manipulating gdb in batch mode

  Language:Rust203

• ispras/casr

  Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.

  Language:Rust29027

• AdaLogics/adacc

  Language:C++98

• AFLplusplus/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!

  Language:C5.4k1.1k

• JonathanSalwan/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.

  Language:C++3.6k539

• bitwuzla/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”.

  Language:SMT22835

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k

• ispras/sydr-benchmark

  Sydr benchmark applications

  Language:C++176