4 ms·
> The purpose of the prototype is to show the feasibility of the approach we've taken But it doesn't do that. You haven't shown that this approach is able to d
by muldvarp 3y ago
> The purpose of the prototype is to show the feasibility of the approach we've taken
But it doesn't do that. You haven't shown that this approach is able to deal with loops and loops are pretty fundamental to every C program.
Heck, you haven't technically shown that this approach can deal with binary operators. I would love to turn Xr0 into an improptu SAT solver, but without `&&` and `||` that sadly isn't possible right now.
- akiarie 3y agoYou missed the `!=`, `==` (in many instances), bitwise operators, recursion and `goto`. (And much, much more.) Xr0 is a work in progress, and we'll get there step-by-step.
- muldvarp 3y agoYes, 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 3y agoIt's even less impressive than that. That we can parse a subset of C. That's all there is to see here.
- muldvarp 3y 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 3y agoShouldn't it be called "We can't parse C" since we can only parse a trivial subset of it?