×

沙皮

swMATH ID: 35846
软件作者: 本杰明·拉莫夫斯基(Benjamin Lamowski)、卡斯滕·温霍尔德(Carsten Weinhold)、亚当·拉科辛斯基(Adam Lackorzynski)、赫尔曼·哈蒂格(Hermann 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
相关软件: 退休.js;冲突JS;Synode(合成码);节点.js;净现值法;BreakApp(中断应用程序);Codecail监狱;ESLint公司;恰亚;枢轴;乔-伊;Pyronia公司;EnclaveDom公司;普里夫曼;闭包库;节点入口;德诺;私人运输公司;萨卢斯;J和
引用于: 0出版物