h3ph4est7s/Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!