一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

C语言中定义和引用语句间的内在联系及数组名、指针理解误区探讨

就C语言教学中数组名的量纲、数组名与指针的关系及指针的本质等教材和讲授中容易产生理解误区的内容进行了探讨,总结了C语言中数组定义和引用语句间的内在联系,将其归纳为“升格降格法”用以对数组和指针的使用进行量纲判断．     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

采用控制流监控的Cisco IOS指针攻击检测方法

针对当前Cisco IOS(internetwork operating system)漏洞攻击检测方法检测效率低的问题,提出了一种采用控制流监控来判定Cisco IOS指针攻击的方法。该方法通过静态分析和动态跟踪相结合的方式对Cisco IOS中不同类别的控制流分别构造合法转移地址集合(legal transfer address collection,LTAC),并在发生控制流转移时将转移地址在LTAC之外的控制流判定为攻击,同时捕获异常控制流转移的详细信息。实验结果表明:该方法可以准确地捕获针对Cisco IOS的指针攻击,支持对攻击过程的分析,与现有的Cisco IOS漏洞攻击检测方法相比,具有较高的检测效率,能够为网络安全性的提升提供帮助。     

基于静态检测的程序安全漏洞测试

静态分析方法可以自动地提取软件的行为信息，从而检测出软件中的安全漏洞。和其他程序分析方法相比，该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式，说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法，最后介绍了几种常用的静态代码安全检测工具。     

C语言中操作对象的指针法引用

指针是用C语言实现高质量代码的关键,也是学习C语言的难点.针对C语言指针教学中发现的问题,首先介绍了指针的定义,然后对指针的使用进行了详细阐述,包括用指针引用变量、用指针处理字符串、用指针调用函数、用指针对文件操作等,并通过实例进行了详细解析.以便于学习者熟练掌握指针知识,并合理运用指针进行程序设计.     

一种自适应的引用计数智能指针的实现

讨论智能指针的一般功能,同时使用模板偏特化和模板元编程计数给出一种自适应包含类型的实现.     

利用静态数据流和动态数据流分析故障

本文阐述了如何利用静态数据流和动态数据流分析故障。     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

一个程序静态分析方法

阐述了程序静态分析方法，指出如何建立程序调用关系结构树、程序控制流和数据流，以及如何找出程序的结构错误、异常控制流和数据流．     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

支持向量机平凡解判别与修正的新方法

针对二类分类问题,提出一种新的线性支持向量机(SVM)产生平凡解的判别与修正方法,证明如下SVM平凡解判别定理:SVM最优解是平凡解的充要条件是在样本空间的任意方向上,正负类训练样本的分布满足某种不等式关系,该不等式与正负类训练样本各自的惩罚因子C+、C-有关,与公共的惩罚因子C无关。在以上判别定理的基础上,通过筛选训练样本点及各自的惩罚因子来修正SVM优化求解过程,为有效避免SVM平凡解的产生提供理论依据和技术手段。仿真计算实例表明该方法有效。     

基于控制流的Mobile Safe Ambients演算的静态分析策略

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上, 通过识别可被激活的移动原语和通讯原语, 计算系统运行的所有动态进程拓扑结构, 并在文法规则中显示地标识约束名字和变量, 使分析结果在α变换下保持不变. 该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.     

一种阵列天线零点形成的新方法

提出了一种新型的幅值扰动形成零陷的方法，通过在幅值扰动的过程中引入遗传算法来进化寻优，从而达到在指定方向形成一定深度零陷的目的．为了克服基本遗传算法易于早熟和局部寻优能力较差的不足，采用了改进的小生境遗传算法．该零陷形成方法克服了传统零陷形成方法零陷深度不足、副瓣电平高等缺陷．仿真表明，该方法能较好地达到设计要求，且有较好的收敛速度和稳定性．与其他一些方法相比较，该法有更广阔的应用前景．     

徐州京杭运河特大桥竖转受力分析

根据京杭运河特大桥的设计特点 ,钢管提篮拱架设采用了竖向转体施工方案 .采用SAP程序对该大桥转体施工进行计算 ,分析了转体过程中的索力、静力强度及稳定性 ,得到转体过程中各索索力的变化曲线 ,为转体施工控制提供理论参考依据     

桥梁大吨位桩基新静载试验方法的工程应用

针对桥梁桩基吨位大、试桩场地特殊等特点,采用一种新的静载试桩方法－自平衡试桩法对基进行测试,首先介绍了 平衡试桩法的基本原理,然后介绍了方法在南京新三汊河大桥试桩和润扬长江公路大桥南引桥试桩工程实例中的具体运用,该法成功地解决了采用传统静载方法难以解决的特殊现场试验条件与大吨位试桩问题,在桥梁桩基中具有广泛的应用前景。     

基于振动信号时域分析法的铣齿机故障诊断

高速干切数控螺旋锥齿轮铣齿机在铣齿加工过程中存在振动现象明显、稳定性差、加工精度低,所加工的工件齿面有振纹等技术问题。为了解决这些问题,通过对铣齿机的结构和切削受力进行分析,建立了铣齿机刀具主轴系统的振动模型。依据振动模型设计了基于铣齿机的振动测试实验方案;并完成了振动信号的采集。在信号处理中,为了从实验数据中解析出故障特征信息,采用了时域分析法中的波形诊断方法和数值分析诊断方法。根据振动信号的时域分析结果,得出了机床产生振动的根源,即机床主轴存在轻微的不平衡、主轴前轴承存在损伤和刚度不足的问题。研究结果为机床结构的优化设计提供了参考依据。