Skip to content
@season-lab

SEASON Lab

Software Analysis and Optimization Laboratory at Sapienza University of Rome

Pinned

  1. fuzzolic fuzzolic Public

    fuzzing + concolic = fuzzolic :)

    C 113 6

  2. SymFusion SymFusion Public

    SymFusion: Hybrid Instrumentation for Concolic Execution

    C 18 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 7 2

Repositories

Showing 10 of 25 repositories
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…