Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / SoftSec-KAIST / MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SoftSec-KAIST%2FMeanDiff

Stars: 77
Forks: 11
Open Issues: 29

License: mit
Language: F#
Repo Size: 369 KB
Dependencies: 3

Created: almost 7 years ago
Updated: 3 months ago
Last pushed: over 5 years ago
Last synced: about 1 month ago

Topics: binary-analysis, differential-testing, fsharp, semantic-bugs, symbolic-execution

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Dockerfile docker
    src/MeanDiff/packages.config nuget