Animated donut verification Pascal Cuoq on 22 July 2011
Here's a cool obfuscated C program by Andy Sloane that draws a revolving donut. You know where this is heading... I am going to suggest that someone should verify it. I will get us started. 1. Download the code 2. Determine what library functions it needs: $ frama-c -metrics donut.c...
Read More