I have been working on the static analysis of C programs since 2003. You can find my latest blog posts on C at Questions and answers on StackOverflow may involve self-contained small C programs of 20 to 50 lines. In order to check if such a program contains undefined behavior, I recommend The only owner of the floating-point gold badge that wasn`t in the IEEE 754 standardization committee.
Profile ©