Ponce is an IDA Pro plugin that provides users the ability to perform taint analysis and symbolic execution over binaries…