Java的静态方法调用

介绍一种数据流程分析,这种分析计算存在不同地址并由方法调用返回的引用。分析的结果用来估算方法调用表达式的动态类型并且用静态调用来取代对就某一个方法定义的所有调用,从而达到利用静态程式分析来确认静态绑定(binding)代替动态调遣的目的。     

一种面向源代码的整数溢出缺陷静态检测方法

受限于不完备的函数调用图分析和路径可达性分析,当前静态整数溢出检测工具存在较为严重的误报情况.为解决这一问题,以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标,给出一种综合调用图分析、静态污点分析和静态符号执行的检测方法.提出一种域敏感的流敏感指针分析方法构建目标程序调用图的"高估计",应用静态污点-sink传播分析确定潜在的外部输入可控的整数溢出缺陷程序点,最后应用静态符号执行技术通过判定缺陷约束的可满足性对误报情况进行约减.实验验证了方法在实际整数溢出缺陷检测和误报情况约减方面的应用有效性.     

一种解决MDG中连续方法调用问题的方法

提出了一种新的方法,通过改进成员依赖图,有效地解决以前方法未考虑连续方法调用情况而降低修改影响分析精度的问题．     

基于程序行为异常检测的数据流属性分析

通过合并静态分析和动态学习,提出了一种两阶段的数据流属性分析方法.该方法不仅考虑系统调用参数值,也学习系统调用参数之间的二元关系,通过数据依赖图识别无关参数和无用关系.给出了新方法的描述,分析了其特点.在Linux程序上的实验表明,该方法效率较高,入侵检测引起的性能负载较低.     

一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

基于静态链接库的1553B总线通讯编程方法

机载设备中,1553B总线因其冗余度高,响应速度快的优势而被广泛应用。进行编程时,通过使用链接库,可在不了解详细构造的环境下,仅通过调用顶层函数便可实现对不同厂家接口模块的编程。本文从1553B总线的构造出发,通过比较静态链接库和动态链接库的区别,给出了一种通过调用静态链接库与1553B总线接口模块通讯的编程方法。     

VC++和FORTRAN混合编程的调用技术

针对 FORTRAN语言便于科学计算 ,而处理图形的功能较差 ;VC+ +图形处理的功能较强 ,而在科学计算方面比较复杂的问题 ,采用 VC+ +和 FORTRAN两种语言进行混合编程 ,编制出界面良好、功能完善的程序。探讨了 VC+ +与 Fortran混合调用的实现方法、接口规范、参数调用约定等     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

基于系统调用的安卓恶意应用检测方法

针对恶意应用静态检测方法精度低的问题,以安卓(Android)应用运行时产生的系统调用为研究对象,提出1种恶意应用动态检测方法。将Android移动应用在沙盒环境下通过事件仿真获得的系统调用序列进行特征化,设计了基于系统调用次数和基于系统调用依赖图的2种特征表示方法。采用集成学习方法构建分类器,区分恶意应用和正常应用。采用来自于第三方应用市场的3 000个样本进行了实验验证。结果表明,基于系统调用依赖图的特征表示方法优于基于系统调用次数的特征表示方法,采用集成分类器具有较好的检测精度,达95.84%。     

基于API调用分析的Android应用行为意图推测

围绕移动应用程序的用户行为意图分析,结合后台应用程序接口(application program interface,API)调用和前台应用图形用户界面(graphic user interface,GUI)状态,该文提出一种在移动应用(App)运行时产生的多元时间序列数据上识别应用行为模式的方法,给出一个包括Android应用程序静态预处理、动态监控运行和行为意图推测3阶段的不良应用程序用户行为推测框架。介绍了基于Android平台API调用分析的应用行为意图动态推测系统原型实现技术,选取代表性应用案例验证了该文提出的不良行为模式识别算法的有效性,并通过实际应用剖析了基于API调用分析推测用户行为的实用性。     

一种基于层次模型的面向对象类型分析框架

建立了一种用于静态类型面向对象程序的类型分析框架,该框架集成了目前最为实用的４种类型分析方法,即唯一名分析、类层分析、快速类型分析以及指针别名分析。首先在这４种方法的基础上提出了类型分析的层次模型,然后以此模型为核心,结合程序预处理器和信息加工器等建立了一种类型分析框架,该框架适合分析静态类型的面向对象程序,如Ｃ＋＋／Ｊａｖａ程序等。     

铸铝-碳钢电偶腐蚀及PBTCA的缓蚀研究

