Canonical's Secure Starlark in Go
4 months ago
- #Starlark
- #Go
- #Configuration-Language
- 由Canonical维护的Go语言版Starlark项目为这门语言添加了安全约束机制
- Starlark是Python的衍生语言，作为配置语言使用，支持高级数据类型和一等函数
- 该语言可嵌入Bazel等大型应用程序中，用于结构化数据和脚本编写
- 安全约束包括MemSafe（内存安全）、CPUSafe（CPU安全）、TimeSafe（时间安全）和IOSafe（I/O安全）等资源管理机制
- 新增特性包含安全测试框架(startest)、安全辅助工具及内存使用预估功能
- 全语言范围的溢出保护、可容错迭代器以及递归限制进一步强化安全性
- 文档涵盖语言规范、实现细节、安全约束和重大变更说明
- 提供Starlark解释器的构建与运行指南
- 支持在Go程序中嵌入Starlark，并附有示例代码
- 贡献代码需通过GitHub提交PR并签署Canonical贡献者协议
- 支持最新的四个Go工具链版本
- Starlark由Jon Brandvein和Alan Donovan等团队设计，Go语言实现由Donovan与Jay Conrod完成
- 采用3条款BSD许可证授权