C源代码静态安全检查技术 被引量：9

1

作者 刘海燕 杨洪路 王崛 《计算机工程》 CAS CSCD 北大核心 2004年第2期28-30,共3页

对源代码进行安全检查就是在程序运行之前通过分析源程序发现潜在的安全缺陷。该文分析了C语言源程序中可能发现的安全问题,介绍了目前静态代码安全检查的技术和方法以及面临的困难,最后,给出了一些提高程序安全性的建议。

关键词 安全审查 安全缺陷 c源代码 静态代码分析

下载PDF 职称材料

基于C-MEX建模的全数字单相并网逆变器的研究 被引量：5

2

作者 唐云龙 杨恢宏 +1 位作者 王若醒 雷振锋 《电力系统保护与控制》 EI CSCD 北大核心 2013年第24期140-143,共4页

介绍了一种基于Matlab中C-MEX建模的全数字单相并网逆变器的研制方法。在Matlab环境下由分立器件搭建主电路,由C-MEX进行建模,整机开发手段采用C语言源代码编译,可直接移植入嵌入式开发平台,有效提高开发效率。整机直流侧MPPT采用扰动... 介绍了一种基于Matlab中C-MEX建模的全数字单相并网逆变器的研制方法。在Matlab环境下由分立器件搭建主电路,由C-MEX进行建模,整机开发手段采用C语言源代码编译,可直接移植入嵌入式开发平台,有效提高开发效率。整机直流侧MPPT采用扰动观测法,交流侧采用电压外环、电流内环的控制方式,其中亦包含了直流偏磁抑制方法、虚拟单相锁相环以及PR调节等控制方法。最后在该仿真建模的基础上,研制了一台3 kW的单相光伏并网逆变器,将C-MEX中的C源代码移植入DSP嵌入式开发平台,经试验测试,验证了该仿真建模的正确性及该开发模式的优越性。 展开更多

关键词 并网逆变器 全数字 MAT LAB c-MEX c源代码

下载PDF 职称材料

针对C语言的面向方面语言设计与实现 被引量：6

3

作者 朱云龙 陈哲 +2 位作者 王哲民 李绪蓉 黄志球 《小型微型计算机系统》 CSCD 北大核心 2016年第12期2679-2684,共6页

C语言是使用率仅次于Java的编程语言,在实时控制、嵌入式系统、硬件驱动等领域有着广泛的应用.发展自面向对象的面向方面编程(AOP)思想是对横切关注点的有效模块化方法,如何将AOP的概念引入到面向过程的C语言中,提高开发效率和代码复用... C语言是使用率仅次于Java的编程语言,在实时控制、嵌入式系统、硬件驱动等领域有着广泛的应用.发展自面向对象的面向方面编程(AOP)思想是对横切关注点的有效模块化方法,如何将AOP的概念引入到面向过程的C语言中,提高开发效率和代码复用率,是一个非常有实际意义的课题.针对该课题,本文设计并实现一种针对C的AOP语言MOVEC.分析了AOP的基本概念并将现有针对C的AOP语言进行了对比;设计了更加完善的针对C的AOP语言MOVEC;给出了基于开源编译器Clang和源代码插桩的M OVEC语言实现;通过实验从时间和空间效率上证明了M OVEC语言的可行性. 展开更多

关键词 c语言 面向方面 clang 源代码

下载PDF 职称材料

常用排序算法的分析与比较 被引量：5

4

作者 王德超 《现代计算机》 2012年第13期7-9,21,共4页

排序算法是计算机程序设计广泛使用的解决问题的方法,研究排序算法具有重要的理论意义和广泛的应用价值。论述几种常用的内部排序算法,从时间复杂度、空间复杂度及稳定性方面对这些算法进行了比较分析,提出文献中出现的两种冒泡算法版... 排序算法是计算机程序设计广泛使用的解决问题的方法,研究排序算法具有重要的理论意义和广泛的应用价值。论述几种常用的内部排序算法,从时间复杂度、空间复杂度及稳定性方面对这些算法进行了比较分析,提出文献中出现的两种冒泡算法版本商榷之处,以供在不同条件下选择适合的排序算法借鉴。并分别提供实现各种算法的C++源代码。 展开更多

关键词 排序算法 时间复杂度 空间复杂度 稳定性 c++源代码

下载PDF 职称材料

基于PSCAD的保护逻辑C源代码级仿真方法 被引量：2

5

作者 刘伟 《电力系统保护与控制》 EI CSCD 北大核心 2020年第18期130-137,共8页

