Skip to content
@bitblaze-fuzzball

bitblaze-fuzzball

Popular repositories Loading

  1. fuzzball fuzzball Public

    FuzzBALL: Vine-based Binary Symbolic Execution

    OCaml 214 58

  2. d-s-se-directed-tests d-s-se-directed-tests Public

    Binary dynamic, static, and symbolic execution analysis tools for directed test generation

    C++ 22 9

  3. stp stp Public

    Forked from stp/stp

    Simple Theorem Prover.

    C++ 1 3

  4. valgrind-vex-for-fuzzball valgrind-vex-for-fuzzball Public

    Fork of Valgrind VEX with fixes for use by FuzzBALL

    C 1

Repositories

Showing 4 of 4 repositories
  • fuzzball Public

    FuzzBALL: Vine-based Binary Symbolic Execution

    bitblaze-fuzzball/fuzzball’s past year of commit activity
    OCaml 214 58 5 2 Updated Jan 2, 2024
  • valgrind-vex-for-fuzzball Public

    Fork of Valgrind VEX with fixes for use by FuzzBALL

    bitblaze-fuzzball/valgrind-vex-for-fuzzball’s past year of commit activity
    C 0 GPL-2.0 1 0 0 Updated Jan 2, 2024
  • d-s-se-directed-tests Public

    Binary dynamic, static, and symbolic execution analysis tools for directed test generation

    bitblaze-fuzzball/d-s-se-directed-tests’s past year of commit activity
    C++ 22 Apache-2.0 9 1 0 Updated Nov 14, 2019
  • stp Public Forked from stp/stp

    Simple Theorem Prover.

    bitblaze-fuzzball/stp’s past year of commit activity
    C++ 1 133 0 0 Updated Jul 21, 2017

Top languages

Loading…

Most used topics

Loading…