Skip to main content
Pascal Cuoq's user avatar
Pascal Cuoq's user avatar
Pascal Cuoq's user avatar
Pascal Cuoq
Chief Scientist at TrustInSoft
  • Member for 16 years, 4 months
  • Last seen more than a week ago
Profile Activity

Stats

80,633
reputation
5.0m
reached
1,127
answers
67
questions
Communities
View all

About

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.

Badges

View all badges
8
gold badges
168
silver badges
293
bronze badges

Top tags

View all tags
2,541
Score
487
Posts
41
Posts %
1,896
Score
328
Posts
27
Posts %
1,263
Score
167
Posts
14
Posts %
741
Score
116
Posts
10
Posts %
467
Score
70
Posts
6
Posts %
430
Score
47
Posts
4
Posts %

Top posts

View all questions, answers, and articles
answer
220
Why is unsigned integer overflow defined behavior but signed integer overflow isn't?
Aug 12, 2013
answer
97
what is the reason for explicitly declaring L or UL for long values
Oct 30, 2012
answer
96
How to capture Control+D signal?
Oct 4, 2009
answer
89
Why is a conditional move not vulnerable to Branch Prediction Failure?
Jan 3, 2013
answer
75
In C++, is exactly one of <, == and > guaranteed to be true on floats?
Feb 1, 2017
answer
70
Why are floating point infinities, unlike NaNs, equal?
Feb 18, 2015
answer
70
sign changes when going from int to float and back
Dec 8, 2013
answer
61
Is (x - x) always positive zero for doubles, or sometimes negative zero?
Jul 25, 2014
answer
55
How do one-way hash functions work? (Edited)
Jan 21, 2010
question
54
In C99, is f()+g() undefined or merely unspecified?
Oct 16, 2010

Top Meta posts

5
2
62
Is my enforcement of Stack Overflow's policy against recommendation questions proper?
33
Preventing all-caps question titles and bodies
27
New answer-deletion option: code-only answer
18
Usability bug: “enter code here” may remain after clicking {} button
3
Burninate office-store tag?

Top network posts

View all network posts
19
Is there a bot on Stack Overflow?
15
What's new in purely functional data structures since Okasaki?
10
Disabling NTP on OS X Lion or older
9
Strange address appearing in my Gmail's last account activity
6
Subverting the key generation step in RSA public key cryptography