数字仿真技术在继电保护开发过程中具有不可替代的作用。在PSCAD环境中利用自定义模块接口技术,将C源代码以自定义元件形式嵌入到仿真模型中,实现数字化保护的源代码级闭环仿真。针对实施C源代码级仿真方法效率低下的问题,改进了“调用... 数字仿真技术在继电保护开发过程中具有不可替代的作用。在PSCAD环境中利用自定义模块接口技术,将C源代码以自定义元件形式嵌入到仿真模型中,实现数字化保护的源代码级闭环仿真。针对实施C源代码级仿真方法效率低下的问题,改进了“调用接口”和“数据接口”,通过一个实例详细阐述了实现过程和效果。通过在自定义元件的Script脚本中调用Fortran接口函数实现调用接口,简化了C源代码的调用、修改及调试。直接利用自定义元件的输入、输出端口实现数据接口,避免使用复杂的公用数组。该方法简洁、灵活,可以完整验证实际装置的保护逻辑源代码,尤其适合于从保护原理研究到装置开发的过渡阶段,使开发者不依赖于物理装置即可验证软件代码,提高了开发效率。 展开更多

关键词 PScAD 保护逻辑 c语言 自定义模块 源代码 仿真

下载PDF 职称材料

电力系统控制软件编程规范研究

6

作者 张道银 《信息技术与标准化》 2022年第3期32-36,40,共6页

在开发电力系统控制软件时,程序员主要关注功能的实现,却经常忽视程序代码的安全性。为提高电力系统控制软件的编码安全性,在分析电力系统控制软件最常见的源代码漏洞的来源和原因后,给出了解决漏洞的安全控制措施和方法,有助于程序员... 在开发电力系统控制软件时,程序员主要关注功能的实现,却经常忽视程序代码的安全性。为提高电力系统控制软件的编码安全性,在分析电力系统控制软件最常见的源代码漏洞的来源和原因后,给出了解决漏洞的安全控制措施和方法,有助于程序员开发高质量的安全代码。 展开更多

关键词 控制软件 源代码 漏洞 安全控制措施 编程规范 c/c++

下载PDF 职称材料

三角网数模算法程序设计 被引量：1

7

作者 徐中华 杨本廷 《城市勘测》 2007年第5期42-45,共4页

从基于C++类、程序核心代码、三角形联网的原则、步骤出发,实现三角网数模的建模算法,从而有效提高测绘专业程序开发技术水平,更好地应用于实际生产。

关键词 DTM 三角网数模 c^++类 堆栈 算法源代码

下载PDF 职称材料

基于MSP430F2013数字温度计的程序设计

8

作者 杨楠 沈力 《贵州科学》 2015年第1期42-47,共6页

本文从主程序结构、中断处理、数据处理及显示等方面详细介绍一种基于MSP430F2013数字温度计的程序设计方法,并给出相应的C源代码。

关键词 MSP430F2013IPW 程序设计 c源代码

下载PDF 职称材料

C源代码的安全检查技术研究

9

作者 陈丹 洪莉 《襄樊学院学报》 2006年第2期57-59,共3页

通过分析C语言源代码中可能存在的安全问题,给出相应的C程序源代码的安全性检查策略,并探讨C程序源代码的安全检查技术及其可行性．

关键词 c源代码 检查技术 安全问题

下载PDF 职称材料

基于C-XML的C源代码重用

10

作者 赵媛 邹燕飞 吕红 《微计算机信息》 2010年第33期195-196,225,共3页

针对目前存在的大量遗留代码,提出基于Web Service分布式应用程序模型的C-XML方法,该方法把C源代码转换成XML格式,迁移到Web服务器之后,包装、部署成Web服务以供访问者调用。采用C-XML方法,只需要付出低廉的代价就可以实现大量C源代码... 针对目前存在的大量遗留代码,提出基于Web Service分布式应用程序模型的C-XML方法,该方法把C源代码转换成XML格式,迁移到Web服务器之后,包装、部署成Web服务以供访问者调用。采用C-XML方法,只需要付出低廉的代价就可以实现大量C源代码在新系统中的重新利用。 展开更多

关键词 c源代码 XML 代码重用 包装 WEB SERVIcE

下载PDF 职称材料

机器数的快速转换算法研究

11

作者 王德超 《电脑知识与技术》 2012年第6期3872-3874,共3页

机器数是计算机相关原理如运算器设计等的基础，也是计算机数值运算的前提与基础。该文给出了一种更简便的机器数转换算法，并给出了实现该算法的C＋＋源代码。

关键词 机器数 算法 机器字长 溢出 c++源代码

