• 博客(94)
  • 收藏
  • 关注

原创 如何满足医疗设备对安全性和保密性的双重需求?

< CodeSonar 发布最新利用静态分析满足医疗设备对安全性和保密性的白皮书 >与其他行业一样,医疗行业正在迅速走向数字化和自动化。在交换数据或连接传感器的过程中,无线连接变得越来越重要,但这同时也增加了一定的安全风险,比如软件或硬件的故障容易引发潜在的攻击漏洞,形成无法评估的安全隐患,最终威胁患者的生命安全。随着医疗领域研发技术的不断进步,对于医疗设备的合规性相关法规提出了更...

2022-01-25 11:13:24 54

原创 OneSpin 360 DV新版发布,刷新FPGA形式化验证功能体验

360 DV是针对FPGA设计进行功能验证的解决方案。它结合了功能齐全的高性能形式化分析和独特的断言覆盖率评估,消除质量断言生成过程中的猜测,有效提高现有设计和验证流程的生产率。本次更新将为设计团队带来哪些全新体验?一、DV inspect 功能更新● 读写竞争检查说明:如下图所示,仿真结果和上板结果不一致,这是在不同进程中读出和写入信号导致的综合和仿真不匹配问题,现在,OneSpin新增了...

2022-01-25 11:12:56 205

原创 Helix QAC 2020.2新版静态测试工具,最大限度扩展了标准合规性的覆盖范围

最新版本的Helix QAC对静态分析工具的性能和功能进行了许多重大改进,从而确保开发者的软件更加安全,合规和可靠。以下是对Helix QAC最显著新增功能的概述。扩展了C ++,CERT,C Secure,MISRA和AUTOSAR的覆盖范围• 完全支持MISRA C:2012修订版2。• AUTOSAR的覆盖率已提高到91%。• CERT C规则覆盖率已提高到100%。◇ 完全支持CERT C POSIX规则。• CERT C ++覆盖率增加到95%。• ISO / IEC T.

2020-11-12 11:55:41 218

原创 最新版本的CodeSonar改进了功能安全性,支持MISRA,C ++解析和可视化

最新版本的GrammaTech CodeSonar(版本5.3)继续致力于成为静态应用程序安全测试(SAST)的首选提供商,以及成为提高软件内外部安全和软件质量所选择的静态分析工具。该版本具备一些新功能以及兼容性的更新和其他改进。此版本的CodeSonar包括对Android,NetBSD 8,Visual Studio 19,CWE 4.0映射的支持和许多可用性方面的改进。MISRA C / C ++和AUTOSAR C ++ 14CodeSonar 5.3扩展了对MISRA-C,MISRA-C +

2020-07-17 10:51:26 441

原创 ISO 26262 - 基于需求测试以外的考虑因素

随着自动驾驶技术的发展,我们的出行和交通也变得更加便捷,但与此同时汽车电子系统的安全性和可靠性也面临着前所未有的挑战。车辆功能安全标准ISO 26262就在这样的环境和需求下应运而生,而依据ISO 262626标准进行软件开发的需求也在随之增加。在准备和设计阶段,我们除需了解动态测试应满足ISO 26262基于需求的测试以外,我们还需要了解其他哪些内容呢?本课程将主要介绍除基于需求的测试之外,ISO 26262要求在单元和集成测试的目标和测试过程。课程内容包含如何将控制流与数据流验证、等效划分、边界值和.

2020-06-28 17:37:57 181

原创 QAC/QAC++静态软件代码测试分析-试用工具

原PRQA静态测试软件产品线(包括QAC、 QAC++、QA-Verify等),统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全,缩短软件开发所需的时间,HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。HelixQAC:HelixQAC是静态代码分析工具,依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷,因为此时修改代码是最方便也最经济的。Helix QA

2020-06-09 10:42:03 1465

原创 静态测试工具

1、HelixQAC — C C++Helix QAC是静态代码分析工具,依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷,因为此时修改代码是最方便也最经济的。Helix QAC因此自动化强制实施代码编程标准,比如MISRA,保证代码的合规性。http://www.softtest.cn/show/41.html2、Klocwork — C C++ C# JavaKlocwork是针对C、C++、C#和Java编程语言的最准确的代码分析器之一。它是现代化

