angr.go.utils.copies¶

angr.go.utils.copies.copy_roots(graph)¶

For each virtual variable, the one variable it copies through plain copies and phis, when that is unambiguous. Cyclic phi webs (loop-carried registers and spill slots) resolve to the single value entering them.