Cyclone中的安全系统代码

我在Cyclone中开发低级软件——一种安全的C语言方言，保留了熟悉的C语言的速度和可预测性，但消除了大多数安全事件背后的整个错误类别。如果您有不安全的C代码，导致内存泄漏、解引用悬空指针或越界读取，我会将其移植到Cyclone，并让编译器证明这些缺陷不存在。我的工作集中在三件事上。首先，基于区域的内存管理：我将对象生命周期映射到显式区域，因此分配和释放在编译时进行检查，而不是在执行期间寄希望于运气。其次，指针安全：我使用胖指针、边界数组以及Cyclone的标记联合和非空限定符，防止越界和空指针解引用在编译时出现。第三，仔细移植：我将现有的C模块逐句翻译，并保持行为不变，而类型系统现在保证安全。多年来，我移植了解析器、网络守护进程和嵌入式过程，总是通过回归测试确认逐字等价。结果包括Cyclone源代码、构建包装器、测试套件和一份书面报告，映射每个不安全构造到其安全替代品，并解释所选择的区域结构。我还提供研究支持：对Cyclone与现代替代方案的比较分析，以及原型展示您的代码是否适合迁移。描述您的C代码的范围和形状——我将为您提供精确的估算。