I have been working on the static analysis of C programs since 2003. You can find my latest blog posts on C at http://trust-in-soft.com/category/technical/
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 https://taas.trust-in-soft.com/tsnippet/
The only owner of the floating-point gold badge that wasn't in the IEEE 754 standardization committee.