Relaxed stack validation: show required code layout is aways possible #59
Description
Show that any CFG can be linearized to the basic block order required by the EOF stack validation.
{{ message }}
Show that any CFG can be linearized to the basic block order required by the EOF stack validation.