嵌入式装置可视化页面程序代码处理架构设计

提出一种灵活的嵌入式装置可视化页面程序的代码处理架构.基于元件的层次模型,形成相关数据结构和功能调用函数.通过在脚本中调用代码生成器开放的接口,可定制形成不同运行场景的代码.通过扩充解析预处理函数,支持形成高效紧凑的代码.采用通用模板替换的方法,可自动形成多种处理器的编译文件.本文提出的技术已经在电力系统保护控制装置开发中进行了批量应用,显著提升了开发效率和质量.     

Java中如何调用本地代码

本文介绍了在Java中调用本地代码的原因及相关技术,并以C或C 编写的本地代码为例阐述了调用本地代码步骤,最后分析了调用本地方法的准则及不足之处.     

一种基于指针逻辑的代码安全属性分析方法

在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理.     

8086C反编译系统中库函数识别技术及其实现

在8086 C反编译系统中,我们把模式识别原理应用于 C库函数的识别.本文首先分析了C库函数在目标代码中的组成特点,然后介绍了8086 C反编译系统中的库函数模式识别技术,即C库函数识别特征的提取、识别的模式匹配方式和库函数特征代码识别表的建立,最后介绍了该库函数识别技术在 8086 C反编译系统中的实现方法.     

支持对象间关系的程序设计语言研究

在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后,该文设计并实现了显式支持对象间关系的RCPP(relational C++)语言.它提供了显式描述对象间关系特性和语义的机制,利用关系来动态地控制对象行为的作用和传播.它的运行是通过一个转换器把RCPP代码翻译成C++代码,再经C++环境编译后,形成可执行程序而实现的.文章对RCPP语言的模型、语言提供的服务以及具体系统的描述和实现作了深入阐述.     

基于分片融合的代码隐式混淆技术

目前,在代码保护技术研究领域,传统的混淆方法具有明显的混淆特征,分析人员可根据特征对其进行定制化的去混淆处理.为此,提出了一种基于分片融合的代码保护技术,通过在源代码层面将目标代码按照语法规则进行代码分片,依据执行顺序与语法规则,将分片插入另一程序的不同位置,在修复函数调用过程与数据关系后,形成可正常运行两个代码功能的融合后代码.在实验部分,对混淆后的代码,从运行效率、代码复杂度影响、代码相似性这3个维度,与其他混淆技术进行对比.从测试结果可以看出:基于分片融合的代码隐式混淆技术能够有效地模糊代码语义,改变控制流特征,且没有明显的混淆特征.因此,融合技术在对抗多种相似性对比算法的能力上有明显优势.     

写污点值到污点地址漏洞模式检测

设备驱动是允许高级程序与硬件设备交互的底层程序.通常设备驱动中的漏洞较之应用程序中的漏洞对计算机系统的安全具有更大的破坏性.写污点值到污点地址是Windows设备驱动程序中频繁出现的一种漏洞模式.首次明确地对该种漏洞模式进行描述,提出一种针对二进制驱动程序中该种漏洞模式的自动检测方法,并实现相应的原型工具T2T-B2C.该方法基于反编译和静态污点分析技术,与其他方法相比,既可以分析C代码,也可以分析本地二进制代码.该工具由T2T和B2C两个组件组成:首先B2C基于反编译技术将二进制文件转换为C语言文件;然后T2T基于静态污点分析技术检测B2C生成的C代码中出现写污点值到污点地址漏洞模式的语句.使用多种反病毒程序中的二进制驱动对T2T-B2C进行了评估,发现了6个未公开漏洞.评估结果表明:该工具是一款可实际应用的漏洞检测工具,可应用于对较大规模的程序进行检测.     

嵌入式C语言在系统开发中的代码优化

嵌入式系统对应用软件的质量要求很高.在嵌入式开发中须注意对代码进行优化,尽可能地提高代码效率.虽然C编译器对代码作了一定程度的优化,但大部分由编译器执行的优化技术仅涉及执行速度和代码量的平衡,不可能使程序既快又小,因而必须在编写程序时采取必要的措施.文章针对高效率嵌入式程序的优化提供了一些编程技巧,可作买际系统开发的参考.     

C语言中基于类函数宏技术的泛型顺序栈的设计与实现

泛型编程是多数现代程序设计语言支持的,能够简化代码、提高代码复用性的现代编程方法.依据C语言的基础语法规则,深度挖掘C语言本身的语言特性,基于类函数宏技术实现了泛型顺序栈的编程实践,为使用C语言实践泛型编程提供了一种解决思路.     

基于动态链接库的Visual C++混合编程

为了在不同的编程语言中实现取长补短,探讨了动态链接库(DLL)在Visual C++混合编程中的多方面应用.结合Visual C++的编程环境,分析了DLL的技术特点与调用方式.基于DLL技术,分别讨论了Visual C++如何与Visual FORTRAN、MATLAB以及Visual C#等进行混合编程,并利用一些生动的示例代码进行了说明.实验结果与分析表明了利用DLL进行混合编程的优越性.     

一种新型燃气泄漏定位仪的设计

