Как ReSharper знает, что этот тип возврата никогда не является пустым?

Я использую ReSharper 5.0 и задаюсь вопросом, как его функция анализа кода знает для выделения следующего assemblies == null с комментарием "Выражение всегда является ложью".

var directory = new DirectoryInfo("somedir");
FileInfo[] assemblies = directory.GetFiles("*.dll");

if (assemblies == null <<--- this is highlighted with "Expression is always false"
    || assemblies.Length == 0)
{
  _log.Warn("No assemblies found");
}

Я понял бы, был ли тип возврата типом значения, который это не. Я также понял бы, был ли своего рода контракт кода или утверждение метаданных .GetFiles() никогда не будет возвращать пустой указатель. но я не думаю, что существует.

Таким образом - как это знает это? Я пропускаю что-то очевидное, или ReSharper имеет некоторое привилегированное знание, такое как внутренний список метаданных о методах платформы? Или это на самом деле "анализирует" внутренний код и разрабатывает его?