被遗忘的编程“静默巨人”：Ada语言如何比Rust和Go早四十年预言了软件安全
这篇文章深入回顾了由美国国防部在上世纪70年代开发的Ada编程语言。尽管常被硅谷视为冗余和过时，但Ada早在1983年就标准化了泛型、强类型、接口与实现分离以及内置并发模型，这些如今正是Rust、Go、C#和TypeScript等现代语言竞...
标签索引
安全验证
这个标签下有 3 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
Xr0验证器：编译时保障C程序安全
Xr0是一个创新的C程序验证器，能在编译时消除多种未定义行为，如使用后释放、双重释放、空指针解引用和未初始化内存问题。它通过C-like注释表达函数安全语义，确保安全信息在函数调用中正确分发，防止微妙错误。目前验证C89子集，尚未实现循环和...
Brew Attestation异常：一行命令解决
Brew Attestation异常：一行命令解决 问题现象 用Homebrew安装软件时，突然卡住，反复重试： ==> Verifying attestation for libuv Error: Failed to verify ...