Symbolic Execution just one-click away! This version has been modified to compile with the IDA 6.8 SDK! - View it on GitHub