Frama-C Perhaps 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 MoreIt struck me, writing both the last and the next posts, that I mostly assume that the reader — you — has already read and remembers the gist of previous posts and/or the documentation. I am pretty sure this would be considered a bad habit in some circles. In fact,...
Read MoreA number of colleagues and I have been tasked with writing a summary of an article they published in 2010. Each of us has to do this for an article of theirs, that is. I chose the article whose long version title is \A Mergeable Interval Map" (link PDF available...
Read MoreThere won't be many changes in the value analysis' documentation in Nitrogen. For lack of time, the new options, some of which were alluded to in this blog, will remain in their \to be documented" state. But documenting them more fully can always be done here too once they are...
Read More