Pascal Cuoq

Age: 37

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://blog.frama-c.com/

top accounts reputation activity favorites subscriptions

In C99, is f()+g() undefined or merely unspecified?

c c99 undefined-behavior sequence-points unspecified-behavior asked Oct 16 '10 at 22:09

stackoverflow.com

44 votes

80-bit extended precision floating-point in OCaml

floating-point ocaml extended-precision asked Nov 20 '12 at 17:30

stackoverflow.com

20 votes

How to implement `memmove` in standard C without an intermediate copy?

c c99 undefined-behavior unspecified-behavior asked Oct 26 '10 at 11:49

stackoverflow.com

20 votes

is i=f(); defined when f modifies i?

c c99 sequence-points asked May 19 '11 at 7:16

stackoverflow.com

20 votes

Random generation of C programs with floating-point

c floating-point ieee-754 c-like random-testing asked Dec 10 '11 at 21:20

stackoverflow.com

15 votes

Bit-fields and sequence points

c c99 bit-fields sequence-points c11 asked Feb 5 '12 at 18:04

stackoverflow.com

13 votes

Lifetime of temporary objects in C11 vs C99

c c99 c11 asked Oct 1 '12 at 15:35

stackoverflow.com

12 votes

Tentative definitions in C99 and linking

c compilation fortran static-analysis c99 asked Sep 29 '09 at 5:25

stackoverflow.com

11 votes

In C, are const variables guaranteed to be distinct in memory?

c string const c99 asked Jun 4 '11 at 12:34

stackoverflow.com

11 votes

Properties of 80-bit extended precision computations starting from double precision arguments

c floating-point ieee-754 extended-precision asked Dec 5 '12 at 14:48

stackoverflow.com

Top Answers

In Functional Programming, is it considered a bad practice to have incomplete pattern matchings

stackoverflow.com

How does the code behave different for Java and C compiler?

stackoverflow.com

Efficiency of purely functional programming

stackoverflow.com

How to capture Control+D signal?

stackoverflow.com

What does ^L in (Emacs Lisp) source code mean?

stackoverflow.com

How do one-way hash functions work?

stackoverflow.com

Precise sum of floating point numbers

stackoverflow.com

Function which returns itself

stackoverflow.com

l+l++ is the same as l+l?

stackoverflow.com

C function pointer casting to void pointer

stackoverflow.com

How do I extract a bit in a more optimal way?

stackoverflow.com

Why would buffer overruns cause segmentation faults when accessing an integer?

stackoverflow.com

Why are hash table expansions usually done by doubling the size?

stackoverflow.com

Doesn't OCaml have any recursion checks?

stackoverflow.com

Good projects to learn OCaml and F#

stackoverflow.com

is begin..end in OCaml syntactic sugar?

stackoverflow.com

“-Weverything” yielding “Comparing floating point with == or != is unsafe”

stackoverflow.com

what is the reason for explicitly declaring L or UL for long values

stackoverflow.com

faster strlen?

stackoverflow.com

Why isn't there a good scheme/lisp on llvm?

stackoverflow.com

Unexpected results with OCaml !=

stackoverflow.com

Cast float to int in OCaml

stackoverflow.com

Same calculation on Linux and Windows --> different results

stackoverflow.com

How un-portable is assembly language, /really/?

stackoverflow.com

What happens to a WeakReference after GC of WeakReference.Target

stackoverflow.com

Does Functional programming allow better runtime compiler optimizations?

stackoverflow.com

How to determine if memory is aligned? ( *testing* for alignment, not aligning )

stackoverflow.com

How to find a factorial?

stackoverflow.com

Converting hash table to list of pairs (key,value) in OCaml

stackoverflow.com

Stack performance in programming languages

stackoverflow.com