Pascal Cuoq

79,187
reputation
7
161
281

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.