Alguém conhece / construiu alguma lógica (regra) de análise estática de código-fonte (para FxCop ou Gendarme) que busca possíveis brechas no código que incorram em uma divisão por zero?
Ou seja, uma lógica que analise a IL do assembly e critique o primeiro código, porém não o segundo:
// (1) Poderá ocorrer erro de divisão por Zero - deve acusar no analisador
int resultado = numerador / denominador;
// (2) Checkagem antes da divisão - omite crítica
int resultado;
if (denominador != 0)
{
resultado = numerador / denominador;
}