Skip to content

@bitblaze-fuzzball bitblaze-fuzzball

Change the repository type filter

All

    Repositories list

    4 repositories

    • fuzzball

      Public
      FuzzBALL: Vine-based Binary Symbolic Execution
      OCaml
      •
      Other
      •58•215•5•2•Updated Jan 2, 2024Jan 2, 2024

    • valgrind-vex-for-fuzzball

      Public
      Fork of Valgrind VEX with fixes for use by FuzzBALL
      C
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Jan 2, 2024Jan 2, 2024

    • d-s-se-directed-tests

      Public
      Binary dynamic, static, and symbolic execution analysis tools for directed test generation
      C++
      •
      Apache License 2.0
      •9•22•1•0•Updated Nov 14, 2019Nov 14, 2019

    • stp

      Public
      Simple Theorem Prover.
      C++
      •
      Other
      •130•1•0•0•Updated Jul 21, 2017Jul 21, 2017