
<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>Dear Sean,</div><div><br></div><div>thanks for your message, but I'm looking for examples that shall be checked for thread-safety. Not a thread-safety checker :-)</div><div><br></div><div>Best,</div><div>Andreas</div></div><div><br></div><br><div><div>On Mar 27, 2013, at 4:17 PM, Sean Silva <<a href="mailto:silvas@purdue.edu">silvas@purdue.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">Have you looked at Thread Sanitizer <<a href="http://clang.llvm.org/docs/ThreadSanitizer.html">http://clang.llvm.org/docs/ThreadSanitizer.html</a>>?<div><br></div><div style="">-- Sean Silva</div></div>

</blockquote></div><br></body></html>