Ці типи статичного аналізу не мають сенсу у світі штучного інтелекту – це така очевидна сфера, де потреби масового достатку можна задовольнити за допомогою технологій