Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation | AMiner