Найти все операции ввода-вывода файлов в коде C # (возможно, путем статического анализа)

Это зависит от того, сколько вы хотите сделать в углубленном анализе.
Если вы действительно серьезно относитесь к использованию всех вызовов метода System.IO, я бы предложил использовать NRefactory. Это внешний анализатор С#, который может анализировать код С# и генерируемое дерево синтаксиса и распознаватель кода.
Там хороший учебник об использовании его в проекте кода, который может помочь вам начать работу. Также в учебнике по проекту кода есть вспомогательные классы, которые позволяют загружать все решение и предоставлять вам код-преобразователь.
Если вам нужно больше образцов, вы можете найти их в своем блоге.

PS: Я попытаюсь продлить этот ответ с помощью образца кода за несколько часов.

Поэтому по прихоти я решил попробовать это с помощью Mono.Cecil.

Очень просто рекурсивно получить список всех методов, которые вызывает метод:

static IEnumerable<MethodDefinition> GetMethodsCalledInMethod(MethodDefinition md)
{
    if (md.Body == null)
    {
        return Enumerable.Empty<MethodDefinition>();
    }

    return md.Body.Instructions
        .Select(i => i.Operand)
        .OfType<MethodReference>()
        .Select(mr => mr.Resolve())
        .Where(mr => mr != null);
}

Вы можете получить все методы в сборке, которую хотите проверить:

var ad = AssemblyDefinition.ReadAssembly(typeof(ATypeInTheAssembly).Assembly.Location);
var allMethodsInAssembly = ad.Modules
    .SelectMany(m => m.Types)
    .SelectMany(t => t.Methods));

Затем вы можете пройти через это дерево вызовов метода, пока не найдете вызов метода, который выглядит как вызов ввода-вывода.

Func<MethodDefinition, bool> isFileOperation = md =>
    md.DeclaringType.Name == "FileStream";

Достаточно ли этого? Я не знаю. File.WriteAllText использует FileStream. Вы также предоставили пример SaveAs. Но каждый доступ к файлу проходит через FileStream? Я не могу сказать.

Этот подход также имеет проблемы:

• Вам нужно искать рекурсивные вызовы, потому что иначе ваша рекурсия превратится в бесконечный цикл, и вы взорвите свой стек.
• Это глупо. Когда я проанализировал простое консольное приложение под названием File.WriteAllLines я получил результат немедленно, но когда я попытался проанализировать сам анализатор, он потерялся в дереве.
• Если вы столкнулись с интерфейсом или даже с виртуальным методом, вы не можете точно знать, что будет реализовано, поэтому вы не можете знать, будет ли он выполнять операцию ввода-вывода или нет!

Если вы планируете разрабатывать этот инструмент, вы можете начать здесь.

В статье описаны способы обнаружения зависимостей сборки и метода, поэтому вы можете найти все методы, которые вызывают примитивы ввода-вывода, такие как FileStream.Write.