Concurrent program analysis is fashioned for detecting potential race conditions such as data races in computer programs. One feature of this analysis is verifying annotations of addressable resources in a program. Annotations are verified by checking if thread-local resources are indeed thread-local,...http://www.google.de/patents/US6817009?utm_source=gb-gplus-sharePatent US6817009 - Method and apparatus for verifying data local to a single thread
