Tag Archives: donut

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