Skip to content
@season-lab

SEASON Lab

Software Analysis and Optimization Laboratory at Sapienza University of Rome

Pinned Loading

  1. fuzzolic Public

    fuzzing + concolic = fuzzolic :)

    C 120 6

  2. SymFusion Public

    SymFusion: Hybrid Instrumentation for Concolic Execution

    C 17 5

  3. fuzzy-sat Public

    An approximate solver for concolic execution

    C 18 4

  4. DroidReach Public

    Framework for testing the reachability of native functions in Android applications.

    Python 11 2

Repositories

Showing 10 of 25 repositories
  • memsight Public

    MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)

    Python 23 BSD-2-Clause 4 1 1 Updated Nov 21, 2024
  • fuzzolic Public

    fuzzing + concolic = fuzzolic :)

    C 120 GPL-2.0 6 1 1 Updated May 19, 2024
  • qemu Public
    C 1 1 0 0 Updated Oct 4, 2023
  • DroidReach Public

    Framework for testing the reachability of native functions in Android applications.

    Python 11 2 0 0 Updated Aug 30, 2023
  • z3 Public
    C++ 1 1 0 0 Updated Jun 3, 2023
  • cex Public
    Python 1 1 0 0 Updated May 7, 2023
  • SymFusion Public

    SymFusion: Hybrid Instrumentation for Concolic Execution

    C 17 5 0 0 Updated May 5, 2023
  • symcc-hybrid Public
    C++ 0 GPL-3.0 1 0 0 Updated Oct 6, 2022
  • DroidReachBenchmarks Public
    Java 0 2 0 1 Updated Aug 27, 2022
  • symqemu-hybrid Public
    C 3 1 0 0 Updated Aug 1, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.