Explicit Dynamic Analysis