Статический анализатор

Нужен простенький статический анализатор кода для языка Pascal. Не требуется графический интерфейс. Требования: анализ кода и выявление потенциальных ошибок. Нужно: исходный код с комментариями, минимум документации и готовый исполнимый файл. Сроки выполнения, цену и способ оплаты просьба прислать по почте [email protected] либо здесь(но почту просматриваю чаще). Все уточняющие вопросы можно писать туда же.