@gtwilson UBSan can kinda do that, I think. Maybe also Valgrind? And then there's tisinterpreter.
Searching