互方面 石溪计算机科学
NASA/JPL可靠软件实验室

内部方面

InterAspect是GCC的一个程序仪器框架在石溪大学开发,作为生存能力的一部分软件项目。使用InterAspect,可以插件对于GCC,使用工具编译程序呼叫建议功能.

InterAspect框架的详细概述可在我们的出版物第节。


入门

如果要将InterAspect用于项目,可以获取作为tarball或从我们的主git存储库发布源代码下载第节。来源包括构建GCC 4.5的说明(您需要使用InterAspect)和大量文档。

该文档也可从以下网站获得站点的文档第节。


关于

InterAspect是作为可生存软件研究人员在石溪大学计算机科学系可靠软件实验室在喷气推进实验室。资金由AFOSR系统和软件项目提供,项目经理David Luginbuhl博士。

InterAspect根据GNU通用公共许可证发布版本3。阅读下载部分有关许可证的更多详细信息。