2020-05-26 17:30:50 915

原创 AADL Inspector 故障树安全分析模块

故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法,也称为故障树或错误树,是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的,并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的,可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。为适应AADL建模领域对复杂系统运行安全性的研究应用,Ellidiss发布了AADL Inspector的新功能:故障树安全分析模块。该模块是Ellidss与A

2020-05-15 17:49:13 367

原创 MISRA C:2012规则1.3和C与C++的弱点

MISRA C是安全使用C编程语言的一套准则,主要使用在安全关键的嵌入式系统中。它的许多规则和指令旨在帮助软件开发人员编写更易于理解和维护的代码。软件开发工作需要团队合作,这些编程风格类的规则是重要的,有益于理解源代码。其他规则禁止进行有风险的设计或已知的不良编程行为。编程风格类规则的一个很好的例子是规则5.3“在内部作用域中声明的标识符不应掩盖在外部作用域中声明的标识符”。这显然是一种关...

2020-04-23 17:28:58 584

原创 CodeSonar网络研讨会

想知道如何最大程度地提高软件开发团队的效率吗?加入旋极信息与合作伙伴GrammaTech,一起参加CodeSonar网络研讨会!参会链接:http://256.so/2jf会议信息:结合SAST,Shift Left,Lean和DevSecOps。会议时间:中国时间:2020年4月30日(星期四)晚 23:00开始美国时间:2020年4月30日(星期四)上午11:00开始...

2020-04-16 17:52:25 109

原创 Klocwork 代码静态分析工具

“借助Klocwork,我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件,并满足客户的期望。”— SCM系统工程经理Klocwork 简介Klocwork是针对C,C ++,C#和Java编程语言的最准确的代码分析器之一。它是一款现代化的敏捷静态代码分析工具,可扩展到任何规模的项目,并在DevOps周期内有效运行。此外,它还通过了TÜV-SÜD的功...

2020-03-25 18:00:15 1139

原创 OneSpin | 解决IC设计中的硬件木马和安全信任问题

跨越5G,人工智能,物联网和汽车领域的40多个组织表示信任和安全困境至关重要。电子系统越来越多的成为了产品和服务的核心。从发电厂到汽车,医疗设备到飞机,智能手机到家用电器,复杂的电子系统实现了前所未有的自动化,性能,安全和保障水平。集成电路(IC)是电子系统的基础,而最为重要的是,需要确保他们完全按照规范和认证进行操作,在这方面它是值得信赖的。但IC的设计,生产和分配容易受到恶意代理的攻击,这些...

2020-03-09 10:56:30 662

原创 QAC静态代码测试工具试用介绍_c/c++

原PRQA静态测试软件产品线(包括QA-C、 QA-C++、QA-Verify等),统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全,缩短软件开发所需的时间,HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。\\HelixQAC:HelixQAC是静态代码分析工具,依据C和C++编码规则自动...

2020-02-26 13:19:24 2194

原创 如何满足医疗设备对安全性和保密性的双重需求?

< CodeSonar 发布最新利用静态分析满足医疗设备对安全性和保密性的白皮书 >与其他行业一样,医疗行业正在迅速走向数字化和自动化。在交换数据或连接传感器的过程中,无线连接变得越来越重要,但这同时也增加了一定的安全风险,比如软件或硬件的故障容易引发潜在的攻击漏洞,形成无法评估的安全隐患,最终威胁患者的生命安全。随着医疗领域研发技术的不断进步,对于医疗设备的合规性相关法规提出了更...

2020-02-25 11:11:44 202

原创 CodeSonar如何帮助无人机查找软件缺陷?

Crazyflie是Bitcraze售卖的可编程无人机,它被设计成为可被修改的并为其操纵装置和操作系统运行的开源软件。特别是这架无人机使用了FreeRTOS作为其实时的操作系统。通过CodeSonar运行Crazyflie的代码,发现Crazyflie中的一个故障由应用程序代码中的一个未初始化变量引起,该变量随后被传递到FreeRTOS API。幸运的是,由于应用程序和RTOS的代码均为可用,C...

