源代码

摘要： 当前,大数据、人工智能技术催生出的大数据证据已经出现在庭审实践当中。尽管这种新的证据形式提高了事实认定者的认知水平,但同时也隐含着人为偏误与证据失真的证据风险,司法实践需要一套针对大数据证据的审查体系。大数据证据浸润在数据社会这一外部环境当中,同时又因机器学习的内部技术原理而呈现出以电子数据为表现形式、以专家证据为证据内核的证据属性。这决定了大数据证据的审查,一方面要根植于电子数据的规则传统进行证据鉴真,另一方面要对机器学习的源代码进行可靠性评估,以完成大数据证据的相关性判断与可靠性评价。同时,应当以调整证据种类制度、完善电子数据鉴真制度以及构建大数据证据质证机制作为大数据证据审查的配套机制。

摘要： 随着全球进入数字经济化时代,国际贸易格局发生深刻变革,《全面与进步跨太平洋关系协定》(简称CPTPP)于2018年12月30日正式生效。CPTPP数字贸易规则,既对传统贸易规则项下的数字关税、个人信息保护等议题予以继承,又创新地引入了数据跨境流动、数据本地化、源代码条款等具有争议性的议题,极大地丰富了数字贸易国际规则的理论和实践。中国应积极加入国际规则制定,结合我国数字贸易国情,建立和完善中国特色数字贸易法律体系。

摘要： 自动编码技术,即通过提前设置好代码模板及其相关指令的方式,让输入的参数经由计算机相关程序以自动化的方式生成完整的、可供编译的源代码的技术。随着自动编码技术水平的逐渐提升,越来越多的领域开始采用自动编码技术,嵌入式系统开发就是一个例子。目前,自动编码技术可以经由计算机程序设定的基本方式生成一系列带有特定规律性或者具有一定重复性的源代码,其在市场上的主要应用方向是网站开发和信息管理。

摘要： 在开发电力系统控制软件时,程序员主要关注功能的实现,却经常忽视程序代码的安全性。为提高电力系统控制软件的编码安全性,在分析电力系统控制软件最常见的源代码漏洞的来源和原因后,给出了解决漏洞的安全控制措施和方法,有助于程序员开发高质量的安全代码。

摘要： 本文基于计算机挖掘软件源代码注释数量与质量偏低的问题,设计了代码注释自动生成方法。同时,对本文设计方法与Clocom法进行了实验对比分析,结果表明,相比Clocom法,本文方法所检测出的克隆代码类型更多,产量明显较高;自动生成的代码注释质量都明显较高,代码注释质量较好,总之,本文设计方法下计算机挖掘软件自动生成的代码注释产量与质量都显著较高。

摘要： 引言对于嵌入式系统,最终代码的体积和效率取决于由编译器生成的可执行代码,而非开发人员编写的源代码;但是,源代码的优化可以帮助编译器生成更加优质的可执行代码。因此,开发人员不仅要从整体效率等因素上去构思源代码体系,也要高度关注编译器的性能和编译优化的便捷性。

摘要： 中国申请加入《全面与进步跨太平洋伙伴关系协定》(CPTPP)能为国际贸易和投资的发展带来机遇,也能从规则层面促进中国积极参与全球经贸治理,聚焦于数字贸易领域,基于文本分析的方法,通过对比CPTPP和RCEP的数字贸易条款,分析CPTPP数字贸易规则带来的影响及对中国的启示。研究认为,CPTPP提出数字产品的非歧视待遇、源代码、关于接入和使用互联网开展电子商务的原则以及互联网互通费用分摊等RCEP并未涉及的独有条款,规则范围更大,同时CPTPP的数字贸易规则中强制性要求更多,例外情形较少,对缔约方的要求相对较高,规则标准更高。研究还认为,对接CPTPP的高标准数字贸易规则,有助于降低数字企业的贸易成本和市场准入门槛,为数字企业提供良性竞争环境,促进中国数字贸易保持高质量发展;有助于提振多边主义和全球化的信心,推动全球数字贸易规则的构建,提升中国参与数字贸易全球治理的能力;有助于国内相关领域深化体制机制改革,提升中国的制度型开放水平,推动构建双循环新格局。研究表明,中国作为数字贸易大国,应抓紧RCEP落地实施的机遇补齐短板,推进国内标准与CPTPP规则有序融合,并通过加快DEPA谈判进一步推动亚太地区在数字贸易领域的合作。

