Perhaps a distinction between static analysis (at compile) and dynamic analysis (at run time) is useful ?