Frama-C Here is a quick recipe for completely wasting a Friday evening: use Csmith to generate a program that GCC happens to mis-compile in 32-bit into an executable that produces the same result as the correct 64-bit compilation of the same program; mess up the Clang double-check by forgetting the -m32...
Read MoreThis ranty post is because I never tire of trying the content management system on weird characters for its URLs. No, this post is really because David Mitchell himself has a new post up I find interesting. It very much follows the same general direction his posts usually do (if...
Read MoreHere is a series of posts that highlight interesting features in the recently released Frama-C Nitrogen 20111001. There is new functionality in Nitrogen, that we hope will entice both existing and prospective users. Other improvements yet will only have meaning for existing users. I will start off with two items...
Read MoreFollowing a discussion about Open Source, science and the difficulty of making a living in this day and age, I went and looked at the frama-c-discuss mailing list archives to confirm a suspicion. Suspicion confirmed. The public mailing list is a waste of time. I vote we close it pure...
Read MoreI have unpublished the last post. It was written in a hurry because it partially answered a question in the mailing list. It needs more work to explain the problem being solved. Sorry.
Read More