摘要： 在2020底,人工智能领城(AI)发生了一件里程碑意义的事件。谷歌旗下AI实验室Deep Mind的Alpha Fold 2系统宣布破解蛋白质折叠结构预测,攻克了困扰生物学界50余年的难题。这一成就被美国《科学》杂志评选为年度全球十大科学突破之首。著名科学家施--公称之为“AI对科学领域最大的次贡献”。去年7月,DeepMind公开了Apha Fold2系统的相关论文和源代码,并在顶级科学杂志《自然》上阐述了Alpha Fold2的技术细节,但其训练代码并未被公布。

摘要： 部分国家采取软件源代码强制披露措施的行为导致了晚近以来在国际贸易协定中规定禁止强制披露源代码的新趋势,进而通过对国家监管权的规制保护企业及国家利益。当前国际源代码规则形成艰难,区域治理碎片化趋势明显,我国国际话语权与数字经济规模不匹配,应当在坚守开放与安全同时,以禁止强制披露源代码为原则,积极参与国际谈判,加强区域治理合作,推动多边规则构建。

摘要： 2022年已经过半,企业用户数据泄露事件接连不断。仅就全球知名的大型企业来说,三星的源代码和机密数据遭到公开,Meta(原Facebook)因为数据处理和隐私安全等问题累计被罚超10亿美元,宜家(IKEA)加拿大公司约9.5万名客户个人信息数据被泄……随着数据泄露(data breach)越来越屡见不鲜,一般意义上的用户数据泄露事件甚至已经失去了新闻价值,比如上述几起事件其实性质非常严重,说明相关企业在数据保护方面存在巨大漏洞,但并没有在媒体上引起太大的传播热度。

摘要： 随着信息技术的不断发展,黑客攻击的方法层出不穷,信息系统的安全面临着前所未有的考验,如何确保信息系统的安全,成为企业急需解决的问题.确保企业信息系统的安全首先应该从源代码的安全抓起,基于对信息系统的源代码的安全进行研究,对如何开展信息系统的源代码的安全分析提供一种安全分析思路.

摘要： 近年来,越来越多的安全关键软件系统运行在国产Linux操作系统下,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有覆盖率统计插装工具不能满足要求.本文给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,运行时采集覆盖率信息,并进行统计分析,输出覆盖率分析报告.实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求.

摘要： 本文针对移动通信行业的源代码审计工作的必要性进行了阐述,并对当前的主流审计工具和审计方法进行了介绍,较为详细的对静态分析测试方法进行了分析,并对移动通信行业代码审计工作进行了展望.

摘要： 近年来随着社会信息化的高速发展,软件安全形势变得越来越严峻,很多安全问题都是出现在软件的编码阶段,使得采用传统的软件测试方法来检测源代码中潜在安全漏洞的难度增加,源代码审计能提高应用软件源代码的质量、规避应用系统潜在后门带来的危害.本文首先阐述源代码审计原则,概述了源代码审计的方法和技术,对比了源代码审计工具,表明了源代码审计的价值和意义,代码审计提高应用软件源代码的质量、规避应用系统潜在后门带来的危害、防止信息系统的重要数据遭到泄漏的同时又提升系统架构本身的安全性,最后对源代码审计技术的发展趋势做出预估.

摘要： 近年来随着社会信息化的高速发展,软件安全形势变得越来越严峻,很多安全问题都是出现在软件的编码阶段,使得采用传统的软件测试方法来检测源代码中潜在安全漏洞的难度增加,源代码审计能提高应用软件源代码的质量、规避应用系统潜在后门带来的危害.阐述了源代码审计原则,概述了源代码审计的方法和技术,对比了源代码审计工具,表明了源代码审计的价值和意义,代码审计提高应用软件源代码的质量、规避应用系统潜在后门带来的危害、防止信息系统的重要数据遭到泄漏的同时又提升系统架构本身的安全性,对源代码审计技术的发展趋势做出预估.依据CVE(Common Vulnerabilities&Exposures)公共漏洞字典表、OWASP十大Web漏洞(Open Web ApplicationSecurity Project)2015，以及设备、软件厂商公布的漏洞库，结合专业源代码扫描工具对各种程序语言编写的源代码进行安全审计。形成安全编码规范咨询、源代码安全现状测评、定位源代码中存在的安全漏洞、分析漏洞风险、给出修改建议等系列一体化服务。

摘要： 静态检测工具分析源代码缺陷的两个难点问题是可靠性和完备性,特别是大型软件的代码,静态检测工具不可能从全方面进行分析,这会导致出现大量的误报和漏报.本文使用主流源代码静态检测工具对Android操作系统源代码进行检测,将结果经由同源性检测进行整合,设计Android源代码安全漏洞检测结果整合模型.首先分析市场上的静态检测工具的特点、侧重点、不同点、相同点,选取检测方法不同的两种商业工具.接着对这两种商业工具检测Android操作系统源代码后的结果,利用已建好的漏洞特征库,结合同源性检测技术,进行整合得到最终结果.最后通过和人工整合结果的对比分析,验证模型的有效性和准确性.

