Composable and reusable whole-system offline dynamic analysis