GitHub repository: jsharpe/Symbolica
Description: Symbolica's open-source symbolic execution engine.