IDA 2016 plugin contest winner! Symbolic Execution just one-click away! - View it on GitHub