Does anyone know which decompilation tool produces these graphs, as shown in the blog post?