SymGDB - symbolic execution plugin for gdb - View it on GitHub