2020-02-24 18:42:12 121

原创 智能软件分析平台Embold

在软件开发过程中,我们经常遇如下实际问题。代码审查非常耗时并且每次审查的提交对整个系统会产生怎样的影响是难以理解的。不完整的信息或过于复杂的代码危及项目进度,重要信息可能会被忽略,从而误导开发工作,造成项目的延迟。在后期的开发中如果修复热点问题,为满足项目最初的预想周期,则有可能导致代码质量的下降。新入职的员工影响团队生产力,高级开发人员需要花费一定时间引领他们快速适应并需为其解释项目范围,因此产...

2020-01-20 15:30:27 832

原创 软件缺陷静态分析 CodeSonar 5.2 新版发布

对于使用C和C++构建安全关键软件的开发团队而言,CodeSonar一直是首选的静态分析解决方案。在近期发行的版本中,CodeSonar通过使用开放标准来扩展其语言覆盖范围,并增加了对Java、C#、Objective C和C++、Python以及JavaScript的支持。经过了扩展的CodeSonar可以帮助软件团队执行静态应用程序安全测试(SAST),因此无论是嵌入式还是企业级应用,软件团...

2019-12-11 14:43:14 1026

原创 Cantata9.0 | 全 新 功 能

Cantata 9.0,从2019年10月开始正式发布,它是一个重要的具有全新功能的新版本。此版本引入了对测试驱动开发(TDD)的支持,并增强了Cantata的AutoTest功能,为C ++代码提供了自动测试生成技术。Cantata 9.0还包含许多其他较小的功能增强和修复。发行说明中记录了完整的变更集,包含从4.1版本以来Cantata中的所有变更。最重要的变更突出显示在以下内容。支持测试...

2019-11-11 20:30:13 757 1

原创 嵌入式系统真正安全了吗?[ OneSpin如何为开发团队全面解决IC完整性问题 ]

吉姆·霍根(Jim Hogan)于2019年9月4日下午12:00提交的IC完整性论文 类别:EDA,Onespin,RISC-V功能验证是减少潜伏在半导体产品中的设计漏洞及其相关风险的一个过程。从历史上看,最终产品的市场细分决定了在功能验证中可投入的资金。但是几年前这个长期存在的方程式灾难性地失败了。失败的原因是在于找不到这些漏洞,其中很大的原因是由于嵌入式软件的使用日益增加。与此同时,功能...

2019-11-11 20:29:14 259

原创 CodeSonar通过创新型静态分析增强软件可靠性

“为了帮助软件开发人员解决当今和未来最具挑战性的软件问题,例如故障和网络攻击,我们专注于静态应用程序安全性测试和静态代码分析。”为进一步提高软件的可靠性,GrammaTech公司正在与美国国土安全部(DHS)合作,并在“静态分析现代化程序(STAMP)”的指导下进行尖端研发。GrammaTech首席执行官Teitelbaum说:“DHS要求我们提供能够为静态分析领域增加具有价值的创新性想法。”三...

2019-09-30 15:47:29 264

原创 嵌入式仿真测试平台的应用

随着目前大型复杂武器系统的研制和国家重点预研项目任务越来越多,开发与测试工作越来越重。作为智能化装备的核心,嵌入式软件的比重明显加大,开展自动化的嵌入式软件测试工作,已成为提升装备系统研发质量与研发效率的重要工作。目前,装备嵌入式软件的自动化测试,更多的还是依赖代码级别的白盒测试工具;黑盒动态测试还主要是根据不同的装备需求,研发配套的工装系统,测试效率和测试深度都有很大缺陷。主要表现在以下几点:...

2019-08-01 17:43:39 1281

原创 AUTOSAR | 开放的汽车软件架构标准

