4 ms·
The structured control flow also specifically makes secure compilation much easier. If you want to do something like CFI, it's easy since you know where all you
by kevingadd 3y ago
The structured control flow also specifically makes secure compilation much easier. If you want to do something like CFI, it's easy since you know where all your branches and branch targets are and who can reach them.
- int_19h 3y agoYes, that is the "verification" part I mentioned. With VMs like Java or .NET, the compiler has to infer essentially the same graph from unstructured labels and jumps.