Pascal Cuoq
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.
2
answers
5
questions
~6k
people reached
-
EU
-
Member for 11 years, 7 months
-
133 profile views
-
Last seen Oct 2 '20 at 15:16
Communities (39)
- Stack Overflow 75k 75k 66 gold badges143143 silver badges258258 bronze badges
- Meta Stack Exchange 347 347 22 silver badges1010 bronze badges
- Software Engineering 294 294 11 silver badge44 bronze badges
- Theoretical Computer Science 241 241 22 silver badges44 bronze badges
- Web Applications 231 231 11 silver badge22 bronze badges
- View network profile
Top network posts
- 172 Why is unsigned integer overflow defined behavior but signed integer overflow isn't?
- 86 How to capture Control+D signal?
- 76 In C++, is exactly one of <, == and > guaranteed to be true on floats?
- 75 what is the reason for explicitly declaring L or UL for long values
- 70 Why are floating point infinities, unlike NaNs, equal?
- 69 sign changes when going from int to float and back
- 66 Why is a conditional move not vulnerable for Branch Prediction Failure?
- View more network posts →
Top tags (17)
Score
25
Posts
2
Posts %
29
Score
25
Posts
1
Score
25
Posts
1
Badges (32)
Gold
—
Silver
16
Rarest
-
Jun 18 '19
-
Feb 17 '20
Bronze
16
Rarest
-
Dec 12 '19
-
Aug 10 '14
-
Aug 11 '14