可组合的描述符泄露类型检查

摘要：

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源.如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性.据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理.此外,还初步讨论了该类型系统在并发程序下的扩展.

关键词：描述符泄露、类型检查、软件安全

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61170070;省教育厅科研项目kj2012Z022;国家科技支撑计划2012BAK30B049-02;安徽高校省级自然科学研究重大项目KJ2014ZD05

在线出版日期：2015-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：184-188