Frama-C 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 MoreThis post is a backward changelog that introduces actual new features. Beat that, Emacs 19 Antinews! Shortly after the release of Carbon, I offered to my Frama-C co-developers the idea of a great clean-up of the value analysis for the next release. This would not immediately add new features (indeed,...
Read MoreJohn Gruber writes about new release 10 of text editor BBEdit: I’ve been beta-testing 10 for months and at this point I couldn’t bear to go back to version 9. Wow! I would hate an editor that come a new release puts you in a position to say things like...
Read MoreI have discovered a - now dead - (http://shaver.off.net/diary/2011/06/17/a-three-dimensional-platform) a new blog. Having read a few archived posts at random I think I am going to like it. That blog mixes the technical with the personal much like this blog doesn't. My reaction to the linked post (also the current...
Read MoreFrom the Clang Static Analyzer homepage: Please help us in this endeavor by reporting false positives. Please help us make Frama-C better by reporting false negatives.
Read More