GitHub repository: ut-issl/s2e-aobc
Primary language: C++
Description: S2E for AOCS module