摘要： 静态分析是发现软件源代码缺陷和提高软件源代码质量的有效方式.然而,静态分析由于不实际运行代码,无法收集足够的数据流信息,故其分析结果存在精确性偏低的情况.符号执行技术通过模拟程序的执行能够收集足够的数据流信息,从而增加数据流分析的精确性,弥补静态分析工具的缺陷.为了提高静态分析结果的精确性,本文设计并实现了一个源代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,组合采用符号执行与静态分析技术以检测源代码中的缺陷.使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析检测结果的精确性.

摘要： 为解决军用软件中存在的安全性缺陷问题,基于软件故障注入技术——静态故障注入方法,提出一种新的程序变异测试方法,并设计了该算法的测试流程.通过笔者所在软件测评实验室的源代码测试工具DTS对5个软件的源代码进行了缓冲区溢出检测的实验,结果表明该方法能够有效地、精确地检测缓冲区溢出.

摘要： 监控系统是保障超级计算机系统高可靠、高可用、高可维的关键组成部分.监控软件的可靠性直接关系到整个监控系统的可靠性.而通过对监控软件源代码进行形式化验证能够保证监控软件的正确性,从而进一步保障可靠性.停机性是软件正确运行需要保证的重要性质,结合不变式生成和线性秩函数模板,利用Farkas引理来生成约束系统,借助线性约束求解工具来得到合理的秩函数,从而验证软件的停机性.实验表明,某超级计算机监控软件中的绝大部分代码都能够通过停机性验证,为监控系统的可靠运行提供了保障.

摘要： 飞行模拟器是飞行仿真领域的重要研究设备,可用于现代飞机研究设计、飞行员训练和试飞技术研究.飞行模拟器应具备较强的可重构性,通过对模拟器软、硬件系统的快速更换或升级以满足虚拟试飞需求,开展新研究任务.论文分析了可重构飞行模拟器的研究难点和相关的成熟解决方案,有助于可重构飞行模拟器的开发.提出基于飞机物理构型和特性进行飞机动力学建模的仿真软件平台能够针对飞机型号自动生成动力学仿真软件源代码，解决了模拟器可重构性的难题。

摘要： 本发明提供一种源代码解析装置、源代码解析方法、计算机可读记录介质，其能够判断程序要素是否具备问题特征。源代码解析装置具备：程序关联性分析部，其解析源代码来对源代码内包含的程序要素彼此的关联性进行分析，生成程序关联性指标信息；逻辑耦合分析部，其使用源代码的变更履历，生成表示容易同时变更的程序要素的组合的信息即逻辑耦合信息；评价部，其至少根据逻辑耦合信息，针对每个程序要素生成包含与源代码的品质有关的评价值的程序要素信息；反模式检测部，其生成反模式信息，该反模式信息用于表示逻辑耦合信息中包含的程序要素中的程序要素信息和程序关联性指标信息分别满足预定条件的程序要素；以及输出部，其输出反模式信息。

摘要： 本发明提出了一种源代码自动合并方法和源代码自动合并装置，其中，所述源代码自动合并方法包括：查找出两个不同版本的源代码中的疑似不兼容点；根据预设的兼容性条件，判断两个源代码中的疑似不兼容点是否为实质上存在冲突的代码块；若两个源代码中的疑似不兼容点为实质上存在冲突的代码块，则根据兼容性条件选择代码分支，以使用选择的代码分支中的代码块进行合并；以及若两个源代码中的疑似不兼容点为实质上不存在冲突的代码块，则选择疑似不兼容点中的任一代码块进行合并。通过本发明的技术方案，在不依赖于合并工具进行源代码合并的情况下，不仅解决了源代码合并时出现的代码不兼容的问题，还提高了源代码的合并效率。

摘要： 本发明的课题在于针对源代码，扩大可公共化处理的范围，使用方便性·维护性良好，具有通用性，可以良好的效率而公共化处理。针对各源代码，形成嵌入代码信息，该嵌入代码信息由已形成的公共代码和已检测的差分构成，针对各源代码，从已获得的位置信息中，删除部分代码，在已删除的位置，嵌入已形成的嵌入代码，不实质上改变源代码的结构上的形态，形成嵌入好的源代码。