针对燃气管网泄漏点的高精度定位问题,运用嵌入式系统和模糊计算技术设计了一种新型燃气泄漏定位仪.以嵌入式微处理器MC68HC812为核心设计了检测仪硬件子系统;基于模糊计算技术设计了检测仪的软件子系统,并基于C代码进行了编程实现.检测仪整体结构遵循构件化设计思想,综合考虑泄漏燃气的浓度和浓度变化率2个因素,充分利用工程实践经验进行泄漏点的定位判断.分析表明,该新型定位仪的平均定位精度较传统的定位装置提高了13.61％,同时显著缩短了定位时间,设计方案科学实用,应用前景广阔.     

基于CORBA的UML到C++正向转换研究

该文通过对分布式对象技术和CORBA机制、UML可视化建模语言的分析,进行了UML/IDL/C++的正向转换,提供给用户一个包括面向对象建模,生成IDL,形成实际C++代码几步工作在一起的CASE工具。让用户能够方便有效地采用UML建模,并使用CORBA这种软件总线技术来开发C++程序,进而得到需要的CORBA组件。     

适用于C语言的对象模型的研究与实现

为了解决在低端嵌入式设备中用C语言编写的代码难以维护以及重用率低等问题,提出了一种新的对象模型.将面向对象的思想与C语言开发相结合,利用现代C编译器的宏等特性以及元编程技巧,对C语言本身进行扩展,模拟了面向对象思想中单根继承,多态等特性,并在风格上和C++保持一致.在提升了其代码的可维护和可重用性的同时,简化了使用支持面向对象特性编程语言编写的代码向C语言移植的过程.     

C语言静态代码分析中的调用关系提取方法

程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式。     

嵌入式软件代码保护系统的设计与实现

针对嵌入式软件代码的安全问题,提出了一种基于流水线技术的TDES[1-3]的嵌入式软件代码保护系统,可以有效地防范当前各种针对嵌入式软件代码的恶意窃取、修改,适用于基于I2C、SPI总线以及NAND-Flash的程序代码存储器.     

面向代码审查的细粒度代码变更溯源方法

代码审查是现代软件分布式并行开发过程中的重要机制. 在代码评审时, 帮助代码评审者快速查看某一段源代码的演化过程, 可以让评审者快速理解此段代码变更的原因和必要性, 从而有效提升代码评审的效率与质量. 现有工作虽然提供了一些类似的代码提交历史回溯方法及对应工具, 但缺乏从历史数据中进一步提取辅助代码评审相关辅助信息的能力. 为此, 提出一个面向代码评审的细粒度代码变更溯源方法C2Tracker. 给定一段方法(函数)级别的细粒度代码变更, C2Tracker能够自动追溯到历史开发过程中修改该段代码相关的代码提交, 并在此基础上进一步挖掘其中与该段代码频繁共现修改的代码元素以及相关的变更片段, 辅助代码评审者对当前代码变更的理解与决策. 在10个著名开源项目的数据集下进行实验验证. 实验结果表明, C2Tracker在追溯历史提交的准确率上达到97%, 在挖掘频繁共现代码元素任务上的准确率达到95%, 在追溯相关代码变更片段任务上的准确率达到97%; 相比现有评审方式, C2Tracker在具体案例的代码评审效率和质量上均有较大提升, 在绝大多数的代码评审案例中被评审者认为能提供“明显帮助”或“很大帮助”.     

基于ICD的接口通讯程序代码自动生成技术

为快速开发嵌入式应用中的接口通讯程序,提高其效率和可靠性,本文提出了一种基于ICD的代码自动生成技术.首先确定了目标代码的形式,通过设计系统结构、建立驱动模型和代码生成单元结构,最终实现了代码生成器.本文设计的代码生成器,能够根据ICD数据库自动生成符合ANSI C标准的接口通讯程序,并在某航天工程的集成仿真测试系统中得到应用验证.     

一种基于AST的代码抄袭检测方法*

针对目前代码抄袭检测方面的研究大多是基于程序源码层面进行相似度比较,不需要对代码进行语法分析,由于忽略程序语法语义,对稍加结构修改的抄袭行为无法有效检测的现状,提出一种基于AST的代码抄袭检测方法.先将代码进行格式化预处理,再进行词法分析、语法分析,得到对应的AST;然后遍历AST生成代码序列,对代码序列进行相似度计算,从而得到代码的抄袭检测报告.实验结果表明,该方法能够有效检测出C程序代码的抄袭行为,并对C++、Java等多种程序代码的抄袭检测具有一定的通用性和可扩展性.     

激光雷达SCADA跨平台嵌入式软件设计

为满足激光雷达系统控制与数据采集( SCADA)对跨平台的需求,利用基于组件的框架技术,在ColdFire+ μC/OSII初始平台上采用标准C语言实现了SCADA嵌入式软件.在领域分析基础上明确了SCADA软件架构,对软件架构进行可通用部分和平台依赖部分划分及组件化处理,形成SCADA软件框架,并在框架基础上完成软件设计.实验结果表明,基于框架的SCADA嵌入式软件不仅提高了软件的可靠性和可扩展性,而且实现了软件向其它平台扩展的能力,达到了设计重用和代码重用目的.     

程序代码转换技术的研究与实现

采用程序代码转换技术来对代码的抄袭度进行判断,从而对代码抄袭形成一个系统研究,并且对具体的转化代码进行介绍,为程序转化技术的研究与实现提供借鉴。