伴随着汽车行业的迅猛发展,汽车电子的系统开发对研发效率和研发质量提出了更高的需求,这使得各大汽车厂商、科研院所越来越多的关注到AUTOSAR带来的标准化设计、开发和验证。\AUTOSAR 简介AUTOSAR是AUTOmotive Open System Architecture(汽车开放系统架构)的首字母缩写,其组织在2003年由欧洲汽车制造商、部件供应商和其他电子、半导体及软件系统公司联合...

2019-07-30 15:55:59 2288

原创 Cantata 8.0有哪些新变化

Cantata 8.0 于2018年5月发布,这一重大版本更新包括了重要的新功能和用户界面的改进,这个文档简要介绍了8.0中的主要变化。Cantata 于2018年5月发布,这个重大版本升级包括了重要的新功能,包括自动测试维护、多个嵌入式目标环境下的测试重用以及更灵活的代码插装。8.0也继续在用户界面上进行优化,在保留熟练用户的专家模式界面基础上增加了简单直观的新用户模式。软件开发生命周期...

2019-07-30 15:41:05 417

原创 软件缺陷静态分析CodeSonar

CodeSonar是软件静态缺陷检查和安全性分析工具,帮助团队快速分析和验证代码,包括源代码和二进制代码,识别导致系统故障、可靠性差、系统漏洞或不安全条件的严重漏洞或错误。通过在并发性分析、污染数据流分析和全面检测等技术上的创新,CodeSonar比其他同类型工具发现更为重要的缺陷。\功能特性● 最深层次的静态分析1.采用先进的算法CodeSonar执行统一的数据流和符号分析,检查整个程...

2019-07-29 17:38:23 4155

原创 应用安全静态代码测试工具 | DefenseCode ThunderScan Web Security Scanner

应用程序在发布之前以及之后在每次更新升级时,都应针对安全漏洞进行适当的测试。安全性测试人员固然可以人工完成测试,但明显存在测试效率和测试充分性的问题,复杂程序的人工测试需要花费大量时间,而且即使花费了这么多时间也有可能因为程序的复杂性而遗漏了安全漏洞。而且每一次重要的代码更新因为可能引入新的安全漏洞,所以也应该测试。最佳的解决方案是使用安全测试工具自动化整个应用的安全测试过程。DefenseC...

2019-07-29 17:25:05 450

原创 CodeSonar技术负责人正式加入MISRA委员会参与新版标准开发

GrammaTech技术副总裁Paul Anderson正式成为MISRA委员会一员,他将与其他成员合作开发新版MISRA标准。汽车产业软件可靠性委员会MISRA是为嵌入式控制系统和独立软件安全应用提供世界级领先水平的标准制定服务机构。在20世纪90年代作为英国政府“SafeIT”计划的一个项目成功打造了基于车辆的软件开发指南。迄今为止,其成员已研发出MISRA C和MISRA C++两种语言...

2019-07-29 14:03:25 201

原创 HelixQAC(QAC/QAC++)静态测试工具-软件代码安全漏洞检测工具试用

原PRQA静态测试软件产品线(包括QA-C、 QA-C++、QA-Verify等),统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全,缩短软件开发所需的时间,HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。\\HelixQAC:HelixQAC是静态代码分析工具,依据C和C++编码规则自动...

2019-07-29 13:10:36 3601 2

原创 浅谈1394总线的那点事

随着航空电子技术发展,总线技术已经成为航空电子系统最重要的组成部分。由于航空及航天电子系统的构造变的更加复杂,整个系统的数字化信息量急剧增加,所以传统的RS232、ARINC429、CAN等总线已经不能满足现在新型航空和航天电子系统的需求。1394总线技术是目前较为先进的航空电子总线技术之一,它是在IEEE-1394b协议的基础上进行了修改和约束,提出了AS5643协议。该协议通过数据传输、总线同步和容错等关键技术实现了机载电子系统关于传输实时性、可靠性和确定性等功能要求,使得1394总线能够在军事和飞行器

2022-07-14 17:31:47 216

原创 旋极信息获颁Klocwork&HelixQAC杰出销售奖

