Typed Assembly Language
5 days ago
- #Memory Safety
- #Compiler Optimization
- #Typed Assembly Language
- 类型化汇编语言(TAL)通过添加类型注释、内存管理原语和健全的类型规则，扩展了非类型化汇编语言
- TAL的类型规则确保了内存安全、控制流安全和类型安全
- TAL能够编码多种编程特性，如记录、数组、高阶函数、异常和模块
- TAL支持底层编译器优化，是类型导向编译器的理想选择
- TAL被应用于安全移动代码和可扩展操作系统内核开发
- 其变体TALx86已实现在Intel的IA32架构上
- 已开发出名为Popcorn的安全类C语言编译器，可生成TALx86目标代码