Based on Gepetto ( I created Pinokio, an IDA plugin to help identify potential vulnerabilities in decompiled functions. It still has a lot of room for improvement, but it can definitely make a difference.