Frama-C My colleague Boris Yakobowski is on holidays, and while leisurely browsing the internet, he seems to have stumbled upon my previous post. He e-mailed me about it. For some reason, it does not feel right to provide much biography when mentioning facetious colleagues perhaps because it would look too self-congratulatory...
Read MoreThis blog post describes for the first time some options that became available in Nitrogen, continuing this series. This post also offers a benchmark but the results of this benchmark cannot be reproduced with Nitrogen. They should be reproducible with the next version of Frama-C. Alarms false alarms and redundant...
Read MoreHere are two links related to ptrdiff_t: Ptrdiff_t is evil [removed dead link] a blog post for if you are not tired of conversion and promotion issues yet and an interesting answer on StackOverflow. I was doubtful about the second one (I had no difficulties to accept the first one...
Read MoreA good read: Primal Fear: Demuddling The Broken Moduli Bug
Read MoreI do not have any solution I am 100% happy with to the overflow dilemma in the previous post. Here is one of the solutions that does not make me 100% happy. The first (partial) solution is: program so that overflows correspond exactly to unwanted circumstances (and then it becomes...
Read More