旋极信息荣获由Perforce颁发的2021年度Klocwork和HelixQAC静态测试工具杰出销售奖。Perforce成立于1995年,是一家领先的高可扩展性开发和DevOps解决方案提供商。作为Perforce中国区合作伙伴,旋极信息基于对嵌入式软件开发技术的深厚积累,对嵌入式软件测试的流程、方法和技术进行了持续的深入研究。经过多年的发展,目前已在嵌入式软件测试领域拥有核心技术和领军人才。...

2022-06-30 17:07:35 1145

原创 Cantata 9.5版本已正式通过SGS-TÜV认证,符合所有主要软件安全标准

近日,Cantata 9.5版本正式通过 SGS-TÜV Saar GmbH 的认证,可对用 C 和 C++ 编写的安全相关软件进行单元和集成测试。SGS-TÜV Saar GmbH 是领先的第三方功能安全认证机构,由Deutsche Akkreditierungsstelle GmbH (DAkkS)授权。国际软件安全标准要求提供低级别(单元和集成)测试的证据,以获得被测软件的认证。在过去的20年里,SGS-TÜV Saar GmbH 认证Cantata 为在开发安全相关软件过程中的可用软件。......

2022-06-29 13:14:01 55

原创 源代码分析改善客户体验:静态分析工具Klocwork通信行业案例

Klocwork可以实时分析源代码,简化同行代码审查,并延长复杂软件的生命周期。超过900家客户,包括移动设备、消费电子、医疗技术、电信、军事和航空航天领域的最大品牌,已将 Klocwork 纳入其软件开发过程。成千上万的软件开发人员、架构师和开发经理每天依靠Klocwork提高他们的生产力,同时创建更好的软件。..................

2022-06-27 11:21:54 49

原创 C代码单元集成测试培训

课程简介本课程为期2天,涵盖了如何使用Cantata工具来测试C代码,以及在易于使用的Eclipse备忘单的指导下进行动手实践课程示例。讲师会帮助学员解决任何在测试方面的具体问题,并讲解如何在Cantata的使用中应对这些挑战。【日期】2022年5月19日-20日(共2天)【时间】3:00pm-11:00pm 北京时间【地点】在线(Go To Meeting APP-网络课程)【类别】C语言【语言】英语Cantata是围绕C/C++语言的特点而设计的,能够满足开发者进行高效的单元和集成测试的需求。具有一整套

2022-05-06 18:16:38 104

原创 加快程序速度的多种方法

有很多方法可以让你的程序运行得更快。一些方法是基于使用更高效的库,一些方法是以某种更有效的方式使用标准库和语言,而其他方法则包括使用更有效的算法。但有时,即使我们已经应用了所有可能的优化手段,代码性能仍不能令人满意。这时就需要我们调查代码并确保以最有效的方式使用所有可用硬件资源。在这篇文章中,我们介绍了旨在以有效方式使用硬件的软件开发技术,我们将探索 Parallelware Analyzer 工具如何通过充分利用硬件来帮助您提高代码性能。我们将讨论高效使用硬件的几个方面:使用所有可用的CPU内核、使用 G

2022-04-01 18:13:26 714

原创 代码静态分析工具

随着逐渐增加的系统复杂性和不断加快的产品发布周期,静态代码分析工具在整个产品开发过程中的价值也日益凸显,开发人员在每次提交代码之前都会运行一个静态分析工具,在这些缺陷变成威胁之前找到它们,因为这些威胁会让公司耗费更多的成本和时间。下面给大家介绍几款国外的静态分析工具,希望能帮助大家了解各工具的侧重以及查找这些工具的渠道。1、HelixQAC服务商:http://qa-systems.cn/multi/575.html简介:Helix QAC是一款静态代码分析工具,它依据C和C++编码规则自动扫描代

2022-03-10 16:20:15 7792

原创 网络研讨会 | 如何在健壮性C/C++应用程序中使用影响分析和回归测试