铸铝 -碳钢电偶腐蚀是工业水系统常见的腐蚀类型 .通过电偶腐蚀、腐蚀失重、扫描电镜 (SEM)、俄歇电子能谱 (AES)等表面分析技术 ,结合自腐蚀电位和极化曲线测量 ,研究铸铝 -碳钢电偶在水中的腐蚀及有机膦羧酸PBTCA对它们的缓蚀作用 .PBTCA对铸铝是一种阴极型缓蚀剂 ,能有效防止铸铝的点蚀 ,与硼酸盐结合使用能较好地抑制铸铝 -碳钢的电偶腐蚀 .     

C++语言中静态数据成员的研究

深入分析了C 语言中类静态数据成员的声明和访问方法,指出了程序设计中利用全局变量来实现数据共享的弊端,同时给出了利用类静态数据成员取代全局变量的方法以及在程序设计中使用类静态数据成员时应注意的问题,详细阐述了类静态数据成员在程序设计中的作用,并举了相应的实例来说明如何正确使用静态数据成员。     

矩形钢管混凝土翼缘及波形腹板的工字型梁承载力研究

提出一种新型工字梁——翼缘为矩形钢管混凝土的波形腹板工字梁（CFTFGs—cw）．采用有限元软件ANSYS对CFrFGs．CW及翼缘填充混凝土的普通平腹板工字梁（CFTFGs）的静力承载力进行分析．通过与试验结果的对比,验证了有限元模型的可靠性．在此基础上,运用所提出的有限元模型研究了CPTFGs．CW随着几何参数波深hr和波宽b的不同,梁的极限承载力的变化规律．结果表明,与CFTFGs相比,cFTFGs—cw具有更高的承载力和更好的稳定性,是一种静力性能优异的构件．     

钢筋混凝土结构开裂分析在ANSYS中的实现

为了有针对性的运用ANSYS进行钢筋混凝土结构的开裂分析,通过与理论解比较,依据分析对象的结构层次(结构、构件)、分析类型(静力单调加载、反复加载)、载荷水平(线弹性、弹塑性),讨论了单元类型、材料模型及模型参数的选取.在分析国内外现有方法的基础上,同时比较各种模型选取的优缺点和适用性。分析表明合理的选择模型可以得到更令人满意的结果。     

铸钢件连接钢框架梁柱节点初始转动刚度计算

提出了一种铸钢件连接钢框架梁柱节点初始转动刚度计算的方法．静载试验研究获得节点变形特性,根据变形特性提出了铸钢件受拉、受弯以及连接的刚度计算模型．采用ANSYS软件进行参数分析,验证该方法的适用性．结果表明：连接的转动变形主要由铸钢件、柱翼缘、柱腹板、螺栓的变形组成,其中铸钢件变形包含受拉和受弯2部分．本方法所得结果与...     

基于图注意力网络的安卓恶意软件检测

安卓恶意软件的爆发式增长对恶意软件检测方法提出了更高效、准确的要求.早年的检测方法主要是基于权限、opcode序列等特征,然而这些方法并未充分挖掘程序的结构信息.基于API调用图的方法是目前主流方法之一,它重在捕获结构信息,可准确地预测应用程序可能的行为.本文提出一种基于图注意力网络的安卓恶意软件检测方法,该方法通过静态分析构建API调用图来初步表征APK,然后引入SDNE图嵌入算法从API调用图中学习结构特征和内容特征,再通过注意力网络充分融合邻居节点特征向量,进而构成图嵌入进行检测任务.在AMD数据集上的实验结果表明,本文提出的方法可以有效检测恶意软件,准确率为97.87%,F1分数为97.40%.     

静压桩在无锡地区的应用实例

静压桩成本低、质量好,是具有很大潜力的施工手段,与灌注桩相比有明显的经济效益,并且无噪声、无振动、无泥浆污染。本文介绍了白水荡小区改造工程是静压桩应用成功的实例。     

软土地区长螺旋钻孔压灌桩试验研究

给出了软土地区70根长螺旋钻孔压灌粉煤灰混凝土桩的单桩静载荷试验结果，由此得到软土地区长螺旋钻孔压灌混凝土桩桩侧阻和桩端阻的取值方法。介绍了8组不同大小压板下粉煤灰混凝土桩复合地基静载荷试验和2组粉煤灰混凝土桩单桩静载荷试验结果，根据带垫层刚性桩复合地基的承载特性，提出了软土地区粉煤灰混凝土复合地基承载力计算公式。