论文部分内容阅读
文中提出了一种跨过程指针别名分析的框架，研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信息的方式，并且在不同调用上下文函数调用点处指针指向模式相容的函数体无需重新分析。
基于数据流的指针别名分析
【摘 要】
：
文中提出了一种跨过程指针别名分析的框架，研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信息的方式，并且在不同调用上下文函数调用点处
【机 构】
：
西安电子科技大学软件工程研究所
【出 处】
：
电子科技
【发表日期】
：
2007年4期
其他文献
描述了一种在企业局域网中通过传送“钥匙”文件的方式共享保密文件的方法，在“钥匙”文件内存储了加密文件的相关信息和被授权的浏览者身分验证信息等，保密文件被加密后存储到
应西安电子科技大学人文学院常务副院长杨跃教授的邀请，美国马里兰大学教授Rebecca L．Oxford于2008年6月5日至8日来我校讲学访问，并受聘为我校客座教授。
2017年前三季度,张家口市商贸市场运行总体保持平稳态势,但较全省其它设区市仍处于落后状态。展望未来,应加大对现有限上企业扶持力度,助其转型升级;借京津冀协同发展和举办
通过定量和定性相结合的方式,对新中国成立70年以来保定市固定资产投资的整体规模、内部结构、行业发展等方面进行了深入分析。固定资产投资为保定市经济和社会全面发展提供
随着多媒体通信技术的不断发展,在无线网络和因特网上进行视频传输显得尤为迫切.但是在传输过程中,误码几乎是不可避免的.文中从空域和时域出发,回顾了国外主流视频通信误码
本文采用问卷调查和座谈法对重庆市146家规上企业的技能人才状况进行实地调研,通过构建模糊综合评价模型对技能人才有关目前激励政策的满意度和拟出台政策的可行度进行测度,
Rake接收技术是CDMA蜂窝移动通信系统中的关键技术之一。分集的基本思想是将接收到的多径信号分离成不相关的多路信号，把这些多径信号的能量按一定的规则合并，使接收到的有用信