Bezpieczny kod systemowy w Cyclone

Rozwijam oprogramowanie niskiego poziomu w Cyclone — bezpiecznym dialekcie C, który zachowuje szybkość i przewidywalność znanego C, ale eliminuje całe klasy błędów, które są przyczyną większości incydentów bezpieczeństwa. Jeśli masz niebezpieczny kod C, który wycieka pamięć, dereferencjonuje wiszące wskaźniki lub odczytuje poza granicami, przeniosę go do Cyclone i pozwolę kompilatorowi udowodnić, że te wady są nieobecne. Moja praca koncentruje się na trzech rzeczach. Po pierwsze, zarządzanie pamięcią oparte na regionach: mapuję czasy życia obiektów na wyraźne regiony, więc alokacja i dealokacja są sprawdzane w czasie kompilacji, a nie pozostawione na nadzieję podczas wykonania. Po drugie, bezpieczeństwo wskaźników: stosuję grube wskaźniki, ograniczone tablice oraz oznaczone unie i kwalifikatory niepustych w Cyclone, aby zapobiec kompilacji odczytów poza granicami i dereferencji null. Po trzecie, staranne portowanie: biorę istniejący moduł C, tłumaczę go idiom po idiomie i zachowuję niezmienione zachowanie, podczas gdy system typów teraz gwarantuje bezpieczeństwo. Na przestrzeni lat portowałem analizatory, demony sieciowe i procedury osadzone, zawsze z testami regresji potwierdzającymi równoważność bajt po bajcie. Wynik obejmuje źródła Cyclone, opakowania do budowy, zestaw testów oraz pisemny raport mapujący każdy niebezpieczny konstrukcję na jej bezpieczny odpowiednik i wyjaśniający wybraną strukturę regionu. Oferuję również wsparcie badawcze: analizę porównawczą Cyclone z nowoczesnymi alternatywami oraz prototypy pokazujące, czy Twój kod jest kandydatem do migracji. Opisz zakres i kształt swojego kodu C — a ja podam Ci dokładny kosztorys.