程序属性相关论文
基于程序属性差异,以刑事诉讼程序为中心构建的刑事证据体系难以有效兼容刑事非讼程序,导致其证据体系面临理论研究导向不明,立法......
针对面向对象C++程序,通过与建立独立的类型信息及函数摘要抽象来实现递增静态分析程序属性和行为,分为全局预分析,本地分析,故障......
基于程序属性差异,以刑事诉讼程序为中心构建的刑事证据体系难以有效兼容刑事非讼程序,导致其证据体系面临理论研究导向不明,立法......
提出一种基于图的补丁文件结构化比较算法,以有效提取可执行补丁文件的结构化签名特征。根据提取的结构化签名特征从函数调用关系图......