文件名称:Release.1.0.tar
介绍说明--下载内容均来自于网络,请自行研究使用
GDA是一个工具,可扩展性分析的C代码。在此分布GDA是执行安徒生走样分析使用分传递图,以及相关分析跟踪相依变量之间,领域等-GDA is a tool for scalable analysis of C code. Built into this distribution of GDA is an implementation of Andersen s aliasing analysis using sub-transitive graphs, as well as a dependence analysis for tracking dependencies between variables, fields etc.
相关搜索: GDA
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Release.1.0.tar