下载PDF 职称材料

基于S3C24104X的TSP开发与应用 被引量：1

12

作者 杨建文 张玲 +1 位作者 郑恩让 杨润贤 《微计算机信息》 北大核心 2006年第05Z期130-133,共4页

随着信息社会的发展,TSP(TouchScreenPanel)的应用越来越普遍。文章在对S3C2410X嵌入式微处理和TSP技术进行简要介绍的基础上,分析了TSP在其中的硬件架构以及工作机理、控制寄存器的设置和实现其功能的驱动软件编程。并结合其在智能型... 随着信息社会的发展,TSP(TouchScreenPanel)的应用越来越普遍。文章在对S3C2410X嵌入式微处理和TSP技术进行简要介绍的基础上,分析了TSP在其中的硬件架构以及工作机理、控制寄存器的设置和实现其功能的驱动软件编程。并结合其在智能型快速牛奶检测仪中的应用,给出了TSP模块功能开发流程和部分C语言源程序。采用了TSP作为输入输出设备,使检测仪结构小巧美观、界面友好、操作简便,增强了仪器的人性化设计。 展开更多

关键词 S3c2410X 触摸屏 液晶显示器 源程序

下载PDF 职称材料

大规模可变C代码增量式分析方法 被引量：1

13

作者 石剑君 刘法旺 +1 位作者 计卫星 杨玚 《软件》 2021年第3期79-85,共7页

提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验... 提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验结果表明,与原有的代码分析方法相比,本方法可以极大地提升大规模可变C代码分析的效率。 展开更多

关键词 大规模c代码 可变代码 代码分析

下载PDF 职称材料

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法 被引量：1

14

作者 谢文光 李琪 +3 位作者 马春燕 汪克念 尹伟 张涛 《航空学报》 EI CAS CSCD 北大核心 2021年第9期506-521,共16页

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机... 处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1111个C语言函数声明与1273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。 展开更多

关键词 P2020机器码程序 c语言源程序 溯源 源代码分析 编译器验证

原文传递

一种C程序在线测试方法的研究与实现

15

作者 赵家宇 吴含 彭瑞 《电脑知识与技术》 2010年第10期8057-8059,共3页

为了培养学习者的程序设计能力，以C程序为测试对象，设计并实现了一种程序在线测试方法。该方法基于开源GCC（GNU Compiler Collection）程序编译器，通过更改进程管道将程序运行结果与测试用例进行比较验证其正确性。对测试程序采用... 为了培养学习者的程序设计能力，以C程序为测试对象，设计并实现了一种程序在线测试方法。该方法基于开源GCC（GNU Compiler Collection）程序编译器，通过更改进程管道将程序运行结果与测试用例进行比较验证其正确性。对测试程序采用悬停操作提高服务器的CPU并发使用率。运用调试方式加栽程序的途径获取程序运行时间．利用VC工具编写了在线测试的后台实验程序。特别是可执行文件PE代码节的MD5值提取技术解决了源码相似性检测的问题，并实现了文件操作程序的测试。实验结果表明了该方法的有效性和实用性。 展开更多

关键词 c程序 在线测试 源码相似性检测 文件操作程序

下载PDF 职称材料

面向大规模源代码的内存安全性动态分析技术

16

作者 王冲 孙毅 仵俊 《计算机技术与发展》 2021年第7期92-96,共5页

随着软件规模越来越大,如何保证程序的可靠性和安全性越来越受到人们的关注。由于C语言缺乏内存安全检测的机制,导致使用C语言编写的程序容易存在安全漏洞,所以针对C语言的可靠性研究也很越来越多。当前,软件可靠性和安全性常用的验证... 随着软件规模越来越大,如何保证程序的可靠性和安全性越来越受到人们的关注。由于C语言缺乏内存安全检测的机制,导致使用C语言编写的程序容易存在安全漏洞,所以针对C语言的可靠性研究也很越来越多。当前,软件可靠性和安全性常用的验证方法是静态分析和动态分析,动态分析由于能真实反映程序中存在的问题而得到广泛应用。目前针对程序内存安全性的分析工具对较小规模的程序能够正确检测,但是在大规模程序中无法有效地对程序进行插桩和检测。针对此问题,该文在基于指针技术的内存安全分析技术的基础上,采用源代码插桩实现了大规模C程序内存分析工具Movec,并对其进行了有效性和性能实验。通过实验表明,该方法可以有效且高效地对大规模程序进行安全性分析。 展开更多

关键词 动态分析 大规模c程序 内存安全性 源代码插桩 基于指针

下载PDF 职称材料