It's even less impressive than that. That we can parse a subset of C. That's all... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

akiarie 11 months ago | parent | context | favorite | on: Xr0: C but Safe

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

muldvarp 11 months ago [–]

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 11 months ago | [–]

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

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact