ThreadSanitizer: data race detection in practice
Pin: building customized program analysis tools with dynamic instrumentation