基于逆向计算的细粒度污点分析方法

精度是污点分析的核心考虑因素.目前的污点分析方法,包括比特级污点分析的研究中,细粒度逻辑语义会导致精度缺失问题,而精度缺失直接致使“过度污点”现象.本文讨论了现有污点分析算法的局限性,阐述了污点传播过程中产生“过度污点”现象的原因,并提出一种基于逆向计算的细粒度污点分析方法,通过规定逆向计算规则,考虑语句的语义逻辑,推算污点传播策略.对未混淆代码和混淆代码分别进行污点分析的实验结果表明,相比于传统的污点分析算法,基于逆向计算的污点分析算法对混淆代码能够减少50%的代码冗余,有效地避免了污点的过度传播.     

美国"纯洁阶段"的历史解读

美国史学家J.布卢姆认为1867年以后的25年或更长一些是美国历史上的“纯洁阶段”。“纯洁阶段”的存在和终结有其历史原因;但期间美国对萨摩亚群岛的占领无疑是“纯洁阶段”不可抹杀的一记污点。     

论污点证人豁免制度在我国的构建

污点证人豁免制度又称污点证人刑事责任豁免制度,是指国家为取得某些重要的证据,或者为追究首要分子的严重罪行,对同案或其他案件中罪行较轻的罪犯做出承诺,如果他们提供某些关键的证据,将不再对其进行刑事追究的一种制度。文章从污点证人和污点证人豁免制度的概念出发,分析了我国建立污点证人豁免制度的必要性与可行性,并提出了建立适合我国国情的污点证人豁免制度的初步构想。     

追风人物

希拉克在日存私房钱成污点73岁的希拉克作为法国总统已长达12年之久,本该平稳退休,不想接连深陷国内政治危机中,其“贴身心腹”总理德维尔潘涉嫌暗查内政部长萨尔科齐;除此之外,法国媒体称希拉克在日本设有私人账户。法国最大反对党社会党对此表示,丑闻给希拉克正在下滑的声望又抹上了污点,“该是结束不讲伦理、充满肮脏把戏的政治体制的时候了。”据悉,一家“文化基金会”于1992年以希拉克的名义,在东京相和银行开设账户,并在此后数年陆续存入3亿法郎(约合5800万美元)。法国总统办公室表示,希拉克总统“直截了当”地否认其在日本设有私人账…     

基于roBDD的细颗粒度动态污点分析

研究了细颗粒动态污点分析的瓶颈所在,提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能,并减低内存需求,为进一步扩大细颗粒度污点分析的应用提供了途径。     

哥本哈根自由城

在丹麦首都哥本哈根,一个废弃的兵营被一群社会“愤青”、激进艺术家和大麻瘾君子所占领,他们在那里安营扎寨,一住就是三十多年。这里民居造型五花八门,生活设施应有尽有,还有一条毒品街,但就是没有政府,因此“自由城”可谓名副其实。探奇者从世界各地蜂拥而至,人们想知道:“自由城”到底是哥本哈根的名胜还是污点?有一点可以肯定:它的存在为人们提供了一个不可多得的社会模型和社会学研究的实验场。     

太阳懒惰了？

太阳发出的光芒持续不停地照射着地球。如今，太阳有些奇特，在太阳表面本来总可以看到的那些像污点样子的“黑子”全都消失不见，这意味着太阳活动十分微弱。这是怎么回事？本文就来说明太阳活动的特点和机制，并介绍太阳活动对地球气候的影响。     

基于分隔符的跨站脚本攻击防御方法

通过分析跨站脚本攻击的特性, 提出一种基于分隔符的跨站脚本攻击防御方法, 该方法适用于UTF-8编码的Web应用程序。首先, 仅对可信数据中的分隔符进行积极污点标记; 然后, 利用字符UTF-8编码值的转换轻量级完成污点标记, 该污点信息可随着字符串操作直接传播到结果页面; 最后, 根据结果页面中分隔符的污点信息及页面上下文分析, 检查脚本执行节点的合法性和脚本内容的可靠性, 精确地检测并防御跨站脚本攻击。针对PHP平台实现了原型系统XSSCleaner。实验证明, XSSCleaner可轻量级地完成污点分析, 并且能够对跨站脚本攻击进行精确防御, 页面生成的时间开销平均为12.9%。     

纪念国际反对殖民制度斗争日

今年二月二十一日,世界各国人民,特别是殖民地和附属国的人民,都将以新的沉醒,新的信心,新的战斗精神来纪念国际反对殖民制度斗争日。随着帝国主义的产生而产生的殖民制度,是人类历史上一个可耻的污点。它使世界地图染上了血泪斑斑的痕迹,而得意忘形的帝国主义者却反把他们的掠夺和奴役称为“白人的负担”。     

让我们学会宽容吧

泰戈尔有一句名言：“不是锤打，而是水的载歌载舞才使鹅卵石臻于完美。”水是柔性的，水也是辽阔的。我想：作为一名教育者，有一颗温柔如水的心，有一颗宽容的心，面对教育事业是受益匪浅的。心理学家马斯洛提出：“宽容会给学生撑起一片自尊的天空，成为学生消除污点的洗涤剂。”老师在教育过程中一定要用心，自己不经意的一句话、一件事，有可能影响别人的一生。     

基于污点分析和符号执行的漏洞签名生成方法

漏洞签名是指触发程序漏洞的输入的集合,利用漏洞签名对程序输入进行过滤是一种有效的保护漏洞程序的方法。该文主要研究漏洞签名的生成技术,提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法,它通过污点信息传播定位输入中的与触发漏洞相关的字节,然后,通过符号执行得到路径约束,并通过约束求解得到最终的漏洞签名。基于开源项目Pin和Z3,该文构建了基于污点分析和符号执行的漏洞签名生成原型系统TASEVS,并对漏洞程序进行了验证。实验结果表明,TASEVS能有效地生成漏洞签名。     

