Единственный инструмент, о котором я знаю, который в некоторой степени похож на то, что вы описываете, - это академический проект RoadRunner, который описан в этой статье:
Платформа динамического анализа ROADRUNNER для параллельных программ
И доступно для скачивания здесь:
Система динамического анализа RoadRunner
Опять же, я не думаю, что это именно то, что вы 'ищу, но не знаю ничего ближе.Мне будет интересно посмотреть, если кто-нибудь придумает точный аналог.