基于拓扑空间的C字符串函数缺陷分析

运用点集拓扑学知识分析C语言在语法方面对变量不做边界长度检查存在的缺陷是一种新的方法。文章基于拓扑空间连续性对C语言字符串函数的缺陷进行分析,根据点集拓扑学定义证明了以字符数组存储的字符为元素所构成的集合在给定的子集族下是一个拓扑空间;将字符串函数抽象定义为一个映射,在代码没有缺陷的情况下证明该映射是一个连续映射,在不能够保证定义映射是连续映射的情况下说明代码是存在缺陷的。通过拓扑空间的连续性可以判断代码存在缺陷,从而促进编程人员改进代码,编写更好的编程语言。

信息技术课堂分层任务驱动教学模式实践与思考——以“字符串函数”教学过程为例

任务驱动教学法是高中信息技术教学中广泛使用的一种教学方法,但仍存在诸多问题,如任务情境老套、形式单一、难度不合理等。为提高课堂教学的有效性,可将分层教学与任务教学相结合,根据学生的认知能力和任务的难易程度设计层层递进的任务,将课堂时间还给学生,提高课堂教学效率。

STAGE文本、字符串函数讨论

对STAGE文本、字符串函数进行了讨论,介绍了函数的用法、参考函数、返回值等,描述了函数的意义,部分函数列出了应用实例。

基于字符串核函数的热点新闻发现系统

随着网络新闻类门户网站的不断增多,如何从纷繁复杂的新闻信息中得到当日热点新闻,为用户提供一个方便的访问界面成为当前主要问题。通过对超文本进行聚类分析从而得到热点新闻,采用字符串核函数(string kerne l)来计算文本相似度,并将其应用到超文本聚类分析中。实验表明字符串核对于超文本的聚类分析有较好效果。

一种基于中文关键字符串核函数的分类算法

提出了一种基于中文关键字符串核函数的分类算法,并在农业文本上进行了分类性能测试.实验结果表明,与传统的中文分类算法相比,基于中文关键字符串核函数的分类算法准确率更高.

基于BWDSP的字符串与内存处理函数优化

面向BWDSP的体系结构分析了字符串与内存处理函数汇编优化方法,基于向量化与软件流水的优化技术,通过利用高效访存指令、能够提升循环执行效率的零开销循环机制、指令重排技术,结合具体功能函数的循环特性,展开针对字符串与内存处理函数的指令级并行性挖掘.实验结果表明,这些库函数的优化效率能够达到硬件平台提供函数性能理论运行时间的1.5倍以下,对BWDSP平台整体性能提升具有重要意义.

利用C语言中的字符串比较函数直接生成中文Windows五笔码表字典

中文Windows系统没有提供五笔字型输入方法,但利用其提供的通用码表转换程序,将常用汉字系统中五笔字型的单字和词组编码按Windows格式还原后,经码表转换程序转换成相应编码文件(.MB),再利用输入法安装程序安装WINMB.IME输入法程序后即可为中文Windows系统加装五笔输入方法。有关这方面的内容前一段时间各报刊已经刊登了不少文章。但笔者经试验每篇文章提供的实用程序之后。

C语言的字符串及基本运算

《c语言》是非计算机专业本科学生的一门必修课，也是一门理论性强、实践要求较高的课程，学生掌握起来有一定的难度。尤其是字符串的定义、存储及使用，更是灵活多变、处理函数丰富，为了便于学生掌握，收到更好的教学效果，现对c语言中的字符串及其相关运算做相关的归纳总结。

SQL Server中系统内置函数的灵活运用

本文以图书资料智能管理系统为基础,灵活应用SQL Server中的常用函数完成图书资料智能管理系统中的各种查询操作,通过实例充分阐释了相应系统内置函数的作用与功能。

用检索函数INSTR实现多分支选择结构

INSTR是BASIC语言提供的求子字符串函数,本文拟给出利用它实现多分支选择结构的实际应用.

基于数据流特征的比较类函数识别方法

嵌入式设备已经随处可见,它们常常出现在安全领域的关键位置和靠近终端的隐私场所。然而,最近的研究表明,很多嵌入式设备存在后门,发现最多的为硬编码后门(即口令后门)。在口令后门的触发过程中,字符串比较函数(比较类函数)是不可或缺的,其重要性不言而喻。目前,针对比较类函数的识别主要借助于函数签名和控制流特征的匹配,前者不适用于对未知的比较类函数进行识别,并且受编译环境的影响较大,后者具有较高的误报率和漏报率。针对上述问题,提出了一种新颖的比较类函数识别方法CMPSeek。该方法在函数控制流的基础上,对比较类函数的数据流特征进行分析并构建了识别模型,用于对二进制程序中比较类函数的识别,并且适用于剥离的二进制程序(Stripped Binary)。此外,将二进制代码转换为中间语言VEX IR指令,以支持ARM,MIPS,PowerPC(PPC)和x86/64指令集。实验结果表明,当缺少源码、函数名等信息时,相比FLIRT和SaTC,CMPSeek在精准率和召回率上都有着更好的结果。

基于语义冲突的硬编码后门检测方法

路由器安全问题主要聚焦于内存型漏洞的挖掘与利用,对后门的检测与发现的研究较少。硬编码后门是较常见的后门之一,设置简单方便,仅仅需要少量代码就能实现,然而却难以被发现,往往造成严重的危害和损失。硬编码后门的触发过程离不开字符串比较函数,因此硬编码后门的检测借助于字符串比较函数,主要分为静态分析方法和符号执行方法。前者自动化程度较高,但存在较高的误报率,检测效果不佳;后者准确率高,但无法自动化大规模检测固件,面临着路径爆炸甚至无法约束求解的问题。针对上述问题,在静态分析的基础上,结合污点分析的思想,提出了基于语义冲突的硬编码后门检测方法——Stect。Stect从常用的字符串比较函数出发,结合MIPS和ARM体系结构的特点,利用函数调用关系、控制流图和分支选择依赖的字符串,提取出具有相同起点和终点的路径集合,如果验证成功的路径集合中的字符串具有语义冲突,则判定路由器固件中存在硬编码后门。为了评估Stect对路由器硬编码后门的检测效果,对收集的1074个设备固件进行了测试,并与其他的后门检测方法进行了对比。实验结果表明,相比现有的后门检测方法Costin和Stringer,Stect具有更好的检测效果:从数据集中成功检测出8个固件后门口令,召回率达到88.89%。

用VB6分解MARC产生的问题及解决办法

分解MARC是图书馆机房工作人员要掌握的一个常识。用VB6分解MARC会出现问题,这是由 于VB6中全角字长度定义为1,而MARC中定义为2。要在VB6中将全角汉字长度还原成2有两种方法。要用 VB6分解MARC要重新求出字段长度和起始点,最后给出了具体程序。

基于状态转换模型的二进制代码缓冲区溢出漏洞检测

根据缓冲区溢出的基本原理,提出一种基于状态转换模型的二进制代码缓冲区溢出漏洞检测方法。该方法以可执行程序为分析目标,从而使漏洞检测过程摆脱对程序源代码的依赖。详细描述该漏洞检测方法的技术细节,并给出该方法与流行的缓冲区溢出漏洞检测方法的对比。