【摘 要】
：
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,但实践中存在具有较强流与数据依赖的大型软
【机 构】
：
上海交通大学软件学院,上海交通大学电子信息与电气工程学院
【基金项目】
：
国家自然科学基金（61572312）.
论文部分内容阅读
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,但实践中存在具有较强流与数据依赖的大型软件系统,较难识别出对目标变量的指向关系产生贡献的程序语句。为此,提出一种流敏感的程序表示方法,通过定义一种上下文无关语言可达性的概念,搜索目标变量的流敏感指向关系。开发一种Seeker工具,能够为用户感兴趣的变量计算指向集合。实验结果表明,需求驱动的指向分析算法提高了流敏感上下文非敏感指向分析的效率。
其他文献
目的:在25℃条件下24 h内考察氟康唑与四种抗生素的配伍及稳定性. 方法: 采用高效液相色谱法(HPLC)测定氟康唑与四种抗生素在24 h内的含量变化,同时观察外观及测定pH值的变化
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>丽水地处浙江西南浙闽两省结合部,自然环境优越,具有中国生态第一市的美誉,生态资源丰富,是中国绿茶一类适生区,茶产业是丽水农业产业主导产业,也是浙江省茶叶主产区之一
本文作者曾在一些文章中引入了非耦联系统的概念并建立了物理模拟变分原理。根据这些概念和原理，本文给出了回弹反耦联系统和方程并建立了回弹势能原理、余能原理，物理模拟广义
对于3个用户的多输入多输出干扰信道,提出一种无反馈的干扰消除方法。为每个用户设计具有Alamouti结构的空时码字,通过在码字中引入零矩阵,消除第3个接收端的多用户干扰,同时
城镇化是人类社会进步过程中必须要走过的阶段,一个地区或国家经济社会发展水平的高低完全可以通过城镇化水平体现。目前,我国经济进入平稳较快增长阶段,综合国力大幅提高,尤
美国加州大学致力于为加州居民提供可获得、可负担和高品质的教育，并倚靠卓越的教育学术促进学生的全面发展及本州的经济社会发展。依据这一办学理念和宗旨，加州大学在运营预算
内容中心网络（CCN）从网络体系结构角度解决内容获取与分发问题，但网络资源的有限性和流量的突发性导致网络拥塞不可避免。当前主流的CCN实现仍需依赖IP路由，这样拥塞控制方案只能
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield