V8.0 版权所有© 2001-2026 渝B2-20050021-1
渝公网安备 50019002500403号违法和不良信息举报中心举报邮箱：jubao@cqvip.com
互联网出版许可证 新出网证(渝)字10号机构客服热线 023-67882612
- 指针形象化解读在程序设计课程教学中的探索 认领 引用
- 1
- 《办公自动化》 2026年第10期34-37,共4页
- 文章首先指出程序设计学习中指针相关知识是学生们公认的难点这一现状。为帮助学生们轻松掌握指针相关知识,文章介绍一种形象化解读指针的方法,将抽象的代码转换成“实物”,便于学生理解和学习。该方法将程序中的各种变量形象化描述成... 展开更多
- 关键词 指针 形象化 解读 程序设计
- POINTER指针在连续平压机程序设计中的应用 认领 引用 被引量：4
- 2
- 《木材加工机械》 北大核心 2014年第2期27-29,共3页
- 利用POINTER指针作为参数,开发出连续平压机在线测量、跟踪并记录板坯实时运行位置的功能模块(FC),适用于不同长度连续压机和宽范围速度变化的工况条件,并且将其应用在首台国产连续平压机生产线的技术二次提升改造上。结果表明:该程序... 展开更多
- 关键词 PLC程序设计 POINTER指针 功能模块(FC) 人造板连续平压机
- 动态库裁剪增强的程序系统调用限制方法 认领 引用 被引量：1
- 3
- 《计算机科学》 CSCD 北大核心 2025年第7期50-57,共8页
- 应用程序的开发和执行广泛依赖于动态库。动态库因具有多程序公用的特点,通常包含远多于特定应用程序所需函数的大量库函数。一方面,虽然应用程序通常仅使用动态库中的少量函数,但运行时会装载整个动态库,装载多余的库代码扩大了程序攻... 展开更多
- 关键词 程序库 程序裁剪 指针分析 系统调用 程序分析
- 垂悬指针检测与防御方法 认领 引用 被引量：1
- 4
- 《软件学报》 EI CSCD 北大核心 2020年第6期1600-1618,共19页
- 随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果CPS遭到攻击,将对现实世界的正常运转造成巨大影响,甚至威胁生命安全.垂悬指针是指向的区域被释放后未被... 展开更多
- 关键词 垂悬指针 程序转换 程序漏洞 静态分析
- 空指针异常的自动故障定位方法 认领 引用 被引量：5
- 5
- 《通信学报》 EI CSCD 北大核心 2015年第1期18-29,共12页
- 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提... 展开更多
- 关键词 自动故障定位 空指针异常 实时堆栈 程序切片 别名分析
- 基于CEGAR的C程序空指针解引用检测 认领 引用 被引量：2
- 6
- 《计算机研究与发展》 EI CSCD 北大核心 2016年第1期155-164,共10页
- 随着计算机软件规模和复杂度的日益增长,软件系统的可靠性和安全性倍受关注.空指针解引用是程序中常见的一类错误.提出了一种基于反例制导抽象精化CEGAR的C程序空指针解引用检测方法.该方法首先使用线性时序逻辑描述空指针解引用问题,... 展开更多
- 关键词 模型检测 抽象精化 空指针解引用’ 程序验证 时序逻辑
- 程序标准化转换中的指针分析算法研究 认领 引用 被引量：4
- 7
- 《电子学报》 EI CAS 北大核心 2009年第5期1104-1108,共5页
- 针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别... 展开更多
- 关键词 程序标准化 指针分析 指针别名 控制依赖树
- 用指针实现的程序的标准化及其应用 认领 引用 被引量：1
- 8
- 《哈尔滨工业大学学报》 EI CAS 北大核心 2009年第3期48-52,共5页
- 为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的... 展开更多
- 关键词 指针别名 系统依赖图 程序标准化 别名替换 别名分析
- 基于局部堆内存抽象表示的堆操作程序内存泄露检测 认领 引用 被引量：4
- 9
- 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1832-1842,共11页
- 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变... 展开更多
- 关键词 堆操作程序 指针扩展类型 堆局部抽象 内存泄漏检测 数据流迭代 静态分析
- 一种并行融合部分求值的别名分析方法 认领 引用 被引量：1
- 10
- 《吉林大学学报（理学版）》 CAS 北大核心 2006年第4期594-598,共5页
- 通过并行融合部分求值和别名分析技术,提出一种新的别名分析方法,并给出形式化描述.实践表明,该方法在具有部分输入的情形下不仅优于传统的别名分析方法,而且优于串行融合部分求值的别名分析方法.
- 关键词 别名分析 部分求值 剩余程序 指针问题
- 一种汇编程序的形式验证框架 认领 引用 被引量：3
- 11
- 《计算机研究与发展》 EI 北大核心 2008年第5期825-833,共9页
- 在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关... 展开更多
- 关键词 软件安全 出具证明编译器 指针逻辑 Hoare逻辑 携带证明的汇编程序
- C语言中指针使用技巧探讨 认领 引用 被引量：2
- 12
- 《邢台职业技术学院学报》 2006年第5期71-73,共3页
- 本文以介绍指针的概念为切入点,结合代码探讨了C语言中指针的使用技巧,着重概念的理解和常见错误分析,从本质上解决这类问题。
- 关键词 指针 C语言 指针变量 地址
- 含指针程序的单子切片方法 认领 引用 被引量：5
- 13
- 《计算机学报》 EI CAS 北大核心 2010年第3期473-482,共10页
- 传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析... 展开更多
- 关键词 程序切片 单子切片 数据流迭代 指针 指向分析
- 对一个错误使用C语言指针程序的剖析 认领 引用 被引量：3
- 14
- 《青海师范大学学报（自然科学版）》 2004年第3期45-46,共2页
- 本文通过对一个错误使用C语言指针程序的分析,讨论了指针错误的特点及正确使用指针时应注意的问题。
- 关键词 C语言 指针 程序
- C语言中的指针与程序效率的探讨 认领 引用 被引量：2
- 15
- 《淮北煤师院学报（自然科学版）》 2003年第4期48-52,共5页
- C语言是一种应用广泛的计算机语言.本文从指针的使用方面对C程序的效率问题进行了探讨,并根据具体情况,提出优化C程序的方法.
- 关键词 C语言 指针 程序效率 数组下标 函数参数
- 基于值依赖分析的空指针解引用检测 认领 引用 被引量：4
- 16
- 《电子学报》 EI CAS CSCD 北大核心 2015年第4期647-651,共5页
- 本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用... 展开更多
- 关键词 程序分析 静态缺陷检测 空指针解引用检测 需求驱动别名分析
- C语言中指针的教、学与高效编程 认领 引用 被引量：1
- 17
- 《电脑知识与技术》 2010年第10期8054-8056,共3页
- 针对C语言教学中存在的指针教学难的问题，该文在总结了指针特点的基础上，结合目前的教学情况提出了指针教学过程中较好的教学方法．同时对学生学习指针的方法也提出了自己的见解；最后由指针编程的高效率总结出了C语言高效编程的几种... 展开更多
- 关键词 C程序设计语言 指针 教与学 高效编程
- C程序设计中指针使用技巧探讨 认领 引用
- 18
- 《现代电子技术》 2004年第15期77-78,81,共2页
- 介绍了 C程序中内存分配的 3种方式和指针的概念 ,探讨了在
- 关键词 内存分配方式 指针 指针使用技巧 C语言
