摘要 |
A threaded-programming analysis and diagnostic tool including two data structures to store a termination status of each of the threads in a multi-threaded program, logic to propagate information between the two data structures, and detection logic to determine whether a first thread could access the stack of a second thread before the second thread terminates.
|