ut-issl / s2e-user-example

An example of S2E user side repository

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

s2e-user-example

An example of S2E user side repository.
This repository provides the following samples.

  • A sample code to make S2E user side repository using git submodule.
  • Sample codes for tutorials in s2e-documents.

How to construct the repository

  • This repository includes s2e-core with the git submodule. Please use the following commands to construct the directory.
    $ git clone git@github.com:ut-issl/s2e-user-example.git
    $ cd s2e-user-example/
    $ git submodule init
    $ git submodule update
    
    Or use the following command to clone the repository.
    $ git clone --recursive git@github.com:ut-issl/s2e-user-example.git
    

Branches

  • main branch
    • This is the simplest s2e-user repository.
    • This branch is a sample code for How To Make New Simulation Scenario in the s2e-documents.
    • Users can refer this branch to make their s2e-user.
  • sample/* branches
    • Sample codes for tutorials in s2e-documents.
    • The branch name is same with the tutorial titles.
  • feature/* # Developing codes
  • hotfix/* # Bug Fix codes

How to use this branch

About

An example of S2E user side repository

License:MIT License


Languages

Language:C++ 56.6%Language:CMake 43.4%