C/C++源代码静态检测系统的设计和实现

为了检测出C/C++源代码程序中常见的运行时错误,设计了一个静态检测系统。该系统通过词法分析、语法分析、语义分析来获取程序的语法树。然后系统的检测程序将会分析语法树的每一个结点,判断结点中的属性信息是否存在错误。创新点在于语法树数据结构和检测程序的设计。通过检测程序对结点的属性值的分析,能够检测出C/C++源代码程序中出现的数组越界、指针错误、字符串函数错误,内存泄露等问题。     

基于BloomFilter的硬件字符串匹配设计与验证

布鲁姆过滤器（Bloom Filter）是一种基于多散列大数据量的数据检索分类算法,在分析布鲁姆过滤器工作原理的基础上,给出了一种基于标准布鲁姆过滤器的硬件字符串匹配检测系统模型。完成了该系统的C语言算法实现,通过实验测试与理论结果相比较,证明了其功能的正确性。在此基础上实现模型的Verilog RTL级描述,通过仿真,验证Verilog程序的功能。针对Altera CycloneⅡEP2C35F672C6FPGA（Field Programmable Gate Array）完成了逻辑综合和时序仿真,文中的硬件字符串匹配检测系统在网络入侵检测、数据库检索等方面具有一定的实用价值。     

C库中易受缓冲区溢出攻击的脆弱函数分析

为了编写更安全的C程序和提高已有C程序的安全性,对C库函数中易受缓冲区溢出攻击的脆弱函数进行了分析,分析它们可能产生缓冲区溢出时的特征及如何避免缓冲区溢出.实现了一种缓冲区溢出检测工具,能较准确地检测到C目的程序中的缓冲区溢出漏洞,分析结果具有实用价值.     

C语言中指针的运用

C语言是一种被广泛应用的计算机程序设计语言,"指针"是C语言的精华,是教学的重点和难点,同时又是学好C语言的关键。本文对数组与指针、字符串与指针、函数与指针等在程序设计中的灵活运用作了探讨。     

格式化串攻击及其防范

格式化串攻击问题日益成为人们关注的安全问题,该文论述了格式化串攻击的一般方法和原理,剖析了C语言格式化函数的实现机制,并从程序编写的角度给出了解决格式化串漏洞的方法.     

程序代码相似度度量中词法分析器的设计实现

针对程序代码相似度度量中的词法分析问题,提出了一种基于语言词典的词法分析器的设计和实现方案。通过对程序源码进行预处理,将其转换为一个字符串,然后对该字符串逐字符进行分解,得到构成源代码的每一个标识符Token,并判断其类型,实现对程序源码的词法分析。实验结果表明,该方法能有效分析程序源码的词汇构成情况。     

入侵检测中一种快速串匹配算法

基于字符串匹配的检测方法是入侵检测系统中一类很重要的分析方法,为了提高字符串匹配型检测方法的检测效率,论文设计了一种有效的规则库编码方法,分析了检测中的激活阈值问题和几种二进制字符串的匹配算法用于入侵检测时的时间复杂度和空间复杂度,并采用多属性r连续位匹配规则,有效降低了检测时算法运行所需的时间复杂度和空间复杂度,使得检测速度大大提高。     

解析“0”在C语言程序中的应用

文章就0在C程序中的一些应用做了讨论和总结,分别从0在选择结构应用,在数组当中的应用以及在字符串中的应用做了分析,旨在帮助读者加深理解C语言的一些规则和语法,形成正确的学习理念。     

Java程序中的脆弱性模式研究

随着Java应用越来越广泛,与Java相关的脆弱性问题也越发突出,为了提高Java软件的安全性,对Java程序中的脆弱性模式进行了研究.应用了分类、分析、归纳总结等研究方法.较系统地提出Java程序中存在的脆弱性模式,阐述了各种脆弱性模式的产生原因及其危害,并提出了相应的避免方法.研究结果可以用于指导Java软件的编写,也可以用于对已有Java软件进行脆弱性分析,大幅度提高Java软件的安全性,由于脆弱性种类会随着应用的发展而发生变化,今后还需要研究其他的脆弱性模式.     

CRC校验码的软件实现及其在单片机中的查表程序

本文介绍了一种数据传输中的差错检测技术--CRC检验的原理以及CRC校验码的构造过程。给出了CRC码在80C51系列单片机中的实现程序及其冗余码表的求取程序。     

利用状态数据的无人平台测控协议逆向分析方法

