Very hard to track down?
Debatable. The tool isn't claiming to be able to detect the possibility of deadlock, only the deadlock itself once it has happened. At that point, I dare say even Homer Simpson could tell you something had gone wrong.
The clever part is what to do with the deadlocked system. It is trivial to take a snapshot at that moment to record who owns what at the time of failure, so I imagine they are claiming to do something else. Perhaps they record the sequence of semaphore acquisitions (and related events) and do pattern matching (something computers are good at) so that when they see the same pattern emerging they can insert some randomness. That would be a bit of a band-aid, of interest only to end-users rather than programmers, contrary to the company's claims, but it actually sounds consistent with what they say. We can be fairly sure they haven't solved the halting problem, or "understood" the software better than the original programmers, so there's quite an aroma of snake oil here.