Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/binsec/binsec-ase

https://github.com/binsec/binsec-ase

Science Score: 10.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ○
    codemeta.json file
  • ○
    .zenodo.json file
  • ○
    DOI references
  • ✓
    Academic publication links
    Links to: zenodo.org
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.7%) to scientific vocabulary
Last synced: 6 months ago · JSON representation

Repository

Basic Info
  • Host: GitHub
  • Owner: binsec
  • License: lgpl-2.1
  • Language: OCaml
  • Default Branch: main
  • Size: 840 KB
Statistics
  • Stars: 0
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 3 years ago · Last pushed about 3 years ago

https://github.com/binsec/binsec-ase/blob/main/ 

# BINSEC ASE [![License: LGPL](https://img.shields.io/badge/license-LGPL--2.1-blue.svg)](https://opensource.org/licenses/LGPL-2.1)

BINSEC ASE is an open-source toolset to help improve software security at
the binary level by including a powerful attacker model able to inject faults into a program. 

This is a fork of [BINSEC](https://binsec.github.io/).

# Website

More information about **BINSEC ASE** is available at: https://binsec.github.io/

# Getting started

See [install instructions](./INSTALL.md). 

Then, have a look at [user documentation](documentation_ASE/user_guide/README.md) for command examples.

We also make available a [developer guide](documentation_ASE/developper_guide/README.md).

# Artifact

An artifact version of BINSEC ASE is available on [Zenodo](https://zenodo.org/record/7507112#.Y7cLsKfMJhE). It provides binary executable, benchmarks and tutorials to reproduce the experiments of "Adversarial Reachability for Program-level Security Analysis", by Soline Ducousso, Sbsatien Bardin and Marie-Laure Potet, accepted for publication at ESOP 2023.

Owner

  • Name: BINSEC development team
  • Login: binsec
  • Kind: organization

GitHub Events

Total
Last Year