GitHub repository: riyadparvez/s2e
Primary language: C
Description: S2E - A Platform for In-Vivo Multi-Path Software Analysis