Cyclone: надёжный низкоуровневый код без багов памяти

Создаю системное ПО на языке Cyclone — это безопасный диалект C, сохраняющий быстроту и предсказуемость обычного C, но исключающий целые семейства ошибок, из-за которых чаще всего случаются бреши в безопасности. Есть небезопасный C, который утекает по памяти, обращается к висячим указателям или пишет за пределы буфера? Я перепишу его на язык Cyclone, и компилятор докажет, что таких дефектов больше нет. Моя специализация держится на трёх опорах. Опора первая — регионы памяти: я распределяю время жизни данных по явно заданным областям, поэтому выделение и освобождение контролируются при компиляции, а не остаются надеждой в момент запуска. Опора вторая — надёжность указателей: в дело идут толстые указатели, массивы с проверкой границ, размеченные объединения и запрет на null из арсенала языка Cyclone; из-за них выход за диапазон и обращение к null попросту не соберутся. Опора третья — бережный перенос: беру готовый модуль на C, перевожу конструкцию за конструкцией, поведение остаётся тем же, а система типов уже отвечает за безопасность. За многие проекты через мои руки прошли синтаксические анализаторы, сетевые службы и прошивочные подпрограммы — и всякий раз я закрывал их регрессионными тестами с побайтовым совпадением вывода. На выходе вы получаете исходный код на языке Cyclone, скрипты сборки, комплект тестов и подробную записку, где каждая опасная конструкция сведена к её безопасному аналогу, а выбранная схема регионов объяснена. Отдельно берусь за исследовательские задачи: сопоставляю язык Cyclone с нынешними альтернативами и делаю прототипы, показывающие, стоит ли переводить ваш код. Пришлите описание объёма и структуры вашего кода на C — и я дам точную оценку работы.