noelle icon indicating copy to clipboard operation
noelle copied to clipboard
verified publisher icon arcana-lab

Missing unconventional control dependences

Open scampanoni opened this issue 5 years ago • 0 comments

The conventional definition of control definition doesn't capture everything we need. What is missing is the possibility of never returning from a call instruction.

scampanoni avatar Sep 30 '20 20:09 scampanoni