Frama-C Here 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 MoreThis post is a sequel of this post, in which I argued that it is not possible to double-free a piece of memory, only to pass indeterminate data (specifically, a dangling pointer) to a function (specifically, free()). Broken This time I am arguing that the standardized function realloc() is broken....
Read MoreFor some reason, uses of real to denote fixed-precision floating-point numbers (in languages such as FORTRAN) irritate me, but uses of integer or int to denote bounded integers do not. One notation isn't more accurate than the other, though. Does anyone have an idea why that might be?
Read More