[muldvarp]

Then why not write a blog post "We can parse C" instead of "Xr0 makes C safe (it doesn't actually and we are unable or unwilling to go into details and also please don't ask us about Frama-C)"?

[akiarie]

Shouldn't it be called "We can't parse C" since we can only parse a trivial subset of it?