[muldvarp]

Yes, the subset of C it currently supports is so small I'm really puzzled what you think this prototype is proving. That you can parse C?

[akiarie]

It's even less impressive than that. That we can parse a subset of C. That's all there is to see here.

[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?