程序属性的检测与程序属性的分类

摘要：在当今的各种程序中,很多人认为只存在两种程序,即善意程序和恶意程序,但对程序属性研究之后,发现还存在第三种属性的程序,该程序部分具有恶意性,部分具有善意性,第三种属性程序是由本文首次提出。本文提出解决问题的思路是：首先采用恶意权值计算公式对程序进行计算,判断该程序是善意程序还是恶意程序,并且分析了程序的权值是否发生了变化。如果是某个程序的权值发生了变化,那么此时善意程序被病毒感染的可能性很大,被病毒感染的程序在一定时候就能够体现出一定的恶意性,因此经过对病毒、被病毒感染的程序和善意程序三种不同属性程序分析之后,最后使用MMTD算法对三种属性的程序进行了分类：该程序是恶意程序,善意程序还是部分恶意部分善意的程序。     

一个形式化的程序设计方法及其实验系统

本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。     

一种Java程序Chopping方法

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chopping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。     

基于TMS320C6678的多核程序加载研究与实现

针对多核D SP系统程序加载复杂的问题,基于T MS320C6678对多核程序加载进行了研究与设计。从一级引导程序出发,设计并优化了多核程序内容存储格式。设计了简洁的二级引导程序,以修正一级引导程序只识别主核程序入口地址,而从核入口地址缺失的现象。为了快速生成特定格式的多核程序内容,设计了多个工具用于添加S PI启动参数表、DDR3启动表、从核程序入口地址以及完成程序内容格式的转换。实现了S PI Flash多核程序加载以及基于I2C主模式的Nand Flash多核程序加载。     

基于程序依赖图的静态BPEL程序切片技术

传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。     

2022小程序百强

作为不需要下载安装就可使用的手机端应用,小程序自2017年诞生开始至今已走过5个年头,2022年的小程序世界除了拥有更广泛的类别,其生态和服务模式也变得越来越丰富。完整的生态聚合现阶段我国共有10家主流小程序平台,包括腾讯的微信小程序、Q Q小程序,阿里的支付宝小程序、淘宝轻店铺,字节跳动的头条小程序、抖音小程序,还有百度小程序、360小程序、美团小程序、快应用。     

广义量子Loop程序初探

在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。     

基于类跟踪的程序分析技术

本文基于信息流分析技术,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法,对于程序分析和程序理解及程序文档化具有一定意义。     

dBASEⅢ实用编程技巧—直方图显示与打印程序设计方法

本文介绍了用dBASEⅢ译言编制直方图显示与直方图打印程序的方法。这两个程序都是公共程序,调用相当方便。程序算法简单,程序简短,使用效果很好。     

CKrootKit检测的一个实例

什么是rootkit程序呢?很久以前,rootkit程序被看成只有管理员root才使用的程序,这种程序通常帮助管理员检查系统是否正常运转,有没有其他恶意的程序在运行。但是.现在rootkit程序被黑客利     

外部链

分别汇编的程序可以相互交叉访问(cross-reference)。例如,不同时间汇编的一个主程序和几个子程序要合并组成一个能执行的机器输入。本节叙述如何在各程序间建立正确的传输,以及如何在程序间访问数据而不管输入程序如何在存贮器中重新分配程序。 转移编址和数据编址最普通的方式是由程序设计员把给出的信息通过地址常数提供给输入程序。汇编程序指令ENTRY和EXTRN用于把信息送给输入程序。当一个程序具有子程序或数     

程序算法识别研究综述

程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最后对每种方法进行了比较、分析,并提出未来程序算法识别研究的重点问题。     

程序启动顺序我说了算

为了方便起见,很多朋友都将每天必须要应用的程序设置为开机自动运行,避免了人为去逐一启动程序的麻烦。但是如果开机自启动的程序过多,可能会造成系统响应很慢,甚至是假死的情况发生。如果能给自启动程序排排队,按照重要程度高的程序优先启动,次要的程序依次延后启动,就会减少系统启动时同时加载所有程序所造成的“拥堵”。以下就是笔者给自启动程序排队的实操过程。     

微机技术在化学实验数据处理中的应用

本文阐述在化学实验中如何应用微机技术进行实验数据的处理。处理程序采用模块结构,主要包括引导程序、屏幕绘图程序、制作文件程序、主控程序、归一化程序、拉格朗日线性插值程序和曲线拟合程序等。     

实用单片机讲座:手把手教你学单片机(十三)

四、分支程序设计分支程序即根据条件对程序的执行进行判断,满足指定条件则进行程序分支转移。分支程序又可分单分支程序及多分支程序。 1.单分支程序在MCS-51指令系统中,通过条件判断实现程序单分支的指令有JZ、JNZ、CJNZ和DJNZ等,此外还有以位状态作为条件实现程序分支的指令,如:JC、JNC、JB、JNB和JBC等。使用这些     

ADSRX应用程序的开发与实例

本文给出了一个ADSRX程序实例,通过该实例阐述了ADSRX程序的结构,ADSRX程序的编译方法和跟踪调试方法。可将该程序作为模板程序,在此基础上增加其它的外部函数。     

基于遗传编程的学生程序修正方法

学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评测,对评测结果中满足自动修正条件的学生程序进行错误定位,在此基础上实现自动修正。应用结果表明,该系统可以有效管理、测试学生程序、并为学生修正含有缺陷的程序提供参考,减轻了教师的负担。     

基于产生式的多语言程序理解的算法

提出一种程序理解实现方案,通过将程序设计语言的词法规则和语法规则以产生式表示,设计基于产生式多语言程序处理算法,将产生式自动转化为对应的词法和语法规则函数,使得不同的程序设计语言规则可以采用统一的方式描述,从而可用一套程序理解系统实现对多种程序设计语言的程序理解,以后增加某种程序设计语言的程序理解,只要定义对应程序设计语言的词法和语法规则产生式即可实现,有效地解决了程序理解系统的共享性难题。     

整理磁盘碎片“超频”四部曲

Windows中含有一套专门用于优化计算机性能的程序,如维护向导、驱动器转换器(FAT32)、磁盘碎片整理程序等。其中,磁盘碎片整理程序可以重新整理硬盘上文件和未使用的空间,优化程序加载和运行的速度,提高硬盘的访问速度。但当你使用磁盘碎片整理程序时,其蜗牛般的整理速度却让你烦恼不堪。 1.关闭其他正在运行的程序 当磁盘碎片整理程序在对磁盘进行碎片整理时,计算机可以执行其他任务,但此时计算机将运行得较慢,磁盘碎片整理程序也要花费更长的时间。在碎片整理过程中,每当其他程序写磁盘后磁盘碎片整理程序必须重新启动。为避免磁盘碎片整理程序重新启动太频繁,可在整理磁盘碎片时关闭其他程序。     

Turbo PASCAL EXEC过程的优化算法

Turbo PASCAL程序(父程序)用EXEC加载运行其他程序(子程序)时,往往由于父程序占用内存太多,DOS无自由空间,而无法正常调用。本文提出“释放父程序自由堆空间成为DOS自由空间-用EXEC运行外部程序-回收DOS自由空间成为父程序自由堆”的优化算法成功地解决了这一问题。