文件名称:Release.1.0.tar
-
所属分类:
- 标签属性:
- 上传时间:2012-11-16
-
文件大小:1006.29kb
-
已下载:0次
-
提 供 者:
-
相关连接:无下载说明:别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容来自于网络,使用问题请自行百度
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/
Release.1.0/test/
Release.1.0/test/test.c
Release.1.0/test/test.transcript
Release.1.0/test/test.gda.golden
Release.1.0/test/targets
Release.1.0/c/
Release.1.0/c/LICENSE.txt
Release.1.0/c/aliasing.c
Release.1.0/c/aliasing.h
Release.1.0/c/analyse.c
Release.1.0/c/analyse.h
Release.1.0/c/bigarray.c
Release.1.0/c/bigarray.h
Release.1.0/c/database.c
Release.1.0/c/database.h
Release.1.0/c/fatal.c
Release.1.0/c/fatal.h
Release.1.0/c/file.c
Release.1.0/c/file.h
Release.1.0/c/hashtable.c
Release.1.0/c/hashtable.h
Release.1.0/c/link.c
Release.1.0/c/list.c
Release.1.0/c/list.h
Release.1.0/c/main.c
Release.1.0/c/makefile
Release.1.0/c/mapfile.c
Release.1.0/c/mapfile.h
Release.1.0/c/print.c
Release.1.0/c/print.h
Release.1.0/c/readGda.c
Release.1.0/c/readGda.h
Release.1.0/c/registry.c
Release.1.0/c/registry.h
Release.1.0/c/set.c
Release.1.0/c/set.h
Release.1.0/c/storage.c
Release.1.0/c/storage.h
Release.1.0/c/targets.c
Release.1.0/c/targets.h
Release.1.0/c/writeGda.c
Release.1.0/c/writeGda.h
Release.1.0/c/layout.txt
Release.1.0/ml/
Release.1.0/ml/ckit/
Release.1.0/ml/ckit/doc/
Release.1.0/ml/ckit/doc/overview
Release.1.0/ml/ckit/doc/overview.html
Release.1.0/ml/ckit/README
Release.1.0/ml/ckit/src/
Release.1.0/ml/ckit/src/ast/
Release.1.0/ml/ckit/src/ast/aid.sml
Release.1.0/ml/ckit/src/ast/aidtab.sml
Release.1.0/ml/ckit/src/ast/anonymous-structs.sml
Release.1.0/ml/ckit/src/ast/ast.sml
Release.1.0/ml/ckit/src/ast/ast-sig.sml
Release.1.0/ml/ckit/src/ast/bindings.sml
Release.1.0/ml/ckit/src/ast/build-ast-sig.sml
Release.1.0/ml/ckit/src/ast/build-ast.sml
Release.1.0/ml/ckit/src/ast/cnv-ext-sig.sml
Release.1.0/ml/ckit/src/ast/ctype-eq.sml
Release.1.0/ml/ckit/src/ast/extensions/
Release.1.0/ml/ckit/src/ast/extensions/c/
Release.1.0/ml/ckit/src/ast/extensions/c/ast-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast/extensions/c/cnv-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/eq-ast-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/pp-ast-ext-fn.sml
Release.1.0/ml/ckit/src/ast/initializer-normalizer-sig.sml
Release.1.0/ml/ckit/src/ast/initializer-normalizer.sml
Release.1.0/ml/ckit/src/ast/parse-to-ast-sig.sml
Release.1.0/ml/ckit/src/ast/parse-to-ast.sml
Release.1.0/ml/ckit/src/ast/pid.sml
Release.1.0/ml/ckit/src/ast/pidtab.sml
Release.1.0/ml/ckit/src/ast/pp/
Release.1.0/ml/ckit/src/ast/pp/pp-ast.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-adornment-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-fn.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-lib.sml
Release.1.0/ml/ckit/src/ast/simplify-assign-ops.sml
Release.1.0/ml/ckit/src/ast/sizeof.sml
Release.1.0/ml/ckit/src/ast/sizeof-sig.sml
Release.1.0/ml/ckit/src/ast/sizes.sml
Release.1.0/ml/ckit/src/ast/sizes-sig.sml
Release.1.0/ml/ckit/src/ast/sources.cm
Release.1.0/ml/ckit/src/ast/state.sml
Release.1.0/ml/ckit/src/ast/state-sig.sml
Release.1.0/ml/ckit/src/ast/symbol.sml
Release.1.0/ml/ckit/src/ast/symbol-sig.sml
Release.1.0/ml/ckit/src/ast/tables.sml
Release.1.0/ml/ckit/src/ast/tid.sml
Release.1.0/ml/ckit/src/ast/tidtab.sml
Release.1.0/ml/ckit/src/ast/type-util-sig.sml
Release.1.0/ml/ckit/src/ast/type-util.sml
Release.1.0/ml/ckit/src/ast/uidtabimp-fn.sml
Release.1.0/ml/ckit/src/ast/uidtabimp-sig.sml
Release.1.0/ml/ckit/src/ast/uid-fn.sml
Release.1.0/ml/ckit/src/ast/uid-sig.sml
Release.1.0/ml/ckit/src/ast-utils/
Release.1.0/ml/ckit/src/ast-utils/copy/
Release.1.0/ml/ckit/src/ast-utils/copy/copy-ast-sig.sml
Release.1.0/ml/ckit/src/ast-utils/copy/copy-ast.sml
Release.1.0/ml/ckit/src/ast-utils/equality/
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ast.sml
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ctype.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/copy-ast-ext.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/simplify-ast-ext.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/simplify-ast-sig.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/simplify-ast.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/sources.cm
Release.1.0/ml/ckit/src/ckit.cm
Release.1.0/ml/ckit/src/ckit-lib.cm
Release.1.0/ml/ckit/src/c-util/
Release.1.0/ml/ckit/src/c-util/sizes.c
Release.1.0/ml/ckit/src/parser/
Release.1.0/ml/ckit/src/parser/extensions/
Release.1.0/ml/ckit/src/parser/extensions/c/
Release.1.0/ml/ckit/src/parser/extensions/c/parse-tree-ext-sig.sml
Release.1.0/ml/ckit/src/parser/extensions/c/parse-tree-ext.sml
Release.1.0/ml/ckit/src/parser/grammar/
Release.1.0/ml/ckit/src/parser/grammar/c.grm
Release.1.0/ml/ckit/src/parser/grammar/c.lex
Release.1.0/ml/ckit/src/parser/grammar/c.grm.desc
Release.1.0/ml/ckit/src/parser/grammar/c.grm.sig
Release.1.0/ml/ckit/src/parser/grammar/c.grm.sml
Release.1.0/ml/ckit/src/parser/grammar/c.lex.sml
Release.1.0/ml/ckit/src/parser/grammar/Makefile
Release.1.0/ml/ckit/src/parser/grammar/README
Release.
Release.1.0/test/
Release.1.0/test/test.c
Release.1.0/test/test.transcript
Release.1.0/test/test.gda.golden
Release.1.0/test/targets
Release.1.0/c/
Release.1.0/c/LICENSE.txt
Release.1.0/c/aliasing.c
Release.1.0/c/aliasing.h
Release.1.0/c/analyse.c
Release.1.0/c/analyse.h
Release.1.0/c/bigarray.c
Release.1.0/c/bigarray.h
Release.1.0/c/database.c
Release.1.0/c/database.h
Release.1.0/c/fatal.c
Release.1.0/c/fatal.h
Release.1.0/c/file.c
Release.1.0/c/file.h
Release.1.0/c/hashtable.c
Release.1.0/c/hashtable.h
Release.1.0/c/link.c
Release.1.0/c/list.c
Release.1.0/c/list.h
Release.1.0/c/main.c
Release.1.0/c/makefile
Release.1.0/c/mapfile.c
Release.1.0/c/mapfile.h
Release.1.0/c/print.c
Release.1.0/c/print.h
Release.1.0/c/readGda.c
Release.1.0/c/readGda.h
Release.1.0/c/registry.c
Release.1.0/c/registry.h
Release.1.0/c/set.c
Release.1.0/c/set.h
Release.1.0/c/storage.c
Release.1.0/c/storage.h
Release.1.0/c/targets.c
Release.1.0/c/targets.h
Release.1.0/c/writeGda.c
Release.1.0/c/writeGda.h
Release.1.0/c/layout.txt
Release.1.0/ml/
Release.1.0/ml/ckit/
Release.1.0/ml/ckit/doc/
Release.1.0/ml/ckit/doc/overview
Release.1.0/ml/ckit/doc/overview.html
Release.1.0/ml/ckit/README
Release.1.0/ml/ckit/src/
Release.1.0/ml/ckit/src/ast/
Release.1.0/ml/ckit/src/ast/aid.sml
Release.1.0/ml/ckit/src/ast/aidtab.sml
Release.1.0/ml/ckit/src/ast/anonymous-structs.sml
Release.1.0/ml/ckit/src/ast/ast.sml
Release.1.0/ml/ckit/src/ast/ast-sig.sml
Release.1.0/ml/ckit/src/ast/bindings.sml
Release.1.0/ml/ckit/src/ast/build-ast-sig.sml
Release.1.0/ml/ckit/src/ast/build-ast.sml
Release.1.0/ml/ckit/src/ast/cnv-ext-sig.sml
Release.1.0/ml/ckit/src/ast/ctype-eq.sml
Release.1.0/ml/ckit/src/ast/extensions/
Release.1.0/ml/ckit/src/ast/extensions/c/
Release.1.0/ml/ckit/src/ast/extensions/c/ast-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast/extensions/c/cnv-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/eq-ast-ext.sml
Release.1.0/ml/ckit/src/ast/extensions/c/pp-ast-ext-fn.sml
Release.1.0/ml/ckit/src/ast/initializer-normalizer-sig.sml
Release.1.0/ml/ckit/src/ast/initializer-normalizer.sml
Release.1.0/ml/ckit/src/ast/parse-to-ast-sig.sml
Release.1.0/ml/ckit/src/ast/parse-to-ast.sml
Release.1.0/ml/ckit/src/ast/pid.sml
Release.1.0/ml/ckit/src/ast/pidtab.sml
Release.1.0/ml/ckit/src/ast/pp/
Release.1.0/ml/ckit/src/ast/pp/pp-ast.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-adornment-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-fn.sml
Release.1.0/ml/ckit/src/ast/pp/pp-ast-sig.sml
Release.1.0/ml/ckit/src/ast/pp/pp-lib.sml
Release.1.0/ml/ckit/src/ast/simplify-assign-ops.sml
Release.1.0/ml/ckit/src/ast/sizeof.sml
Release.1.0/ml/ckit/src/ast/sizeof-sig.sml
Release.1.0/ml/ckit/src/ast/sizes.sml
Release.1.0/ml/ckit/src/ast/sizes-sig.sml
Release.1.0/ml/ckit/src/ast/sources.cm
Release.1.0/ml/ckit/src/ast/state.sml
Release.1.0/ml/ckit/src/ast/state-sig.sml
Release.1.0/ml/ckit/src/ast/symbol.sml
Release.1.0/ml/ckit/src/ast/symbol-sig.sml
Release.1.0/ml/ckit/src/ast/tables.sml
Release.1.0/ml/ckit/src/ast/tid.sml
Release.1.0/ml/ckit/src/ast/tidtab.sml
Release.1.0/ml/ckit/src/ast/type-util-sig.sml
Release.1.0/ml/ckit/src/ast/type-util.sml
Release.1.0/ml/ckit/src/ast/uidtabimp-fn.sml
Release.1.0/ml/ckit/src/ast/uidtabimp-sig.sml
Release.1.0/ml/ckit/src/ast/uid-fn.sml
Release.1.0/ml/ckit/src/ast/uid-sig.sml
Release.1.0/ml/ckit/src/ast-utils/
Release.1.0/ml/ckit/src/ast-utils/copy/
Release.1.0/ml/ckit/src/ast-utils/copy/copy-ast-sig.sml
Release.1.0/ml/ckit/src/ast-utils/copy/copy-ast.sml
Release.1.0/ml/ckit/src/ast-utils/equality/
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ast.sml
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ast-ext-sig.sml
Release.1.0/ml/ckit/src/ast-utils/equality/eq-ctype.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/copy-ast-ext.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/extensions/c/simplify-ast-ext.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/simplify-ast-sig.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/simplify-ast.sml
Release.1.0/ml/ckit/src/ast-utils/simplifier/sources.cm
Release.1.0/ml/ckit/src/ckit.cm
Release.1.0/ml/ckit/src/ckit-lib.cm
Release.1.0/ml/ckit/src/c-util/
Release.1.0/ml/ckit/src/c-util/sizes.c
Release.1.0/ml/ckit/src/parser/
Release.1.0/ml/ckit/src/parser/extensions/
Release.1.0/ml/ckit/src/parser/extensions/c/
Release.1.0/ml/ckit/src/parser/extensions/c/parse-tree-ext-sig.sml
Release.1.0/ml/ckit/src/parser/extensions/c/parse-tree-ext.sml
Release.1.0/ml/ckit/src/parser/grammar/
Release.1.0/ml/ckit/src/parser/grammar/c.grm
Release.1.0/ml/ckit/src/parser/grammar/c.lex
Release.1.0/ml/ckit/src/parser/grammar/c.grm.desc
Release.1.0/ml/ckit/src/parser/grammar/c.grm.sig
Release.1.0/ml/ckit/src/parser/grammar/c.grm.sml
Release.1.0/ml/ckit/src/parser/grammar/c.lex.sml
Release.1.0/ml/ckit/src/parser/grammar/Makefile
Release.1.0/ml/ckit/src/parser/grammar/README
Release.
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.