This PR updates the ControlFlowVerifier within out verification pipeline to use internal traversal methods instead of its own recursive traversal algorithm. This avoids running into stack overflows in cases the CLR JIT does not optimize our recursive invocation algorithm.
This PR updates the
ControlFlowVerifier
within out verification pipeline to use internal traversal methods instead of its own recursive traversal algorithm. This avoids running into stack overflows in cases the CLR JIT does not optimize our recursive invocation algorithm.Fixes #1213.