IR это не математика, если бы процесс был легко формализуем на высоком уровне детализации и статическим (или медленно эволюционировал) поэтому есть примеры с разных сторон, ещё хостинг с2 на скомпрометированных ресурсах и много чего. Как сказал Peter Kruse, в 2012 году на CARO в Мюнхене за кружкой пива, именно поэтому мы до сих пор востребованы!