期刊文献+
共找到94篇文章
< 1 2 5 >
每页显示 20 50 100
POINTER指针在连续平压机程序设计中的应用 被引量:4
1
作者 苗虎 刘鑫钰 +2 位作者 侯晓鹏 张星梅 周玉成 《木材加工机械》 北大核心 2014年第2期27-29,共3页
利用POINTER指针作为参数,开发出连续平压机在线测量、跟踪并记录板坯实时运行位置的功能模块(FC),适用于不同长度连续压机和宽范围速度变化的工况条件,并且将其应用在首台国产连续平压机生产线的技术二次提升改造上。结果表明:该程序... 利用POINTER指针作为参数,开发出连续平压机在线测量、跟踪并记录板坯实时运行位置的功能模块(FC),适用于不同长度连续压机和宽范围速度变化的工况条件,并且将其应用在首台国产连续平压机生产线的技术二次提升改造上。结果表明:该程序功能块能够满足生产实际的要求,同时也可以应用到连续平压机生产过程中板坯含水率、厚度、重量等参数检测的程序设计中。 展开更多
关键词 PLC程序设计 pointer指针 功能模块(FC) 人造板连续平压机
原文传递
动态库裁剪增强的程序系统调用限制方法
2
作者 张淋茂 孙聪 饶雪 《计算机科学》 北大核心 2025年第7期50-57,共8页
应用程序的开发和执行广泛依赖于动态库。动态库因具有多程序公用的特点,通常包含远多于特定应用程序所需函数的大量库函数。一方面,虽然应用程序通常仅使用动态库中的少量函数,但运行时会装载整个动态库,装载多余的库代码扩大了程序攻... 应用程序的开发和执行广泛依赖于动态库。动态库因具有多程序公用的特点,通常包含远多于特定应用程序所需函数的大量库函数。一方面,虽然应用程序通常仅使用动态库中的少量函数,但运行时会装载整个动态库,装载多余的库代码扩大了程序攻击面,对动态库进行应用程序特定的裁剪有助于减小攻击面。另一方面,现有的应用程序系统调用限制方案未考虑动态库裁剪带来的额外系统调用限制空间,因此无法实现对应用程序系统调用的严格限制。基于此,提出了一种基于中间表示的动态库裁剪增强的程序系统调用限制方案,对应用程序进行二进制裁剪,以减少应用程序本身的冗余代码对动态库裁剪与系统调用限制的影响。在动态库的中间表示上实现了一种改进的指针分析,获得与应用程序相关的库函数调用图,进而裁剪冗余库函数,生成裁剪后的动态库。在动态库中间表示上,提取与裁剪结果保留函数对应的系统调用,以确定系统调用允许集合。依据系统调用允许集合对裁剪后的二进制应用程序进行二进制重写,过滤允许集合之外的系统调用。实验结果表明,所提方案相比现有方案具有更高的库函数裁剪率和更严格的系统调用限制能力,指针分析方法具有更高精准性;在典型应用程序上,所提方案能够显著减小代码重用攻击面并避免典型的已知漏洞。 展开更多
关键词 程序库 程序裁剪 指针分析 系统调用 程序分析
在线阅读 下载PDF
空指针异常的自动故障定位方法 被引量:5
3
作者 姜淑娟 王兴亚 +3 位作者 张艳梅 李威 鞠小林 刘颖祺 《通信学报》 EI CSCD 北大核心 2015年第1期18-29,共12页
提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提... 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。 展开更多
关键词 自动故障定位 空指针异常 实时堆栈 程序切片 别名分析
在线阅读 下载PDF
程序标准化转换中的指针分析算法研究 被引量:4
4
作者 王甜甜 苏小红 马培军 《电子学报》 EI CAS CSCD 北大核心 2009年第5期1104-1108,共5页
针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别... 针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别名,在此基础上定义数据流公式,对控制依赖树进行流敏感和上下文敏感的指针分析.实验结果表明,该算法的准确性高于Emami指针分析算法的准确性,并且应用于程序标准化时可显著提高代码多样化消除率. 展开更多
关键词 程序标准化 指针分析 指针别名 控制依赖树
在线阅读 下载PDF
用指针实现的程序的标准化及其应用 被引量:1
5
作者 王甜甜 郭全萍 +1 位作者 马培军 苏小红 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第3期48-52,共5页
为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的... 为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性. 展开更多
关键词 指针别名 系统依赖图 程序标准化 别名替换 别名分析
在线阅读 下载PDF
Delphi深入编程的探讨 被引量:3
6
作者 范成法 顾伟康 《计算机应用》 CSCD 1998年第3期25-27,共3页
本文介绍了基于Windows操作系统的面向对象的可视化开发工具Delphi的一些新特性,深入讨论了一些Delphi的编程技术,这些技术使得Delphi编程更加方便和快捷。
关键词 DELPHI 面向对象 WINDOWS 程序设计
在线阅读 下载PDF
流敏感的跨过程指针别名分析 被引量:4
7
作者 李健 刘坚 《计算机应用》 CSCD 北大核心 2004年第3期112-114,共3页
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法... 对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。 展开更多
关键词 指针剐名 流敏感 跨过程 程序分析
在线阅读 下载PDF
基于局部堆内存抽象表示的堆操作程序内存泄露检测 被引量:4
8
作者 董龙明 王戟 +1 位作者 陈立前 董威 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1832-1842,共11页
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变... 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势. 展开更多
关键词 堆操作程序 指针扩展类型 堆局部抽象 内存泄漏检测 数据流迭代 静态分析
在线阅读 下载PDF
C语言编程技术的分析研究 被引量:23
9
作者 倪瑞晓 《计算机技术与发展》 2009年第12期251-254,共4页
通过对C语言的深入学习以及较多的编程实践,总结归纳了C语言编程中的几个常见问题,如指针用法、多重运算次序和多种类型数值的混合运算问题,字符串长度的计算问题,以及程序优化问题等,许多初学者对这些问题经常感到困惑。对这些容易搞... 通过对C语言的深入学习以及较多的编程实践,总结归纳了C语言编程中的几个常见问题,如指针用法、多重运算次序和多种类型数值的混合运算问题,字符串长度的计算问题,以及程序优化问题等,许多初学者对这些问题经常感到困惑。对这些容易搞混肴的问题逐一进行详尽的分析和说明,并解释了其原因所在。C语言的灵活性给编程者带来了一定的方便,但语法检查不够严格,容易使编程者忽略了C语言的一些特性,在调试C程序时要花费更多的时间来查找出现的错误。通过阅读该文可为读者带来有益的帮助,以便编程中碰到同类问题时能够解决。 展开更多
关键词 C语言 多重运算 指针 类型转换 程序优化
在线阅读 下载PDF
浅析C语言使用指针的必要性 被引量:1
10
作者 李柯景 鲁光男 《长春大学学报》 2011年第8期38-41,共4页
指针是C语言的重要组成部分。灵活的使用指针可以提高程序的执行效率,可以建立动态数组,可以灵活的处理字符串等等。本文简要介绍了指针的重要作用,从而使初学者更好地了解使用指针的必要性。
关键词 C语言 指针 程序效率 动态数组
在线阅读 下载PDF
框架投影时序逻辑程序设计语言中的指针 被引量:4
11
作者 王小兵 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第6期1069-1074,共6页
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子... 针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的. 展开更多
关键词 形式语言 时序逻辑程序设计 数据结构 程序设计语言
在线阅读 下载PDF
C语言中指针使用技巧探讨 被引量:2
12
作者 霍艳玲 王党利 《邢台职业技术学院学报》 2006年第5期71-73,共3页
本文以介绍指针的概念为切入点,结合代码探讨了C语言中指针的使用技巧,着重概念的理解和常见错误分析,从本质上解决这类问题。
关键词 指针 C语言 指针变量 地址
在线阅读 下载PDF
一种汇编程序的形式验证框架 被引量:3
13
作者 李兆鹏 陈意云 +1 位作者 葛琳 华保健 《计算机研究与发展》 EI CSCD 北大核心 2008年第5期825-833,共9页
在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关... 在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关目标机器的形式定义、汇编程序的形式验证框架以及汇编程序指针程序性质证明等方面的研究.它们的主要特点是汇编验证框架是基于Hoare风格的程序验证方式;与指针有关的性质使用和源语言一级类似的指针逻辑推理系统进行证明;使用一个简单的类型系统完成有关指针的类型检查. 展开更多
关键词 软件安全 出具证明编译器 指针逻辑 HOARE逻辑 携带证明的汇编程序
在线阅读 下载PDF
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文) 被引量:2
14
作者 李广元 唐稚松 《软件学报》 EI CSCD 北大核心 2000年第3期285-292,共8页
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机... 指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 . 展开更多
关键词 形式语义 程序验证 指针 时序逻辑语言 XYZ/E
在线阅读 下载PDF
“C语言程序设计”知识构建的思维导图方式 被引量:14
15
作者 邓瑞新 《计算机教育》 2011年第8期96-99,共4页
针对传统"层次结构"方法构建学生知识结构的缺陷,提出运用一种新的"思维导图"工具来帮助学生组织、构建"C语言程序设计"的知识结构,并论述这种方法的优越性和具体如何实现。
关键词 思维导图 知识结构 C语言程序设计 指针
在线阅读 下载PDF
C语言“指针”教学经验谈 被引量:6
16
作者 王丕景 《太原理工大学高等教育研究》 2001年第2期42-44,共3页
在C语言的教学中 ,指针概念的教学一直就是C语言的教学重点和难点 ,指针已成为学习和掌握C语言的一大障碍。从硬件角度、图示方法及举例选题三个方面介绍了C语言指针教学中的体会。
关键词 C语言 教学研究 指针教学 硬件 图示 选题
在线阅读 下载PDF
Ch平台在交互式程序设计教学中的应用 被引量:2
17
作者 庄红 王兆青 《计算机教育》 2009年第7期56-59,共4页
Ch交互式解释型运行平台不仅可以给教师提供一个能够充分解释C语言中抽象难以理解的概念的平台,而且可以提供让学习者很快上手,验证并进行显式化抽象概念的运行开发调试平台。本文列举了C语言中的难点如指针、数组、变量作用域、函数及... Ch交互式解释型运行平台不仅可以给教师提供一个能够充分解释C语言中抽象难以理解的概念的平台,而且可以提供让学习者很快上手,验证并进行显式化抽象概念的运行开发调试平台。本文列举了C语言中的难点如指针、数组、变量作用域、函数及其参数和浮点数等实例,说明教学中如何借助交互式解释型Ch平台的优势来显式化这些理论概念并加以理解,最后分析了近几年来我校采用该平台所取得的教学效果。 展开更多
关键词 C语言程序设计 Ch交互式解释型教学平台 指针数组 变量作用域 浮点数
在线阅读 下载PDF
动态链接库(DLL)的参数传递方式及其在VB6.0中的应用 被引量:1
18
作者 胡文静 李外云 陈松 《岳阳师范学院学报(自然科学版)》 2000年第1期59-67,共9页
本文具体地介绍了在VB6.0中如何使用Windows系统中的动态链接库,同时对它的声明和有关参数传递的方法和技巧进行了详细地阐述.
关键词 动态链接库 WINDOWS 函数指针 应用程序接口
在线阅读 下载PDF
C程序设计指针与数组难点剖析 被引量:1
19
作者 周存芝 阎立珍 +2 位作者 赵冬梅 张磊 徐宁 《电脑知识与技术(过刊)》 2007年第14期417-419,共3页
针对C程序设计中指针与数组的教学难点,以二维数组为例,从其逻辑上不同的数据结构出发,分析推理导出通过指针引用数组元素的表示式,揭示并阐明了表达式之间的内在联系及其区别,从而较系统地阐述了指针与数组的关系.
关键词 程序设计 指针 数组 表达式
在线阅读 下载PDF
C语言指针错误的分析及调试 被引量:6
20
作者 许永达 《计算机系统应用》 2013年第3期153-156,181,共5页
C语言指针的有些错误在程序编译阶段难以发现,且现行教材主要从概念、理论上对指针错误进行讲述,存在不足.分析了带有此类错误的示例程序,并在VISUAL C++6.0进行调试,展示此类指针错误的错误现象,分析其产生的原因,提出正确使用指针的方... C语言指针的有些错误在程序编译阶段难以发现,且现行教材主要从概念、理论上对指针错误进行讲述,存在不足.分析了带有此类错误的示例程序,并在VISUAL C++6.0进行调试,展示此类指针错误的错误现象,分析其产生的原因,提出正确使用指针的方法,以达到预防此类指针错误发生的目的. 展开更多
关键词 C语言 指针 VISUAL C++6 0 调试 编程习惯
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部