Мне кажется, что это связано с механизмами Оберон-технологии, когда проверки на невозможность записи в чужой код, например, происходят на уровне компиляции, а не реализованы во время исполнения. Вот это антивирусу и не нравится. Для него это потенциальные угрозы.