摘要： 一种源代码比较设备包括差异提取部，提取修正前源代码与修正后源代码之间的差异；语法分析部，将提取的差异分割为与能够在源代码中使用的构成要素相对应的分割差异，并产生语法分析结果，所述语法分析结果将所述分割差异与对应于所述分割差异的构成要素相关联；特征分析部，针对语法分析结果中包括的每个分割差异来设置特征区分和输出部；以及输出部，输出将所述分割差异与针对所述分割差异设置的特征区分相关联的比较结果。如果语法分析结果中包括的构成要素被包括在将构成要素与特征区分相关联的修正历史中，则特征分析部针对与语法分析结果中的构成要素相关联的分割差异，设置与修正历史中的构成要素相关联的特征区分。

摘要： 一种示例系统包括源代码改变引擎以：检索如在第一数据库处维持的应用中的源代码改变位置。示例系统还包括：源代码测试位置引擎以：检索由回归测试测试的源代码测试位置，如与回归测试相关联地维持在第二数据库处。示例系统还包括：回归测试选择引擎以：基于将应用的源代码改变位置与和回归测试相关联的源代码测试位置进行比较来选择回归测试以测试应用。示例系统还包括：回归测试引擎以：在应用的源代码测试位置上执行所选择的回归测试；以及，响应于应用通过回归测试，返回通过回归测试的指示。

摘要： 提供了源代码评估。源代码包括多个源代码元素，并且选择源代码元素中的一个。基于源代码元素生成多个令牌，并且基于该多个令牌生成二叉AST表示。二叉AST表示包括多个二叉AST节点，所述多个二叉AST节点包括二叉AST令牌节点和空节点。二叉AST令牌节点中的每一个都基于该多个令牌中的相应一个令牌。二叉AST令牌节点和空节点中的每一个都被编码为相应数值。基于二叉AST表示生成源代码元素的数值数组表示。基于二叉AST令牌节点和空节点在二叉AST表示中的相应位置，将数值映射到数值数组表示中的位置。

摘要： 本发明公开了一种源代码保护系统，包括：加密模块，用于对接收的源代码进行加密；主控模块，用于分析源代码的泄露风险并对加密代码进行区分编号，得到编号加密代码；数据备份模块，用于接收并存储来源于主控模块的编号加密代码；调用模块，用于接收来源于主控模块或数据备份模块的编号加密代码，并根据调用需求修改编号加密代码；处理模块，用于接收主控系统的编号加密代码，并将其转换为可编写的加密代码；解码模块，用于将可编写的加密代码进行解密，得到明文数据。本发明还公开了一种源代码加密方法。本申请的系统和方法通过层层加密与混淆，降低了源代码泄露风险，提高源代码的安全。

摘要： 本发明提供一种源代码解析装置、源代码解析方法、计算机可读记录介质，其能够判断程序要素是否具备问题特征。源代码解析装置具备：程序关联性分析部，其解析源代码来对源代码内包含的程序要素彼此的关联性进行分析，生成程序关联性指标信息；逻辑耦合分析部，其使用源代码的变更履历，生成表示容易同时变更的程序要素的组合的信息即逻辑耦合信息；评价部，其至少根据逻辑耦合信息，针对每个程序要素生成包含与源代码的品质有关的评价值的程序要素信息；反模式检测部，其生成反模式信息，该反模式信息用于表示逻辑耦合信息中包含的程序要素中的程序要素信息和程序关联性指标信息分别满足预定条件的程序要素；以及输出部，其输出反模式信息。

摘要： 本发明提供源代码分析方法和源代码分析装置。其提示源代码中包括的应当分割的程序要素。处理器(11)基于源代码(13B)来计算代码度量，基于代码度量来计算Long Method Score，基于代码度量来计算维护性指标，基于Long Method Score来确定应当分割的程序要素，基于子反面模式定义信息，将应当分割的程序要素分类为子反面模式，基于改善类目信息来提示源代码的改善位置。

摘要： 本实用新型提供一种测试单元源代码和功能源代码装置，涉及测试源代码技术领域，包括装置主体，所述装置主体的前端外表面固定连接有输入显示屏，所述输入显示屏的一侧设置有功能按键，所述输入显示屏的另一侧设置有电源开关，所述电源开关的上端设置有指示灯，所述装置主体的一侧外表面开设有数据传输接口，所述装置主体的上端外表面设置有程序显示屏。本实用新型所述的一种测试单元源代码和功能源代码装置，设有支撑机构与调节支座机构，能够在程序显示屏打开后对程序显示屏进行支撑，避免程序显示屏打开后受到碰撞导致程序显示屏与装置主体的连接处折断，并能使装置适应不平稳的台面，带来更好的使用前景。