Answering my own question, the paper [1] referenced by the post goes into some detail on this in section 9. [1] http://www.cs.utah.edu/~regehr/papers/undef-pld

Answering my own question, the paper [1] referenced by the post goes into some detail on this in section 9. [1] http://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf http://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf