#static analysis #non-runtime analysis #frozen code check #pre-execution analysis #code examination