Dynamic binary control-flow errors detection | ACM SIGARCH Computer Architecture News | DeepDyve