Blog

On ending discussions and painting bikesheds
Pascal Cuoq on 14 May 2012

A high-profile maintainer to a large Open-Source project recently found himself involved in a discussion in which at some point after having explained his arguments—I think—very clearly he had to call someone else a moron. Now everyone with write access to the internet is weighting in on how this is...

Read More

Life stole my joke—and all I got is this lousy blog post
Pascal Cuoq on 11 May 2012

On a recent occasion to visit the USA on a professional basis, I nearly declined. I had a lengthy explanation ready for my refusal, and it might even have become a rant-tagged blog post. I finally went, so that hypothetical blog post never became. Today, I feel I have been...

Read More

Facebook
Pascal Cuoq on 8 May 2012

When I created a Facebook account, I did something that I fully expect will be made a felony before 2030: I filled the inquisitive, mandatory field on the electronic form with false information. You see, Facebook was asking me about my birth date, which it didn't need to know. There...

Read More

Benchmarking static analyzers
Pascal Cuoq on 29 April 2012

A meta-article on benchmarking Some colleagues and I are about to submit this article on the subject of benchmarking static analyzers. Rather than another benchmark it is a list of general recommendations and pitfalls when benchmarking static analyzers. The article is illustrated on C program constructs because that's what we...

Read More

The value analysis propagation order is inscrutable
Pascal Cuoq on 28 April 2012

Frama-C has a mailing-list. It's a place people visit for free to complain that they are not getting the quality, technical, detailed answers that they deserve, and to tell us what our priorities should be. I expressed my opinion about the mailing list a long time ago in this very...

Read More