19 ms·
Interesting, it seems that you could enforce that the control flow graph is a dag simply by making jump displacements unsigned. If you can only jump forward, yo
by ori_b 9y ago
Interesting, it seems that you could enforce that the control flow graph is a dag simply by making jump displacements unsigned. If you can only jump forward, you automatically get a DAG.
- monocasa 9y agoYeah, cBPF does that IIRC, but eBPF has other constraints on the byte code too that mean that you have to do a full graph walk anyway.