Skip to main content
Software Engineering
Complicated see bio's user avatar
Complicated see bio's user avatar
Complicated see bio's user avatar
Complicated see bio
  • Member for 13 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
294
reputation
2k
reached
1
answer
0
questions
Communities
View all
About

I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://trust-in-soft.com/category/technical/

The only owner of the floating-point gold badge that wasn't in the IEEE 754 standardization committee.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
Top posts
answer
5
Undefined behavior, in principle
Sep 13, 2014
Top network posts
View all network posts
212
Why is unsigned integer overflow defined behavior but signed integer overflow isn't?
97
what is the reason for explicitly declaring L or UL for long values
96
How to capture Control+D signal?
88
Why is a conditional move not vulnerable to Branch Prediction Failure?
76
In C++, is exactly one of <, == and > guaranteed to be true on floats?