沙皮 swMATH编号： 35846 软件作者： 本杰明·拉莫夫斯基；Weinhold，Carsten；亚当·拉科辛斯基（Adam Lackorzynski）；赫尔曼·Härtig 描述： 砂壳：锈蚀不安全部件的自动砂箱。几十年来，系统级开发一直由C和C++等传统编程语言主导。这些语言在内存管理方面本质上是不安全的。即使是经验丰富的开发人员也会犯错误，从而打开安全漏洞或损害软件的安全属性。Rust编程语言以系统域为目标，旨在通过在语言和编译器级别实施严格的内存模型来消除与内存相关的编程错误。不幸的是，当Rust程序链接到用不安全C编写的库时，这些编译时保证不再有效，这对于Rust中的实现尚不可用的功能通常是必需的。在本文中，我们介绍了Sandcust，一种易于使用的砂箱解决方案，用于在单独的过程中隔离C库的代码和数据。此隔离保护基于Rust的主程序免受不安全库中的错误导致的内存损坏，否则Rust的内存安全保证将失效。Sandcust基于Rust宏系统，不需要修改编译器或运行时，只需要简单地注释调用库API的函数。 主页： https://os.inf.tu-dresden.de/papers_ps/plos2017-lamowski-rust-sandboxing-paper.pdf 相关软件： 普里夫曼;节点入口;德诺;私人运输公司;闭包库;JavaScript脚本;J和;讽刺;和平号;萨卢斯;退休.js;冲突JS;Synode（合成码）;节点.js;净现值法;BreakApp（中断应用程序）;Codecail监狱;ESLint公司;恰亚;枢轴 引用于： 0个文档