1) pointer-alias analysis
指针别名分析
1.
A framework for interprocedural pointer-alias analysis is proposed,based on which a flow- sensitive and context-sensitive pointer analysis algorithm is studied.
文中提出了一种跨过程指针别名分析的框架,研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。
2) pointer alias
指针别名
1.
A framework for interprocedural pointer alias analysis is described.
对指针别名及其表示方式进行了阐述。
3) alias analysis
别名分析
1.
In order to refine alias relations and reduce alias set,a new alias analysis method is introduced by combining partial evaluation and alias analysis technique.
通过并行融合部分求值和别名分析技术,提出一种新的别名分析方法,并给出形式化描述。
2.
The framework applies precise alias analysis and simulates the happen-before order statically.
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果
3.
If the alias analysis is not made or the improper algorithm is selected, the result is probably not reliable, and even wrong.
别名分析对程序分析起着十分重要的作用 ,不进行别名分析或分析算法选择不当 ,可能会影响分析结果的可信度 ,甚至会导致分析结果的完全不正确 。
4) Pointer analysis
指针分析
1.
Research on Memory Leak Faults Testing Method Based on Pointer Analysis;
基于指针分析的内存泄露故障测试方法研究
2.
Comparison of five pointer analysis algorithms;
5种指针分析算法的精度和效率比较
3.
Interprocedural pointer analysis plays an important role in parallelizing C program.
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 。
5) path alias analysis
路径别名分析
1.
On the static analysis of programs, by using the path alias analysis discussed in this paper, the path alias relations of dynamic memory variables within a procedure and between procedures can be detected, then the alias set can be made.
内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析 ,以确定程序中存在的动态内存错
6) index quantitative analysis
指针量化分析
补充资料：《日美防卫合作指针》(1997)
《日美防卫合作指针》(1997)
Guidelines for Japan-U.S. Defense Cooperation, 1997
雀ide-tion，事同美防纽约荞有:坚实攻时更有应坚待各策磋制定在保亚太寻力。方应取措本的本应将其派兵线时领土要对最大边事大影是着事态态扩积行后勤只检Ri一Mei Fangwei Hezuo Zhizhen《日美防卫合作指针》(1 997)(〔lines for了山刀an一U.S.Defense CoOPer1997)日本和美国为巩固与加强场盟关系而缔结的军事协定。通称“新「卫合作指针”。1997年9月23日在美匡签署，同日生效。 新指针由8个部分组成，主要内①强调制定该指针的目的是建立一乖的基础，以便在平时、日本遭到武力过和发生“周边事态”时，双方能够实辛效和更可靠的合作。②两国政府平压持现行的日美安全保障体制，努力鬓自所需的防卫态势，加强信息交流、刃商以及安全保障等方面的合作，共压联合作战计划和相互合作计划;美匡持核威慑力量的同时，应继续维持拍地区的前沿部署，并保持足够的增援③当日本面临武力进攻的危险时，刃尽快启动两国之间的协调机构，在牙施控制事态扩大的同时，做好保卫〔准备。④当日本遭到武力进攻时，「以本国力量为主立即采取行动，尽泪排除;美国应给予切实合作，并适压支援。日本自卫队和美军实施联合们应确保行动协调，自卫队主要在日才及周边海空域进行防御作战，美军盛自卫队实施支援作战。⑤双方必须乓努力防止周边事态的发生。所谓“层态”是指对日本的和平与安全产生亘响的事态，它不是地理上的概念，雨眼于事态的性质。在发生和对付周退时，双方要协调行动，努力防止等大;美军要为平息“周边事态”牙动，日本应为美军提供设施、地域泪支援，并配合美军进行海主扫雷和翔查等。区苏防卫犷作。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条