Dumpling
Dumpling is an object model and domain specific language to represent and query the state of process threads and their lock based dependencies.
Dumpling is shipped with a collection of predefined queries to cover most common situations as well as several factories to create thread model from various sources.