过程间流敏感的指针分析技术研究

指针分析技术是一种基础的静态程序分析技术,也是软件安全方向的研究热点之一,在软件缺陷检测、恶意代码分析、程序验证、编译器优化等应用场景中发挥着重要的作用,指针分析的精度在这些应用场景中至关重要。流敏感分析和过程间分析是提高指针分析精度最有效的两种技术。文中对现有的提高过程间流敏感指针分析精度的技术进行总结,从为提高精度所消除的信息入手,将分析方法分为两大类：一类是消除分析中的虚假信息,以避免指向信息沿虚假的返回路径或是虚假调用关系传播;另一类是消除分析中保守的指向关系,在每个程序点处根据设置的规则尽可能确定指针的唯一指向,而不是笼统地计算指针的多个可能指向。据此,详细比较了过程间流敏感指针分析技术的异同,并对指针分析技术未来的研究方向进行了展望。     

吴钢 做合理正确的建筑

吴钢，WSP建筑设计公司董事总经理，主设计师。初识吴钢始于渡上别墅，一个本色、精致的建筑作品，长久的印象里，他总是一袭白色的衬衫，一幅小长方形的黑边框眼镜，坦然，自信的笑脸，儒雅的谈吐，平和中透露着执着和天真。犹如他的作品本色单纯而又丰富。     

复得返自然——昆山有机农场

项目场地位于昆山西郊巴城县境内，紧邻阳澄湖，现状是一片空旷的有机农田。天，云，风，水，土地，树木，这些单纯的自然元素构造出鲜明的场地特征。建筑师的课题便是建筑应该以怎样的姿态介入到这片自然环境之中，与其相谐调，并最终塑造出一系列的专属于这片土地的、有意义的空间场所。     

古为今用的造梦空间

詹富华是一位来自台湾的古建筑收藏家,同时也身兼古建筑设计师的角色。在大陆生活近三十年的他,幽默风趣,俚语连篇。在他看来,文化不会随着时间的流逝而被更换,它的内涵是现代产品所无法取代的。出于对中国文化的深沉热爱,他放弃了早年待遇优厚的工作,专职修复与收集“老”物件。     

传承中的英伦印象

正1485-1603都铎王朝中世纪文艺复兴莎士比亚贵族兴起Judor dynasty结束于15世纪末的玫瑰战争,换来了一个英国全面鼎盛的时代——都铎王朝。在超过一个世纪的时间内,总共五位都铎君主统治过英格兰的属地。开朝君主亨利七世和伊丽莎白·约克的联姻,象征着玫瑰战争中开战的双方在新王朝的旗帜下联合起来,进一步巩固了都铎家族的胜利。这个时期大型的宗教建筑活动停止了,新贵族们开始建造舒适的府邸,混合着传统的哥特式和文艺复兴风格的都铎式就应运而生。都铎式府邸建筑体形复杂起状,尚存     

蔬菜林中的现代别墅

创意的魅力在于化平凡为"惊艳"。在通州区台湖镇台湖村的一片创新农业产业园里,隐藏着一座与众不同的蔬菜大棚,它平常的外表下,别有洞天。"洞内屋舍俨然,绿植逸趣横生,原本的玻璃大棚华丽变身成了生态餐厅,与其他人造生态的概念不同,这里的生态餐厅居于自然中,周边簇拥着众多的蔬菜大棚,它就像那"万绿丛中一点红"。生态餐厅的业主是通州地区经营有机蔬果的企业集团,特别重视农业与艺术的结合与推     

与自然合作——华鑫艺廊的建筑理念

位于上海徐汇区的华鑫艺廊项目是一座售楼处,是建筑师祝晓峰和他主持的山水秀建筑事务所新近完成的作品。于这个作品中,建筑师提出了与自然合作的理念。我们经常把对自然的赞美挂在嘴边,认可自然是人类赖以生存的根本,但是在人类文明的发展过程中,我们总是以对大自然的征服和改造的程度,彰显人类文明与科技发展的高度,而漠视了大自然的力量,殊不知,借自然之力,与自然合作,也许能得到更好的结果。祝晓峰在华鑫艺廊项目设计理念的阐述中说:"人类如果不改变自己的建造观,其自私的建造史也终将不可持续。     

给高贵的心灵一处诗意空间

韦贝格设计的这个庭院整体显现出极简抽象派的艺术风格,散发着泛自然的简约之美和灵动的韵致。不仅使生活空间的范围得到延伸,也使得生活的内容在空间层次和审美情趣上得到升华与丰富。     

物皆有理

谈及传统文化的当代传承，在中国当代室内设计领域，梁建国应该属于个中权威和导师级的人物。不管是做人、做事还是做设计，他都以中国传统文化中的中正平和为根基，推崇物我相和、物皆有理。他相信万物之间存在着磁场关系。在三十多年前的一次徽州之行中，他与中国传统文化结下了不解情缘，那是一种彼此间磁场的吸引。从那时起，他所有的尝试与努力几乎都与传承中国传统文化有关，因为对于他来说，文化不仅是一种概念和形态，而是已经融入了自身。     

自由之冠

在北京朝阳门附近的U TOWN广场,矗立着几个体量巨大的树形雕塑,层层交织的绿色藤蔓包裹着粗壮的"树干"表面,让人不禁想起魔幻森林中的千年老树,事实上这些日光下的树形雕塑等到华灯初上时才真正苏醒,隐藏于藤蔓中的光源犹如仙女的魔法棒,不断变化的光效随时会把你引向一个意想不到炫彩梦幻中。它们的创造者来自著名的灯光设计公司中辰照明。据设计师介绍,这组名为"自由之冠"的灯光装置作品,其设计灵感来源于部市生活中对自然的向