高速烟支表面污点检测技术

为了解决卷烟高速生产过程中烟支表面成像和污点检测问题,设计了一套光学系统,使烟支外表面能均匀地成像于传感器上,得到展开的无变形图像。通过静态与动态试验,验证了该系统可在10 000支/min速度下拍摄到烟支的无变形图像,并能辨别出不小于1 mm×1 mm的污点。因此,本文设计的系统能替代原有光学系统,满足卷烟生产中对烟支表面污点检测的需要。     

JavaScript优化编译执行模式下的动态污点分析技术

目前,主流的JavaScript执行引擎为了提高效率,引入优化编译执行模式,对频繁运行的热点函数进行即时优化编译。优化编译执行模式的引入,给通过动态插桩实现JavaScript程序的动态污点分析(dynamic taint analysis,DTA)带来了新的挑战。针对这一问题,该文针对HTML5混合型安卓应用,通过修改其所使用的V8JavaScript引擎,基于动态插桩实现了一种优化编译执行模式下的动态污点分析方法。该方法使用污染包裹对象的方式对污点标签进行存储,在优化编译执行模式下的Hydrogen中间代码层面进行插桩操作。实验结果表明:该方法能够有效地在优化编译执行模式下进行污点跟踪,且性能开销也在可以接受的范围内。     

利用动态污点跟踪优化模糊测试的方法

针对目前模糊测试方法存在大量无效测试用例的缺陷,提出了一种利用动态污点跟踪优化模糊测试的方法.该方法通过将外部输入的测试用例标记为污点数据,并记录污点数据的传播路径,然后利用传播路径相似度比对来判断某个测试用例是否有效,若测试用例无效则直接丢弃,若测试用例有效则进行并行化处理,进一步对测试用例进行分析.通过构建原型系统对上述方法进行验证,结果表明优化后的模糊测试比未优化的模糊测试在性能上提升了近一倍.     

基于控制依赖分析的Android远程控制类恶意软件检测

为检测Android远程控制类恶意软件,该文通过对实际的该类软件进行分析,提出一种基于控制依赖分析的动态污点检测方法。动态污点分析技术是一种检测恶意软件的主流技术。该文对传统的动态污点分析进行扩展以检测Android远程控制类恶意软件。首先采用静态分析确定条件转移指令的控制范围;再使用静态插桩在目标应用中添加分析控制依赖的功能。插桩后的应用可在运行时检查敏感操作是否控制依赖于污染数据,进而对远程控制类恶意软件进行有效的分析和检测。该文实现了一个原型检测系统。实验结果表明:应用此方法可以有效地检测出实际的Android远程控制类恶意应用。     

控制流污点信息导向的符号执行技术研究

以快速生成能够覆盖可能存在缺陷程序点的测试用例为目标,结合基于生成的Fuzzing技术、静态程序控制流分析、静态污点分析等手段,提出一种导向式动态符号计算方法.通过Fuzzing生成能够到达包含缺陷程序点的函数的测试用例,作为种子输入驱动符号执行快速到达缺陷函数;在缺陷函数内利用静态控制流分析、静态污点分析计算出控制流污点可达程序切片,基于该切片进行朝向缺陷点的多路径动态符号执行.实验验证了方法能够有效减轻符号执行应用中广泛存在的路径爆炸问题,并且能生成触发目标缺陷的测试用例.     

基于代码改写的JavaScript动态污点跟踪

随着Web技术的飞速发展,JavaScript的使用越来越常见,尤其是在追求快速及时响应的Web应用中,这也导致了众多安全问题的产生。该文提出了一种基于代码改写的JavaScript动态污点跟踪方法JSTA,通过JavaScript代码的改写,让改写后的代码在执行过程中对敏感数据进行污点标记和跟踪,可及时发现敏感数据泄露行为并给出告警。与以往的研究不同的是,JSTA是独立于JavaScript引擎实现的,可以适用于多种浏览器。测试结果表明,JSTA可有效地跟踪敏感数据并检测敏感数据泄露行为。     

班主任工作案例分析

宽容，是一种美德。随着现代教师观念的转变，教师应学会对学生宽容。宽容学生的过失并不是姑息迁就犯错误的学生，而是“躬自厚而薄责于人”，以减恳为先，动之以情、晓之以理，用宽容心和“人文情怀”平等对待每一位学生，使学生如沐春风，从而督促其改正。教师并不会因为宽容而失去威信，相反从某个方面来说，这更反映了一个教师的教育艺术与魅力。更何况列宁也说过：“青少年犯错误，连上帝都会原谅。”所以，生活中面对孩子的过失，我们应给他们的不是过多的责备、训斥，而是用理解、宽容因势利导，帮助他们找回自信，用行动洗刷过去的污点，走向崭新的自我。     

杭州湾水环境中氨氧化微生物对外源氨氮的响应

采集杭州湾邻近工业园区纳污水域靠近排污点(A点)及远离排污点(B点)的沉积物和水样,进行实验室模拟培养实验.在外源氨氮的刺激下,培养体系中微生物氨氧化作用加强,35天后水中投加的NH4+-N全部被去除,而NO3--N出现积累.源于A,B点的样品在培养实验后,基于细菌氨单加氧酶基因(Bact-amoA)的DGGE指纹图谱...     

林肯的污点：把黑人迁出美国

美国总统亚伯拉罕·林肯签署了《解放奴隶宣言》,把黑人从残酷的奴隶制中解救出来。但鲜为人知的是,林肯一直致力于将自由黑人移出美国。有人说这是林肯辉煌一生中不能被抹去的污点。