GitHub repository: DaikiTsuzuki/s2e-aobc-example
Primary language: CMake
Description: An example of user settings repository for s2e-aobc