针对无人平台测控数据通信安全问题,提出了一种测控协议逆向分析模型.模型采用数据挖掘方法对通信报文中的协议格式和语义信息进行分析,主要采用改进BF(Brute-Force)算法和AP(Affinity-Propagation)算法进行模式串匹配和关联规则提取,以提取协议初步格式;采用序列比对技术中改进SW(Smith-Waterman)算法,结合监测状态数据对格式和语义信息作进一步分析.通过仿真实验模拟协议逆向分析了所需要的无人平台与基站的通信数据和雷达监测状态数据;根据协议逆向模型仿真试验结果可得到100%的协议格式识别率和90.9%的语义识别率,结果证明了提出的逆向分析模型的有效性.     

相机标定中的角点检测和标定的接口程序设计

利用现成的程序为摄像机标定确定一种误差较小的方法,考虑到现有的摄像机标定程序的输出数据格式不兼容,设计了一种新的角点检测和标定的接口程序.对数据进行了格式转换、自动处理及直观仿真显示.实验表明,该接口程序不仅使角点检测和标定两个步骤可以完全自动进行,并且标定得出的数据直观,可直接提供给后续工作使用.     

Molecular visualization: a microcosm of the e-revolution

Molecular visualization software programs display a 3D arrangement of molecules in an interactive format, allowing researchers to examine known molecules as well as theoretical molecules in drug development. In the last two decades, biochemistry has shifted its emphasis from bonds and connectivity to surfaces and interactions. Molecular visualization, at the intersection of computer graphics and chemistry, accelerated this transition with interactive displays of 3D molecular models on personal computers. The free access to both molecular databases and visualization programs has enhanced our understanding of basic biological concepts. Molecular visualization also encompasses a thriving Internet community that is constantly honing and dynamically revising software implementations in response to user feedback. There's no question that computer technology has revolutionized biomedical fields such as biochemistry, genetic engineering, and molecular biology. We can now study critical biomolecules in their folded form rather than as a string of amino acids.     

CAD工程数据库与应用程序之间的接口管理系统

随着IC-CAD技术的飞速发展,开发以数据库为核心的集成化CAD系统已日益受到用户青睐。由于库的物理存贮格式与各应用程序内的数据格式有差异,使得这类集成化系统有一个繁重的任务,即每个应用程序与库之间必需有一个接口程序去实现数据格式间的转换。通常,这种接口程序是在应用程序与库集成时由人工编制的。对于一个复杂的工程设计自动化系统,这部分工作量相当大。本文在分析了接口程序的一般结构和功能之后,介绍了一个工程库与应用程序间接口的自动生成开发工具。描述了该系统的结构、功能和实现。     

Optical filter impact on eye opening in vestigial sideband systems

An analytical tool is presented in order to analyze and elucidate the impact of the optical filter position and steepness on eye opening in an optical vestigial sideband system with direct detection. It is shown that bit sequences containing solitarities (i.e., bit sequences containing single bits surrounded by several bits of opposite kind) are the major bit sequences to cause eye closure. In comparison with double-sideband modulation format, an eye opening penalty of 3-6 dB can be achieved with vestigial sideband format. The analytical tool helps to understand the interrelation between the bit sequence properties and the optical filter parameters.     

一种高性能的字符串匹配硬件实现法

随着网络技术的快速发展和Internet的普及，网络的安全性越来越受到重视，字符串匹配作为实现网络安全检测的核心技术和实现难点，也越发受到人们的关注。文章提出了一种基于分离武状态表的硬件实现法,吸取了AC算法中自动跳转状态机的思想．能实现线速并行的匹配且具有较少的硬件开销，是一种高性能的多模式串匹配实现法。     

基于LabVIEW的标准MIDI文件的实现

标准MIDI在电子乐器表演中有着广泛的应用.LabVIEW是一种强大的图形化的编程语言,采用LabVIEW中VI的技术来实现标准MIDI文件的制作.根据标准MIDI的格式,设计了6个子VI包括16进制字符添加器、Meta事件添加器、MIDI事件添加器、音轨封装器、头块添加器和MIDI文件写出器.最后采用一个顶层VI来根据曲谱的输入文件,调用子VI,最终实现标准MIDI文件的输出.实验结果表明,用LabVIEW来制作标准MIDI文件是一种高效又简单的可行方法.     

一种Linux下动态内存泄漏检测技术的实现

内存泄漏是软件开发中经常遇到的问题。在使用C/C 开发的大型软件中,内存泄漏往往很难发现。现介绍了一种基于动态代码插装技术的内存泄漏检测器的实现方法。该方法在实践中证明简单易用,对软件运行期内的影响较低。     

机群系统上基于Hashing的多目标串匹配并行算法

基于孙子定理构造均匀的Hash函数并继承Karp-Rabin模式匹配思想，利用“筛选”方法，给出一种机群系统上的多目标串匹配并行算法。通过预处理将字符串映射成惟一的一对整数值，采用比较一对整数值来取代逐个字符比较字符串的方法使得匹配过程快速且比较结果是确定的：“筛选”节省了比较时间。算法分析和实验结果表明该并行算法简明、高效和可扩展。