Tagged Dynamic Analysis