传统的测试阶段不足以发现应用程序中可能出现的所有问题。开发项目需要完全精确和严格的持续监控,采用最新的工具和技术以取得明显成效。在不使用回归测试和影响分析技术的情况下开发应用程序会减少代码检查的频率。这将增加代码暴露于错误和漏洞的风险,从而危及应用程序的可靠性和安全性。Adam Mackay(德国软件质量公司QA Systems的集成经理)和 Rafael Taubinger(瑞典软件开发商IAR Systems AB的技术营销专家)是改进安全关键软件开发项目的技术专家。在本次网络研讨会中,他们将为大家讲解

2022-02-24 16:51:04 578

原创 容错设计验证方法-故障注入技术

容错技术是容忍并防范局部错误的决策方法,是提高装备可靠性的重要方法。主要包括诊断技术,在最短的时间内,发现并排除错误;错误防范及错误影响弱化的技术;冗余技术,硬件冗余、软件冗余、时间冗余等。容错技术在高可靠性的关键场合应用的越来越广泛,如何定量去进行容错设计的验证,对装备可靠性的评估是很多厂家面临的问题。本文主要探讨采用故障注入技术,加速系统失效的方法来对容错设计进行验证。 1、故障注入的分类故障注入是采用人为的在目标系统中引入故障的方法,来加速系统的失效,通过观察系统在出现故障之后的行为反应对系统的可靠性

2022-02-22 17:20:49 1437

原创 从误报到信任:静态代码分析工具Klocwork汽车行业案例

Elektrobit(EB)是一家屡获殊荣、富有远见的全球供应商,致力于为汽车行业提供嵌入式互联软件产品和技术服务。作为汽车软件行业的佼佼者,凭借30 多年的从业服务经验,EB 为超过一亿辆汽车逾 10 亿台设备提供支持,并针对汽车的基础软件、互联和安全、自动驾驶、相关工具以及用户体验提供了灵活、创新的解决方案。嵌入式设备是物联网(IoT)的核心,而Elektrobit是嵌入式软件开发的核心。他们为汽车的嵌入式设备提供了HMI技术、导航、电子控制单元(ECU)和软件技术。随着客户对开放性、连接性和集成需求的

2022-02-10 16:26:48 3524

原创 Parallelware Analyzer—专为提高C/C++代码性能的静态分析工具

早期的源代码分析仅限于漏洞、编码标准实施或安全性,甚至可能是这些功能的组合。虽然很重要,但没有采取任何措施来确保编写的代码能够利用芯片制造商在低功耗多核处理器中提供的现代硬件功能。通过使用Parallelware Analyzer,可以利用并行性的优势,以3到4倍的数量级交付速度显著加快应用程序。显然,在航空航天、汽车、电信和半导体等任务和业务关键行业中,C/C++应用程序的好处是巨大的。Parallelware Analyzer的性能优化报告 Parallelware Analyzer提供的性能优化报

2022-01-27 16:02:39 744

原创 SAST 为什么会成为网络安全领域的下一件大事?

根据商业顾问Shelly Palmer的说法,我们大多数人都倾向于无视网络安全,因为IT安全就像是氧气—我们认为这是理所当然的。实际上,企业每时每刻都在遭受网络攻击。换句话说,每天大约有26,000家企业遭受网络攻击。面临风险的不仅是拥有老旧系统的大型机构,还有我们的小企业和企业家们。•  SAST 如何帮助加强网络安全?静态应用程序安全测试 (SAST) 就像是在部队之前清除地雷的战斗工程师。它类似于计算机编译器,因为它将开发人员的高级代码简化为低级语言,只有在这种情况下才能寻找到代码中的漏

2022-01-26 15:52:36 8

原创 CANTATA 9.5版本正式发布

2021年十一月,Cantata 9.5发布。此版本扩展了代码变更管理的能力,提供了新的变更影响分析,有利于更加有效的变更测试;增加了非Eclipse环境的新建工程;安装方式由之前的运行安装程序改为tar/zip安装包。 新的工程向导对于那些使用非Eclipse环境工具链构建的代码来说,在Cantata中建立Eclipse测试工程是比较耗时的事情。用户不得不需要在Eclipse工程中设置他们本来的工具链,由于往往缺少头文件路径、预处理宏等原因,此过程要重复多次构建-设置-构建的步骤。Cantata

2021-11-29 17:50:50 353

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除