Утиліта, що перевіряє чи є безкінечні цикли у функції

Утиліта повинна отримувати аргументами файл модуля WASM і назву функції,

перевіряти чи ця функція має безкінечні цикли,

якщо функція гарантовано немає таких циклів,  повинно виводитися "yes" і завершуватися із кодом 0,

якщо функція гарантовано містить такий цикл, то повинно виводитися "no" і завершуватися із кодом 1,

якщо наявність безкінечного циклу залежить від вводу, що неможе буди обчислений без виконання, повинно виводитися "maybe" і завершуватися із кодом 2.

Мова програмування не має значення, бібліотеки і.т.д - також.

Наявність безкінечного циклу повинна перевірятися шляхом статичного аналізу (без виконання функції).

Утиліта повинна мати змогу запускатися із ОС лінукс.