期刊文献+
共找到77篇文章
< 1 2 4 >
每页显示 20 50 100
基于种子变异潜力的模糊测试方法 认领
1
作者 王乔 宋礼鹏 《科学技术与工程》 北大核心 2020年第9期3656-3661,共6页
针对覆盖率导向的模糊测试技术在种子筛选时无法体现种子变异价值的问题,提出基于种子变异潜力的适应度函数计算方法,对距离程序起始块近和后继块多的基本块赋予较高权值,追踪种子覆盖路径附近未被覆盖的基本块信息,结合未被覆盖基本块... 针对覆盖率导向的模糊测试技术在种子筛选时无法体现种子变异价值的问题,提出基于种子变异潜力的适应度函数计算方法,对距离程序起始块近和后继块多的基本块赋予较高权值,追踪种子覆盖路径附近未被覆盖的基本块信息,结合未被覆盖基本块权值计算种子适应度,筛选适应度高且资源开销小的种子进行下一代变异。将提出的模糊测试技术与AFL(American fuzzy loop)在LAVA-M数据集和真实Linux程序上进行对比实验,结果表明:本文方法在减小资源开销的同时代码覆盖率、漏洞发现速度、漏洞发现数量有明显提高。证明了上述筛选策略的有效性。 展开更多
关键词 模糊测试 覆盖率导向 基本块 种子筛选 变异潜力
在线阅读 免费下载
计算机程序基因技术初探 认领
2
作者 苏宏 丁建伟 陈周国 《信息技术与网络安全》 2020年第1期19-23,共5页
计算机程序基因技术是在恶意程序不断演化与检测识别技术的对抗博弈中发展起来的,传统的恶意程序检测技术已难以应对恶意程序的快速动态增长趋势,计算机程序基因技术开启了恶意程序检测分析的一个新的思路,从汇编指令层中萃取出计算机... 计算机程序基因技术是在恶意程序不断演化与检测识别技术的对抗博弈中发展起来的,传统的恶意程序检测技术已难以应对恶意程序的快速动态增长趋势,计算机程序基因技术开启了恶意程序检测分析的一个新的思路,从汇编指令层中萃取出计算机程序的真实行为意图,从而对程序进行分析和识别。根据给出的计算机程序基因的定义以及提取方法,可以找出计算机程序最本原的特征,有效提高新型的或变种的恶意程序的分析和检测效率。 展开更多
关键词 静态分析 动态分析 程序基因 基本块
在线阅读 下载PDF
超强通用编译器优化工具 准确率是传统方法的5倍 认领
3
作者 朱建 《计算机与网络》 2020年第2期74-75,共2页
新代码在自家芯片上运行状况如何?英特尔自己都没有别人家的新工具清楚。这就是MIT耗时一年提出的研究成果,名为Ithemal,核心功能也非常简单:能够分析数以百万计自动描述的基本块(计算指令的基本片段),来确切了解不同的芯片机构如何执... 新代码在自家芯片上运行状况如何?英特尔自己都没有别人家的新工具清楚。这就是MIT耗时一年提出的研究成果,名为Ithemal,核心功能也非常简单:能够分析数以百万计自动描述的基本块(计算指令的基本片段),来确切了解不同的芯片机构如何执行计算,效果也非常惊艳。 展开更多
关键词 基本块 英特尔 编译器优化 核心功能 研究成果 代码 芯片 准确率
在线阅读 下载PDF
一种基于标签的程序控制流错误检测方法 认领
4
作者 姚伟 顾晶晶 《计算机技术与发展》 2018年第5期13-16,共4页
如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中,嵌入式系统的计算机受很多因素影响(比如辐射、硬件故障、环境干扰等),从而导致程序出现控制流错误使程序不能正常运行。传统的控制流检测算法具有配置... 如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中,嵌入式系统的计算机受很多因素影响(比如辐射、硬件故障、环境干扰等),从而导致程序出现控制流错误使程序不能正常运行。传统的控制流检测算法具有配置不灵活、滞后性等缺点。对此,介绍了一种针对程序控制流错误的检测方法,该方法对程序进行基本块划分,为每个基本块设置静态标签,采用后继块信息标签,与程序运行时产生的动态标签进行匹配,从而检测控制流错误。每个基本块都在起始处和结束处各进行一次检测判断,双重检测判断可较有效地检测出控制流错误,并且该方法能够在当前基本块发现控制流错误,不延迟到后面的基本块,较有效地解决了基本块间检测的滞后性问题。 展开更多
关键词 控制流错误 基本块 软件检测 结构化标签 非法跳转
在线阅读 下载PDF
基于程序基因的恶意程序预测技术 认领
5
作者 肖达 刘博寒 +2 位作者 崔宝江 王晓晨 张索星 《网络与信息安全学报》 2018年第8期21-30,共10页
随着互联网技术日益成熟,恶意程序呈现出爆发式增长趋势.面对无源码恶意性未知的可执行文件,当前主流恶意程序检测多采用基于相似性的特征检测,缺少对恶意性来源的分析.基于该现状,定义了程序基因概念,设计并实现了通用的程序基因提取方... 随着互联网技术日益成熟,恶意程序呈现出爆发式增长趋势.面对无源码恶意性未知的可执行文件,当前主流恶意程序检测多采用基于相似性的特征检测,缺少对恶意性来源的分析.基于该现状,定义了程序基因概念,设计并实现了通用的程序基因提取方案,提出了基于程序基因的恶意程序预测方法,通过机器学习及深度学习技术,使预测系统具有良好的预测能力,其中深度学习模型准确率达到了99.3%,验证了程序基因理论在恶意程序分析领域的作用. 展开更多
关键词 程序基因 动态分析 基本块 恶意程序预测
在线阅读 免费下载
正确性保证的私有过程建模方法 认领
6
作者 莫启 笪建 +3 位作者 代飞 朱锐 林雷蕾 李彤 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模. 展开更多
关键词 私有过程 基本块 精化规则 接口一致性 正确性
在线阅读 免费下载
从私有过程提取公共过程构建业务协同的方法 认领 被引量:1
7
作者 莫启 代飞 +5 位作者 朱锐 笪建 林雷蕾 李彤 谢仲文 郑明 《计算机研究与发展》 CSCD 北大核心 2017年第9期1892-1908,共17页
业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务... 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析. 展开更多
关键词 业务过程协同 异步消息通信 业务过程模型 基本块 抽取规则集 接口一致性
在线阅读 下载PDF
基于系统函数调用频率与指令基本块的软件胎记 认领 被引量:1
8
作者 张杏 徐江峰 李晓阳 《计算机工程》 CAS CSCD 北大核心 2016年第10期86-90,共5页
软件胎记作为软件独有的内部属性,常被用来检测不同软件之间的相似度。在研究软件胎记的基础上,提出一种将2种不同粒度级的动态胎记相结合的软件胎记提取方法。该方法以程序执行时调用的系统函数及其频率作为粗粒度级胎记,用户自定义函... 软件胎记作为软件独有的内部属性,常被用来检测不同软件之间的相似度。在研究软件胎记的基础上,提出一种将2种不同粒度级的动态胎记相结合的软件胎记提取方法。该方法以程序执行时调用的系统函数及其频率作为粗粒度级胎记,用户自定义函数执行时的指令基本块作为细粒度级胎记,将2种胎记相结合作为软件的最终胎记。仿真实验结果表明,与单一粒度级别的胎记方法相比,该方法提高了软件胎记的可信性和可靠性,具有更强的抗攻击能力。 展开更多
关键词 软件胎记 系统函数 基本块 相似度 可信性 可靠性
在线阅读 下载PDF
基于数据差异化分支签名的条件跳转错误检测算法 认领
9
作者 崔含泽 臧海娟 +1 位作者 张春花 潘勇 《信息技术与信息化》 2016年第11期68-75,共8页
程序控制错误可能会导致严重的程序执行错误。在安全苛求系统中,由于在恶劣环境中,处理器易受到电磁干扰等影响,可能导致处理器运算错误,存在安全隐患。目前对程序控制错误检测的研究主要基于基本块-签名和编码两种方法,基于基本块-签... 程序控制错误可能会导致严重的程序执行错误。在安全苛求系统中,由于在恶劣环境中,处理器易受到电磁干扰等影响,可能导致处理器运算错误,存在安全隐患。目前对程序控制错误检测的研究主要基于基本块-签名和编码两种方法,基于基本块-签名的方法对程序性能影响较小,能检测程序控制错误,但检测分支跳转错误的漏检率较高;基于编码的算法能检测程序控制错误,但性能下降较大。为达到性能和漏检率的折中,本文基于基本块-签名和数据差异化编码思想,提出了分支签名的方法,从而保证分支跳转的正确性。本文采用故障注入及性能测试实验验证算法的漏检率和性能,结果表明:本算法漏检率可达,程序性能平均下降了10.2倍,相较于ANBD编码分支检测算法性能提高9.3倍。 展开更多
关键词 分支签名 数据差异化 错误检测 基本块 控制流
在线阅读 下载PDF
一种面向实时系统的程序基本块指令预取技术? 认领 被引量:3
10
作者 王恩东 倪璠 +2 位作者 陈继承 王洪伟 唐士斌 《软件学报》 EI CSCD 北大核心 2016年第9期2426-2442,共17页
面向通用计算机系统的指令预取技术无法满足实时系统的应用需求,其中一个重要原因是:无效预取引起的指令Cache内容污染使得实时任务WCET评估值不够精确,导致系统可调度性下降,严重影响系统效率.以简化实时任务WCET分析、降低任务WCET... 面向通用计算机系统的指令预取技术无法满足实时系统的应用需求,其中一个重要原因是:无效预取引起的指令Cache内容污染使得实时任务WCET评估值不够精确,导致系统可调度性下降,严重影响系统效率.以简化实时任务WCET分析、降低任务WCET评估值为目标,提出一种基于程序基本块的指令预取方法.该方法以基本块为粒度执行指令预取,避免了传统指令预取技术引入的无效预取;通过简化最坏情况下的指令访问命中/缺失情况判定,简化任务WCET分析过程并优化WCET评估值.实时基准测试程序评估结果表明:与常规无预取方法相比,该预取方法可使实时任务WCET评估值降低约20%,平均执行情况下的指令Cache访问性能提升约10%. 展开更多
关键词 实时系统 最坏情况执行时间 高速缓存性能 指令预取 基本块
在线阅读 下载PDF
基于结构化标签的控制流错误检测算法 认领 被引量:2
11
作者 张鹏 朱利 +2 位作者 杜小智 贺朝会 陈皓 《计算机工程》 CAS CSCD 北大核心 2016年第6期37-42,共6页
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2... 在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。 展开更多
关键词 瞬态故障 控制流错误检测 基本块 结构化标签 故障注入 软件容错
在线阅读 下载PDF
一种控制流基本块的静动态结合反汇编方法 认领
12
作者 唐成华 王璐 +2 位作者 张鑫 王宇 强保华 《小型微型计算机系统》 CSCD 北大核心 2016年第9期1942-1946,共5页
针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对... 针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对代码执行路径可知,继而建立精确的控制流基本块,并最终完成以实际控制流引导的反汇编过程.实验结果表明该方法能有效地提高代码反汇编的准确性和覆盖率,为代码分析提供了一种新的解决途径. 展开更多
关键词 反汇编 控制流图 基本块 中断处理机制
基于处理器硅前性能验证平台的基准程序库设计方法 认领
13
作者 张华亮 刘宏伟 刘天义 《高技术通讯》 CAS CSCD 北大核心 2016年第8期713-718,共6页
提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这... 提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽象的检测点构成了基准程序库。该方法将复杂的处理器内部行为的一致性判断转换为性能的宏观统计分析,充分利用了已有的权威测试基准集,无需重新编写性能验证平台的基准程序,既扩大了验证程序的规模,又节省了大量的劳动,同时可以针对验证样本通过分析系统自动展开验证工作,减少了人工核对的工作量。 展开更多
关键词 基准测试程序集 硅前性能验证 处理器验证 仿真加速器 基本块 验证平台 基准程序库
在线阅读 下载PDF
基于划分的二进制文件相似性比较方法 认领
14
作者 董启海 王亚刚 《计算机应用》 CSCD 北大核心 2015年第10期2896-2900,2944共6页
针对传统文件结构化相似性比较法中采用基本块(BB)一对一映射而造成的巨大时空消耗及基本块比较结果的绝对化问题,提出一种基于划分思想的文件结构化相似性比较方法。该方法首先对用于基本块比较的小素数积法进行改进,通过改进方法将... 针对传统文件结构化相似性比较法中采用基本块(BB)一对一映射而造成的巨大时空消耗及基本块比较结果的绝对化问题,提出一种基于划分思想的文件结构化相似性比较方法。该方法首先对用于基本块比较的小素数积法进行改进,通过改进方法将函数内的基本块进行分类,再结合基本块签名与属性的权重求得基本块间的相似率,从而计算出最终的函数相似率及文件相似率。通过函数相似率比较实验分析,与未考虑划分思想的绝对化基本块比较算法相比,该方法在比较效率及准确率上均有所提升。实验结果表明,该方法在减少比较时间的同时提高了比较准确率,在实际二进制文件相似性比较的应用中更可行。 展开更多
关键词 划分 基本块 小素数积法 签名 二进制文件
在线阅读 下载PDF
利用智能控制流方法的嵌入式软件故障检测 认领
15
作者 周改云 张国平 +1 位作者 吕琼帅 黎远松 《电子技术应用》 北大核心 2015年第10期20-23,共4页
针对现有的嵌入式软件故障检测方法性能低、开销大的缺点,提出一种智能选择检测点的控制流方法,其创新之处主要为:使用变量的频率和基本块的执行频率用作选择重要变量和基本块的两个参数。检测的基本流程是首先过滤器还原标准C语句... 针对现有的嵌入式软件故障检测方法性能低、开销大的缺点,提出一种智能选择检测点的控制流方法,其创新之处主要为:使用变量的频率和基本块的执行频率用作选择重要变量和基本块的两个参数。检测的基本流程是首先过滤器还原标准C语句为伪代码语句,然后扫描仪获取伪代码,并发送它到解析器,进行程序的控制流图提取。最后,解析器提取程序的前后支配树,运用候选块寻找算法进行节点分类,获得块断言和变量。实验结果表明,固化代码中程序执行时间少于RSCFC方法,但是内存开销和代码开销几乎相同,执行时间比率接近1,显著提高故障检测率。 展开更多
关键词 嵌入式软件 智能选择 控制流 内核 基本块
在线阅读 下载PDF
协同仿真中的精确异常保证技术 认领
16
作者 庄宽 蒋烈辉 +1 位作者 李轶民 王飞龙 《计算机工程与设计》 北大核心 2015年第11期2985-2989,共5页
为降低系统仿真软件在精确异常方面的性能开销,提高系统仿真效率,提出一种软硬件协同处理的方法。通过建立基本块与翻译块之间的映射关系,生成BTMT表,利用开源平台的开源特性,修改硬件描述语言,定义新指令并对BTMT表逆向查找,使系统仿... 为降低系统仿真软件在精确异常方面的性能开销,提高系统仿真效率,提出一种软硬件协同处理的方法。通过建立基本块与翻译块之间的映射关系,生成BTMT表,利用开源平台的开源特性,修改硬件描述语言,定义新指令并对BTMT表逆向查找,使系统仿真软件对异常的处理更加快速准确。测试结果表明,通过精确异常的协同实现,能够使系统仿真器更好支持精确异常,在性能上比纯软件实现精确异常有9.16%~14.32%的提升,验证了其可行性与有效性。 展开更多
关键词 系统仿真 精确异常 软硬件协同 自定义指令 基本块
在线阅读 下载PDF
基于覆盖率分析的僵尸网络控制命令发掘方法 认领 被引量:10
17
作者 王志 蔡亚运 +1 位作者 刘露 贾春福 《通信学报》 EI CSCD 北大核心 2014年第1期156-166,共11页
从僵尸程序执行轨迹对二进制代码块的覆盖规律出发,提出了一种僵尸网络控制命令发掘方法。通过分析执行轨迹对代码块的覆盖率特征实现对僵尸网络控制命令空间的发掘,根据代码空间是否被全覆盖来验证发现的僵尸网络命令空间的全面性。... 从僵尸程序执行轨迹对二进制代码块的覆盖规律出发,提出了一种僵尸网络控制命令发掘方法。通过分析执行轨迹对代码块的覆盖率特征实现对僵尸网络控制命令空间的发掘,根据代码空间是否被全覆盖来验证发现的僵尸网络命令空间的全面性。对僵尸网络Zeus、SdBot、AgoBot的执行轨迹进行了代码块覆盖率分析,结果表明,该方法能够快速准确地发掘出僵尸网络的控制命令集合,时间和空间开销小,且该命令集合所对应的执行轨迹可以覆盖僵尸程序95%以上的代码空间。 展开更多
关键词 恶意代码分析 僵尸网络 命令与控制协议 基本块 覆盖率
在线阅读 下载PDF
基于控制流检测的抗错误注入攻击方法 认领
18
作者 黄威 刘恺 +1 位作者 廖望 戴葵 《微电子学与计算机》 CSCD 北大核心 2014年第9期58-62,66共6页
提出了基于控制流检测的抗错误注入攻击,该方法对传统控制流检测技术进行了改进,设计了基于基本块签名和基本块校验的控制流检测算法,解决了传统控制流检测算法的盲区问题,将该方法应用于安全芯片设计,即使在错误注入成功的情况下,也能... 提出了基于控制流检测的抗错误注入攻击,该方法对传统控制流检测技术进行了改进,设计了基于基本块签名和基本块校验的控制流检测算法,解决了传统控制流检测算法的盲区问题,将该方法应用于安全芯片设计,即使在错误注入成功的情况下,也能检测出来. 展开更多
关键词 控制流检测 错误注入 安全芯片 基本块 签名 校验
一种面向SIMD扩展部件的向量化统一架构 认领
19
作者 刘鹏 赵荣彩 +1 位作者 赵博 高伟 《计算机科学》 CSCD 北大核心 2014年第9期28-31,44共5页
随着多媒体应用的普及和高性能计算的需求,越来越多的处理器集成了SIMD扩展.为了针对不同SIMD扩展部件自动生成高效的向量化代码,设计了一套虚拟向量指令集,在此基础上构建了一种面向SIMD扩展部件的向量化统一架构.将输入程序通过向量... 随着多媒体应用的普及和高性能计算的需求,越来越多的处理器集成了SIMD扩展.为了针对不同SIMD扩展部件自动生成高效的向量化代码,设计了一套虚拟向量指令集,在此基础上构建了一种面向SIMD扩展部件的向量化统一架构.将输入程序通过向量识别等阶段转变为虚拟向量指令的中间表示,而后通过向量长度解虚拟化和指令集解虚拟化,将其转变为特定SIMD部件的向量指令集.在申威1600、DSP和Alpha上的实验结果表明:统一架构能够针对3种平台自动变换出高效的向量化代码,在DSP上的加速比要明显优于其它两种平台. 展开更多
关键词 向量化 单指令多数据 解虚拟化 基本块 循环展开
在线阅读 免费下载
基于条件随机场的汉语框架语义角色自动标注 认领 被引量:5
20
作者 宋毅君 王瑞波 +1 位作者 李济洪 李国臣 《中文信息学报》 CSCD 北大核心 2014年第3期36-47,共12页
在给定目标词及其所属框架的条件下,汉语框架语义角色标注可以分为语义角色识别和角色分类两个步骤.该文将此任务通过IOB2标记策略形式化为词序列标注问题,以词为基本标注单元,采用条件随机场模型进行自动标注实验.先对语料使用清华大... 在给定目标词及其所属框架的条件下,汉语框架语义角色标注可以分为语义角色识别和角色分类两个步骤.该文将此任务通过IOB2标记策略形式化为词序列标注问题,以词为基本标注单元,采用条件随机场模型进行自动标注实验.先对语料使用清华大学的基本块自动分析器进行分析,提取出15个块层面的新特征,并将这些特征标记形式化到词序列上.以文献[20]已有的12个词层面特征以及15个块层面特征共同构成候选特征集,采用正交表方法来选择模型的最优特征模板.在与文献[20]相同的语料上,相同的3组2折交叉验证实验下,语义角色标注的总性能的F1-值比文献[20]的F1-值提高了近1%,且在显著水平0.05的t-检验下显著.实验结果表明:(1)基于词序列模型,新加入的15个块层面特征可以显著提高标注模型的性能,但这类特征主要对角色分类有显著作用,对角色识别作用不显著;(2)基于词序列的标注模型显著好于以基本块为标注单元以及以句法成分为标注单元的标注模型. 展开更多
关键词 汉语框架语义知识库 语义角色标注 条件随机场模型 基本块
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部 意见反馈