Code système sécurisé en Cyclone

Je développe des logiciels de bas niveau en Cyclone — un dialecte sûr du C qui préserve la vitesse et la prévisibilité du C familier mais élimine des classes entières d'erreurs à l'origine de la plupart des incidents de sécurité. Si vous avez du code C non sécurisé qui fuit de la mémoire, déréférence des pointeurs pendants ou lit hors limites, je vais le porter vers Cyclone et laisser le compilateur prouver que ces défauts sont absents. Mon travail se concentre sur trois choses. Premièrement, la gestion de la mémoire basée sur des régions : je mappe les durées de vie des objets à des régions explicites, de sorte que l'allocation et la désallocation soient vérifiées à la compilation, et non laissées à l'espoir pendant l'exécution. Deuxièmement, la sécurité des pointeurs : j'emploie des pointeurs larges, des tableaux bornés, et les unions étiquetées et les qualificateurs non nuls de Cyclone pour empêcher la compilation de déréférences hors limites et nulles. Troisièmement, le portage soigné : je prends un module C existant, le traduis idiome par idiome, et maintiens le comportement inchangé, tandis que le système de types garantit désormais la sécurité. Au fil des ans, j'ai porté des analyseurs, des démons réseau et des procédures embarquées, toujours avec des tests de régression confirmant l'équivalence byte-à-byte. Le résultat comprend des sources Cyclone, des wrappers de construction, une suite de tests, et un rapport écrit mappant chaque construction non sécurisée à son remplacement sûr et expliquant la structure de région choisie. J'offre également un soutien à la recherche : analyse comparative de Cyclone par rapport aux alternatives modernes et prototypes montrant si votre code est un candidat à la migration. Décrivez la portée et la forme de votre code C — et je vous donnerai une estimation précise.