Frama-C Here 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 MorePerhaps you are looking for something to do pending the upcoming release of Frama-C (someone called it \Nitrozen" once by accident in a commit message. I would like the name to stick but I anticipate it won't)… Or you are already a serious user of the value analysis plug-in or...
Read MoreSo I walked into a bar, and I said: Ah! Ah! There's a new Firefox, and one item in the release notes is \Drastically improved memory handling for certain use cases". Nice phrase. We'll remember it for when we too fix a memory leak. Someone who knew about Firefox internals...
Read More