3 ms·
It's even less impressive than that. That we can parse a subset of C. That's all there is to see here.
by akiarie 2y ago
It's even less impressive than that. That we can parse a subset of C. That's all there is to see here.
- muldvarp 2y agoThen 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 2y agoShouldn't it be called "We can't parse C" since we can only parse a trivial subset of it?