Skip to content
@season-lab

SEASON Lab

Software Analysis and Optimization Laboratory at Sapienza University of Rome

Pinned Loading

  1. fuzzolic fuzzolic Public

    fuzzing + concolic = fuzzolic :)

    C 118 6

  2. SymFusion SymFusion Public

    SymFusion: Hybrid Instrumentation for Concolic Execution

    C 16 5

  3. fuzzy-sat fuzzy-sat Public

    An approximate solver for concolic execution

    C 17 4

  4. DroidReach DroidReach Public

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

    Python 8 2

Repositories

Showing 10 of 25 repositories
  • memsight Public

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

    season-lab/memsight’s past year of commit activity
    Python 22 BSD-2-Clause 4 1 1 Updated Nov 21, 2024
  • fuzzolic Public

    fuzzing + concolic = fuzzolic :)

    season-lab/fuzzolic’s past year of commit activity
    C 118 GPL-2.0 6 1 1 Updated May 19, 2024
  • qemu Public
    season-lab/qemu’s past year of commit activity
    C 1 1 0 0 Updated Oct 4, 2023
  • DroidReach Public

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

    season-lab/DroidReach’s past year of commit activity
    Python 8 2 0 0 Updated Aug 30, 2023
  • z3 Public
    season-lab/z3’s past year of commit activity
    C++ 1 1 0 0 Updated Jun 3, 2023
  • cex Public
    season-lab/cex’s past year of commit activity
    Python 1 1 0 0 Updated May 7, 2023
  • SymFusion Public

    SymFusion: Hybrid Instrumentation for Concolic Execution

    season-lab/SymFusion’s past year of commit activity
    C 16 5 0 0 Updated May 5, 2023
  • symcc-hybrid Public
    season-lab/symcc-hybrid’s past year of commit activity
    C++ 0 GPL-3.0 1 0 0 Updated Oct 6, 2022
  • DroidReachBenchmarks Public
    season-lab/DroidReachBenchmarks’s past year of commit activity
    Java 0 1 0 0 Updated Aug 27, 2022
  • symqemu-hybrid Public
    season-lab/symqemu-hybrid’s past year of commit activity
    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.

Top languages

Loading…

Most used topics

Loading…