explicit dynamic analysis