[软件开发生命周期 ]的搜索结果

...的研究发现，由于容器生命周期短暂且频繁创建销毁，时钟同步不仅影响系统日志的时间戳准确性，还可能对分布式事务处理、集群协调等关键业务逻辑产生潜在风险。 2021年，Docker官方社区发布了一篇深度技术解析文章，详细探讨了容器内部时钟漂移的原因，并提出一种利用Linux内核Clocksource机制改进容器时钟同步的新方案。此外，一些开源项目如Chrony和systemd-timesyncd也开始支持更精细的容器时间同步服务，以确保在多容器环境下所有实例保持高度一致的时间基准。 同时，随着Kubernetes等容器编排工具的普及，其内置的Pod级别的时钟同步机制也成为了研究热点。例如，Kubernetes 1.20版本引入了“chronyd”作为默认的NTP客户端，在集群层面进一步提升了容器间的时间同步能力。 总的来说，面对Docker及容器技术中的时钟同步挑战，开发者和运维人员需要密切关注相关领域的最新进展，结合自身应用场景选择合适的同步策略和技术手段，以确保系统的稳定性和数据的一致性。

...理方式。这项改进使得开发者可以直接在特定目录下读取或写入包内的文件，无需通过添加到sys.path来实现，从而简化了局部模块的使用流程，并提升了安全性。 此外，在大型项目开发中，像虚拟环境（Virtual Environment）这样的工具也越来越受到重视，它允许开发者为每个独立项目创建一个隔离的Python环境，其中包含项目的特定模块及其依赖库，这样可以避免全局Python环境下的模块冲突问题，进一步规范模块存放与使用。 同时，随着开源社区的发展，诸如PyPI（Python Package Index）等第三方模块仓库已成为Python开发者共享和获取模块的重要平台。如何正确地发布和引用这些模块，涉及到模块存放路径、版本控制等一系列复杂问题，值得深入研究和探讨。 对于企业级应用来说，遵循最佳实践如采用模块化设计原则，结合像Conda这样的包管理器以及容器化技术（如Docker），能够更好地实现跨团队协作和持续集成/部署（CI/CD），有效提升Python模块的管理效率和整个软件开发生命周期的质量。 总之，Python模块的存放与管理是一个不断演进的话题，了解最新技术和工具动态，结合实际应用场景进行策略选择和实践操作，有助于提升工作效率，确保代码的可维护性和扩展性。

...与作用域管理对于现代软件开发至关重要。近期，随着游戏引擎Unreal Engine 5对Lua脚本支持的强化，以及许多实时应用和嵌入式系统采用Lua进行轻量级脚本编程，闭包及Upvalue的有效使用成为开发者关注的热点。 实际上，在大型项目中，闭包可能导致内存泄漏或不可预期的行为，特别是当闭包引用的对象不再需要但未被释放时。因此，如何确保Upvalue生命周期管理的正确性，避免由于Upvalue持有不再使用的资源导致的性能下降，是 Lua 开发者必须面对的挑战。 例如，Facebook的开源项目LuaJIT在其最新版本中优化了对闭包和Upvalue的处理机制，以减少内存占用并提高执行效率。通过深入研究此类更新，开发者可以学习到更先进的Lua编程技巧，并了解如何借助这些技术改进自己的代码实践。 此外，对于那些希望深入了解函数式编程范式的开发者而言，不仅限于Lua，其他如JavaScript、Rust等语言对闭包的应用和实现也值得参考。通过对比不同语言对闭包及Upvalue的处理方式，可以更好地理解这一核心概念，并将其灵活运用于解决实际工程问题，提升代码质量和可维护性。

在Java开发领域，Maven作为一款久经考验的项目管理和构建工具，其强大的自动化能力和高度可扩展性对提升开发效率至关重要。随着DevOps和持续集成/持续部署（CI/CD）理念的普及，Maven与Jenkins、Git等工具的深度集成越来越普遍，使得自定义任务和目标不仅限于本地构建环境，更能在整个软件开发生命周期中发挥关键作用。 近期，Apache Maven 4.0版本的发布带来了更多新特性与优化，如支持Java 17、改进了插件管理机制以及增强了构建性能。这为开发者提供了更为高效便捷的方式来创建和管理自定义插件，进一步推动了自动化构建流程的发展。 此外，Maven生态也在不断丰富，各种第三方插件如Nexus Repository Manager用于管理依赖库，SpotBugs用于静态代码分析，都极大地提升了项目的整体质量与安全性。通过深入研究并灵活运用这些工具及插件，开发团队可以实现从项目初始化、编译、测试到打包部署的全流程自动化，从而更好地适应快速迭代的现代软件开发需求。

在软件开发领域，Docker的广泛应用不仅体现在其对应用程序容器化部署的强大支持上，还表现在持续集成和DevOps流程优化中。近期，随着云原生技术的发展，Docker与Kubernetes等编排工具的结合愈发紧密，为构建现代化、可扩展的应用架构提供了坚实基础。 例如，在2022年发布的Docker Desktop 4.3版本中，增强了对Kubernetes集群管理的支持，并改进了镜像构建速度，进一步提升了开发者的工作效率。此外，针对安全问题，Docker也引入了一系列更新，如加强默认的安全配置，以及提供更细粒度的权限控制，以保障容器环境的安全运行。 同时，对于jar应用的部署，业界也涌现出许多基于Docker的最佳实践。比如，通过使用多阶段构建减少最终镜像大小，或者结合Jib、Helm等工具进行自动化部署和版本管理，使得Java应用在Docker环境下的生命周期管理更为便捷高效。 综上所述，理解并掌握Docker在现代软件开发生态中的最新动态与最佳实践，对于提升开发效能和确保应用安全至关重要，值得广大开发者密切关注并深入研究。

...的关键问题后，我们对软件开发中的依赖管理和基础库的重要性有了更深的理解。实际上，近期开源社区就发生了一起关于基础库更新导致全球范围内的大型项目受影响的真实案例：2021年，npm（Node.js的包管理器）生态中一个名为“colors”的流行日志着色库进行了一次破坏性更新，由于其广泛的依赖关系，许多开发者在更新依赖时遭遇了意料之外的问题。 深入解读这一事件，我们可以看到即使是最小的基础组件变动也可能引发蝴蝶效应，影响到整个技术生态链。这也进一步强调了在项目开发与维护过程中，密切关注并及时更新依赖库版本、合理管理软件供应链安全的重要性。同时，为避免类似问题，业界正积极推动采用更严格的依赖锁定机制和更完善的开源组件生命周期管理策略。 此外，对于像zlib这样广泛使用的底层压缩库，其最新版本通常会包含性能优化、安全修复以及对新特性的支持。因此，定期检查并升级这些基础工具库是保持项目健壮性和安全性的重要一环。例如，近期发布的zlib 1.2.12版就包含了多个bug修复和潜在的安全改进，对于使用Tesseract OCR等依赖zlib的应用而言，及时跟进此类更新具有实际意义。

... 1. 引言 在现代软件开发过程中，持续集成（Continuous Integration, CI）作为一种重要的实践策略，它通过自动化构建和测试代码，确保每一次的变更都能够快速、可靠地整合到主分支中。Gradle这款构建工具，可以说是相当灵活、威力强大，在持续集成这个大家伙的工作链中，它可是起着不可或缺的关键作用。本文将深入探讨Gradle如何助力实现高效的持续集成流程，并结合实例进行详细说明。 2. Gradle简介 Gradle是一款基于Groovy或Kotlin DSL的开源构建工具，其灵活性与可扩展性深受开发者喜爱。你知道吗，跟那些老派的Maven和Ant不太一样，Gradle这个小家伙玩得更溜。它支持声明式和命令式混合编程模型，这就意味着你可以用一种既简单又强大的方式来编写构建脚本，就像魔法一样，让你轻松实现各种构建需求。这种特性让Gradle在应对复杂的项目构建难题，管理各种乱七八糟的依赖关系，以及处理多个项目同步构建时，简直就像个超能英雄，表现出色得不得了！尤其在持续集成这种高要求的环境下，它更是能够大显身手，发挥出令人惊艳的作用。 3. Gradle在持续集成中的关键作用 - 自动化构建：Gradle允许我们定义清晰、模块化的构建逻辑，包括编译、打包、测试等任务。例如： groovy task buildProject(type: Copy) { from 'src/main' into 'build/dist' include '/.java' doLast { println '项目已成功构建!' } } 上述代码定义了一个buildProject任务，用于从源码目录复制Java文件到构建输出目录。 - 依赖管理：Gradle拥有先进的依赖管理机制，能自动下载并解析项目所需的库文件，这对于持续集成中的频繁构建至关重要。例如： groovy dependencies { implementation 'org.springframework.boot:spring-boot-starter-web:2.5.4' testImplementation 'junit:junit:4.13.2' } 这段代码声明了项目的运行时依赖以及测试依赖。 - 多项目构建：对于大型项目，Gradle支持多项目构建，可以轻松应对复杂的模块化结构，便于在持续集成环境下按需构建和测试各个模块。 4. Gradle与CI服务器集成 在实际的持续集成流程中，Gradle常与Jenkins、Travis CI、CircleCI等CI服务器无缝集成。比如在Jenkins中，我们可以配置一个Job来执行Gradle的特定构建任务： bash Jenkins Job 配置示例 Invoke Gradle script: gradle clean build 当代码提交后，Jenkins会自动触发此Job，执行Gradle命令完成项目的清理、编译、测试等一系列构建过程。 5. 结论与思考 Gradle凭借其强大的构建能力和出色的灵活性，在持续集成实践中展现出显著优势。无论是把构建流程化繁为简，让依赖管理变得更溜，还是能同时hold住多个项目的构建，都实实在在地让持续集成工作跑得更欢、掌控起来更有底气。随着项目越做越大，复杂度越来越高，要想玩转持续集成，Gradle这门手艺可就得成为每位开发者包包里的必备神器了。理解它，掌握它，就像解锁了一个开发新大陆，让你在构建和部署的道路上走得更稳更快。不过呢，咱们也得把注意力转到提升构建速度、优化缓存策略这些点上，这样才能让持续集成的效果和效率更上一层楼。毕竟，让Gradle在CI中“跑得更快”，才能更好地赋能我们的软件开发生命周期。

...续优化构建流程与提升开发效率的探索不应止步。近期，Apache Maven项目发布了一项重要更新，其中包含了对资源过滤机制的若干改进和增强特性，使得开发者能够更灵活地处理资源配置及属性替换，进一步减少潜在错误的发生。 例如，在最新版本中，Maven引入了更为精细的资源过滤策略控制，允许用户根据文件类型或路径模式进行定制化过滤设置，有效避免了以往因过滤规则冲突导致的问题。同时，新版本增强了特殊字符处理逻辑，不仅支持更多的转义场景，还在一定程度上提高了对非标准占位符识别的智能性，降低了误解析的风险。 此外，结合DevOps和CI/CD的最佳实践，许多团队开始研究如何将Maven资源过滤与环境变量动态注入相结合，以实现不同部署环境下的无缝切换。为此，业界涌现出一批工具和框架，如Jenkins、GitLab CI等，它们通过与Maven深度集成，提供了更加自动化、智能化的资源替换方案，让Resource Filtering在现代软件交付过程中发挥出更大价值。 因此，建议读者关注Maven项目的最新动态，并深入研究相关DevOps工具和技术，以便更好地利用资源过滤功能应对日益复杂的应用场景，从而提升软件开发与运维的整体效能。

...采用不同的编程语言、开发工具和部署策略来构建和维护各个服务，从而提高了系统的可扩展性、可测试性和可维护性。 名词 , 配置管理。 解释 , 配置管理是软件工程中的一个重要概念，它涉及对软件系统配置的控制、记录、报告和管理。在微服务架构下，配置管理变得更加重要，因为每个服务可能有自己的配置需求。Nacos提供了一种集中式的方式来进行配置管理，支持配置的动态更新、版本控制和生命周期管理，帮助开发者更好地管理微服务环境中的各种配置。 名词 , 智能配置推送。 解释 , 智能配置推送是Nacos新版本中引入的一项功能，它可以根据业务需求和系统状态，智能地分析并推送配置变更。这种自动化的过程可以显著减少人工干预的需求，提高配置更新的效率，同时降低错误发生的概率。在微服务环境中，智能配置推送能够确保各个服务快速、准确地接收和应用最新的配置信息，保持系统的稳定运行。

...RabbitMQ可是开发人员心头的宝贝疙瘩。为啥呢？因为它够靠谱，高可用性杠杠的；够灵活，能适应各种需求场景；而且超级好上手，易用性简直是一流。所以啊，开发者们都对它爱不释手，情有独钟！这篇文章，咱们要大聊特聊RabbitMQ里的一个超级实用的亮点——TTL（Time To Live），并且我还会手把手地带你通过实例，把这个功能掰开揉碎了给你看明白喽！ 二、TTL的定义 在RabbitMQ中，TTL指的是消息或者队列的最大存活时间。单位是毫秒。当消息或者队列待在系统里的时间超过我们设定的那个TTL期限，嘿，你就知道啦，它们就会被自动悄悄地清理掉。这种机制就像是咱们家里的自动垃圾分类回收器，能够及时把过期、无用的数据“垃圾”给清理掉，这样一来，就不用担心数据太多把存储空间塞得满满当当，造成“内存不够”的尴尬局面啦。 三、如何设置TTL 在RabbitMQ中，我们可以通过两种方式来设置TTL：一种是在发布消息的时候，为消息属性头中添加属性；另一种是通过API设置消息的TTL属性。下面我们来看一下具体的实现步骤。 1. 在发布消息的时候，为消息属性头中添加属性 php-template 定义消息属性头 props = pika.BasicProperties(content_type='text/plain', delivery_mode=2, headers={'type': 'myapp'}, app_id='myapp', priority=9, timestamp=datetime.utcnow(), expiration=str(ttl / 1000)), 发布消息 channel.basic_publish(exchange='', routing_key='my_queue', body=message, properties=props) 在这个例子中，我们首先定义了一个BasicProperties对象，并设置了它的头部属性。然后，我们在发布消息的时候，将这个对象传递给了basic_publish方法。这样，我们就可以在消息发布的同时，设置消息的TTL属性了。 2. 通过API设置消息的TTL属性 python import pika connection = pika.BlockingConnection(pika.ConnectionParameters('localhost')) channel = connection.channel() 定义消息内容 message = "Hello World!" 设置消息的TTL属性 properties = pika.BasicProperties(expires=ttl) 发送消息 channel.basic_publish(exchange='', routing_key='my_queue', body=message, properties=properties) connection.close() 在这个例子中，我们首先建立了与RabbitMQ服务器的连接，并获取了一个频道。然后，我们定义了一条消息的内容，并设置了它的TTL属性。最后，我们将这条消息发送到了指定的队列。 四、TTL的作用 TTL是一个非常重要的功能，它可以帮助我们解决许多问题。下面是一些常见的应用场景： 1. 清理过期的数据 当我们有大量的数据需要存储的时候，如果没有合理的数据清理策略，数据量会越来越大，最终可能导致存储空间不足。通过调整TTL这个小家伙，我们就能像定时扫除过期杂物一样，定期清理掉那些无效的数据，确保咱们的数据始终保持新鲜有效，而且安全无虞。 2. 控制消息的生命周期 有时候，我们需要控制消息的生命周期，确保消息在特定的时间内被消费或者被删除。通过设置TTL，我们可以精确地控制消息的生命周期，满足各种需求。 3. 避免消息丢失 在某些情况下，由于网络故障或者其他原因，消息可能无法成功发送。这会儿，假如我们没给消息设定TTL（存活时间），那这条消息就会长期赖在队列里头，直到超时了才会被系统自动清理掉。这种情况会导致消息丢失，影响系统的正常运行。通过设置TTL，我们可以有效地防止这种情况的发生。 五、总结 总的来说，TTL是RabbitMQ的一个重要特性，它可以帮助我们更好地管理和维护消息中间件。了解并熟练掌握TTL的玩法，咱们就能在使用RabbitMQ时更加得心应手，这样一来，工作效率自然蹭蹭往上涨。

...部声明，却拥有全局的生命期。今天，咱们就拿“static local variable declared but not defined”这个话题开涮，一起掀开它的神秘面纱。咱们会通过实实在在的代码例子，再加上唠嗑式的探讨方式，把这个概念掰扯得明明白白，让它不再高深莫测。 2. 静态局部变量的基本概念 在C++中，静态局部变量是一个在函数内部声明并带有static关键字修饰的变量。这里的“declared but not defined”并不意味着它没有被初始化或定义，而是强调了其独特的生命周期和初始化规则。普通的局部变量呢，就像临时工一样，一旦函数这个“工地”完工了，它们就消失得无影无踪。但是，静态局部变量可就不一样了，它更像是个有编制的员工，即使函数执行完这次任务，它也不会被“辞退”，反而会保留住自己的“岗位”和“工龄”。等到下次这个函数再次被召唤的时候，它依然坚守在那儿，继续发挥作用。 cpp void func() { static int count = 0; // 声明并初始化静态局部变量count ++count; std::cout << "This is call number: " << count << std::endl; } int main() { for (int i = 0; i < 5; ++i) { func(); // 每次调用func，count都会保留上一次的结果并递增 } return 0; } 运行上述代码，你会发现尽管func()只在每次循环迭代时被调用一次，但count的值会持续累加，这就是静态局部变量的魅力所在。 3. 静态局部变量的初始化时机 静态局部变量仅在其所在的函数首次被执行时进行初始化，并且只会初始化一次。这就像是这么一回事儿，为啥我们把这些玩意儿叫做“声明了但没定义”呢？想象一下，编译器在编译的时候，就仅仅是瞅见了它们的名字（声明），只知道有这么个东西。而真正给它们分配内存、进行初始化这些实实在在的动作，那得等到程序开始跑起来，第一次碰到并执行这个函数时才发生（定义）。这就像是你听说有个朋友要来聚会（声明），但这位朋友具体啥时候到场、坐在哪，得到聚会开始他真正走进门的那一刻（定义）才能确定。 4. 静态局部变量的应用场景 - 计数器：如上面的示例所示，静态局部变量非常适合用于实现无需全局污染的计数器功能。 - 缓存：在某些场合，我们可以利用静态局部变量保存计算结果，避免重复计算，提高效率。 cpp std::string getExpensiveString() { static std::string expensiveResult = calculateExpensiveValue(); return expensiveResult; } - 单例模式：在单例模式的实现中，也会用到静态局部变量来保证在整个程序运行期间，某个类只有一个实例。 5. 结语 静态局部变量这一特性是C++为我们提供的强大工具之一，它在提供局部作用域的同时，赋予了变量持久的生命力。知道怎么灵活运用静态局部变量，就像是给咱们编程时装上了一个秘密武器，可以让代码变得更加聪明、紧凑，从而让程序跑得更溜，写起来也更轻松愉快。不过，值得注意的是，这家伙因为有着独特的生命周期，如果我们跟它“走得太近”，比如过度依赖或者使用不当，就可能引发一些麻烦事儿，比如资源没法及时释放，或者数据竞争等问题。所以在实际开发的时候，咱们得悠着点，小心对待它。让我们带着对静态局部变量的理解，去挖掘更多的C++世界之美吧！

... 2.1 服务实例生命周期管理不当 Consul允许服务实例设置健康检查，如TCP检查、HTTP检查等，以确保服务实例的存活状态。当服务实例连续几次健康检查都挂了的时候，Consul这个小机灵鬼就会觉得这实例已经罢工不干了，然后它会自动把这家伙从名单上划掉。 例如，以下是一个简单的HTTP健康检查配置： json { "service": { "name": "my-service", "port": 8080, "check": { "http": "http://localhost:8080/health-check", "interval": "10s", "timeout": "5s", "failures": 3 } } } 上述配置意味着，如果/health-check接口连续三次在10秒内未响应或返回非成功状态码，Consul就会将该服务实例标记为不健康，并在后续操作中可能将其注销。 2.2 服务实例异常退出或网络波动 若服务实例意外终止（如进程崩溃、资源不足被系统kill等）或者网络抖动导致Consul Agent与服务实例之间的通信中断，也会触发服务实例的自动注销。 2.3 Consul Agent配置问题 Consul Agent的配置也可能是原因之一，例如Agent的 retry_join 参数设置不当，可能导致Agent无法稳定加入集群，从而影响服务注册和心跳维持。 3. 解决思路与实践 3.1 精细化健康检查配置 针对健康检查引发的问题，我们需要结合业务场景合理设置健康检查间隔、超时时间和失败阈值，避免由于短暂的性能波动或同步延迟导致服务实例被误注销。 3.2 强化服务实例稳定性 优化服务实例自身的设计，确保其具有良好的容错能力，尽量减少因异常而退出的情况发生。同时，对网络环境进行优化，保证Consul Agent与服务实例之间稳定的网络连接。 3.3 配置Consul Agent正确加入集群 仔细审查并调整Consul Agent的配置，确保其能准确无误地加入到Consul集群中。在部署云环境时，为了让Agent能够自动重新连接，我们可以灵活运用动态DNS这个小工具，或者直接采用云服务商提供的服务发现机制，这样一来，即使出现问题，Agent也能自己找到回家的路，保持稳定连接。 4. 结语与思考 面对Consul中服务实例频繁自动注销的问题，我们需要像侦探一样，从多个角度抽丝剥茧寻找问题根源。实践中，正确的健康检查策略、稳定的服务实例以及合理的Consul Agent配置缺一不可。这样才行，我们才能打造出一个既结实又稳当的服务发现系统，让Consul在咱们的微服务家族里真正地发挥作用，发挥出它应有的价值。 以上内容只是抛砖引玉，实际情况可能更为复杂多样，解决问题的过程中，我们也需要不断观察、学习、反思与改进，让技术服务于业务，而不是成为业务发展的绊脚石。在这个过程中，每一步的探索都充满了挑战与乐趣，而这正是技术的魅力所在！

..., 微服务架构是一种软件开发技术，它将单一应用程序划分为一组小的、相互独立的服务，每个服务运行在其自身的进程中，服务之间通过API进行通信。这种架构模式鼓励将应用构建为一套小型自治服务，每个服务专注于完成一项业务功能，并可以独立部署和扩展。 Nacos , Nacos是阿里巴巴开源的一款集成了服务发现、配置管理和服务管理于一体的平台。在微服务架构中，Nacos作为中心化的服务发现与配置管理中心，帮助开发者更方便地实现服务治理、动态配置、服务元数据及流量管理等功能，极大地简化了分布式系统的管理和运维工作。 内存泄漏 , 内存泄漏是计算机程序设计中的一个术语，特指程序在申请内存后，由于某种原因未能释放已不再使用的内存空间的现象。随着程序运行时间的增长，这些未释放的内存逐渐累积，可能导致系统可用内存资源耗尽，进而引发系统性能下降甚至崩溃。在文中，提到Nacos访问过程中可能出现内存泄漏问题，需要采取相应措施避免和解决。 垃圾回收 , 垃圾回收（Garbage Collection）是Java等高级编程语言提供的一种自动内存管理机制。当程序中的对象不再被引用时，垃圾回收器会自动识别并回收这部分内存空间，从而减轻程序员手动管理内存的负担。尽管Java有垃圾回收机制，但在特定场景下如对象引用未正确释放，仍可能造成内存泄漏，因此理解并合理利用垃圾回收机制对于预防内存泄漏至关重要。 线程池 , 线程池是一种多线程处理形式，处理过程中将任务添加到队列，然后在创建线程后自动分配给它们。线程池内部维护一定数量的线程，并根据实际需求调整线程的数量。在文章中，Nacos内部使用线程池处理请求，如果线程池管理不当，如线程数量过多或生命周期过长，都可能导致内存泄漏。通过合理设置线程池参数和有效管理线程生命周期，有助于防止此类问题发生。

...关注到单元测试在现代软件开发中的重要地位以及相关技术的最新进展。近期，Spring团队发布了Spring Boot 2.5版本，其中对测试模块进行了多项改进和优化，例如增强了MockMvc功能以支持WebFlux应用的测试，并引入了新的@TestConstructor注解，使得在测试类中自定义构造函数注入更为便捷。 同时，JUnit 5作为目前最活跃的Java测试框架，持续迭代更新，JUnit Lambda、条件测试、参数化测试等功能愈发完善，为开发者提供了更多灵活高效的测试手段。此外，与Mockito、AssertJ等第三方库的无缝整合，使得在SpringBoot项目中实现深度、全面的单元测试变得更为轻松。 值得关注的是，随着DevOps和持续集成/持续部署（CI/CD）理念的普及，自动化测试已经成为高质量软件交付的必备环节。诸如GitHub Actions、Jenkins等工具集成了各类测试框架，可以方便地将单元测试集成到自动化流水线中，确保每次代码变更后都能快速反馈测试结果，有效提升了软件开发生命周期的整体效率和质量保证水平。 综上所述，在实际开发工作中，紧跟SpringBoot和JUnit等主流测试工具和技术的最新动态，深入理解和熟练运用这些工具进行单元测试，对于提升个人编程技能、保障项目质量具有不可忽视的实际意义。

...里的工具可多啦，能让开发者们在写代码的时候，就像盖高楼大厦一样稳稳当当，既安全又可靠。想象一下，你用C++编程，就像是在用魔法，不仅能够创造出超酷的软件，还能让这些软件运行得比闪电还快，稳定性那就更不用说了，简直是无敌的存在！所以啊，如果你是个编程小能手，那C++绝对是你不可错过的神器！在这篇文章中，我们将探讨如何利用C++的特性，特别是资源管理机制，来构建异常安全的程序设计。 第一部分：资源管理的重要性 资源管理是程序设计中不可或缺的一部分，它关乎程序的稳定性和安全性。哎呀，你要是写代码的时候，不小心没把那些用到的资源，比如文件夹的小钥匙、数据库的密码本或者网线插头啥的，都给好好放回原位，那可是大麻烦啊！不光是浪费了电脑里的宝贵空间，程序要是遇到点啥意外，就像没关紧的水龙头，没法好好休息，容易出故障。更糟糕的是，这些乱糟糟的资源可能还会给坏人提供机会，让他们偷偷溜进你的系统里捣乱。所以，记得每次用完资源，都要好好收好，别让它们乱跑！因此，确保资源在不再需要时被正确地释放，对于构建健壮和可靠的软件至关重要。 第二部分：C++中的资源管理方法 C++提供了几种不同的方式来管理资源，包括智能指针、RAII（Resource Acquisition Is Initialization）原则以及手动管理资源的方法。在这篇文章中，我们将重点介绍智能指针，尤其是std::unique_ptr和std::shared_ptr，它们是现代C++中实现资源管理的强大工具。 代码示例 1: 使用 std::unique_ptr 管理资源 cpp include include class Resource { public: Resource() { std::cout << "Resource created." << std::endl; } ~Resource() { std::cout << "Resource destroyed." << std::endl; } }; int main() { std::unique_ptr resource = std::make_unique(); // 使用资源... return 0; } 在这个例子中，当 resource 对象离开作用域时（即函数执行完毕），Resource 的析构函数会被自动调用，确保资源被正确释放。这就是RAII原则的一个简单应用，它使得资源管理变得简洁且易于理解。 代码示例 2: 使用 std::shared_ptr 实现共享所有权 cpp include include class SharedResource { public: SharedResource() { std::cout << "SharedResource created." << std::endl; } ~SharedResource() { std::cout << "SharedResource destroyed." << std::endl; } }; int main() { std::shared_ptr shared_resource1 = std::make_shared(); std::shared_ptr shared_resource2 = shared_resource1; // 共享资源... return 0; } 这里展示了 std::shared_ptr 如何允许多个对象共享对同一资源的所有权。当最后一个持有 shared_resource1 的引用消失时，资源才会被释放。这种机制有助于避免内存泄漏，并确保资源在适当的时候被释放。 第三部分：异常安全的资源管理 在C++中，异常安全的资源管理尤为重要。当程序中包含可能抛出异常的操作时，确保资源在异常发生时也能得到妥善处理，是非常关键的。智能指针提供了一种自然的方式来实现这一点，因为它们会在异常发生时自动释放资源，而无需额外的保护措施。 代码示例 3: 异常安全的资源管理示例 cpp include include include class CriticalResource { public: CriticalResource() { std::cout << "CriticalResource created." << std::endl; } ~CriticalResource() { std::cout << "CriticalResource destroyed." << std::endl; } void criticalOperation() { throw std::runtime_error("An error occurred during critical operation."); } }; int main() { try { std::unique_ptr critical_resource = std::make_unique(); critical_resource->criticalOperation(); } catch (const std::exception& e) { std::cerr << "Exception caught: " << e.what() << std::endl; } return 0; } 在上述代码中，critical_operation 可能会抛出异常。哎呀，你知道的，critical_resource 这个家伙可是被 std::unique_ptr 给罩着呢！这可真是太好了，因为这样，如果程序里突然蹦出个异常来，critical_resource 就能自动被释放掉，不会出现啥乱七八糟、不靠谱的行为。这下子，咱们就不用操心资源没清理干净这种事儿啦！ 第四部分：结论 通过使用C++的智能指针和RAII原则，我们可以轻松地实现异常安全的资源管理，这大大增强了程序的可靠性和稳定性。哎呀，兄弟，你要是想让你的代码跑得顺畅，资源管理这事儿可得好好抓牢！别小瞧了它，这玩意儿能防住好多坑，比如内存漏了或者资源没收好，那程序一不小心就卡死或者出bug，用户体验直接掉分。还有啊，万一程序遇到点啥意外，比如服务器突然断电啥的，资源管理做得好，程序就能像小猫一样，优雅地处理问题，然后自己蹦跶回来，用户一点都感觉不到。这样一来，不光用户体验上去了，系统的稳定性和质量也跟着水涨船高，你说值不值！ 总之，资源管理是构建强大、安全和高效的C++程序的关键。嘿！兄弟，学了这些技术后，你就能像大厨炒菜一样，把程序做得既美味又营养。这样一来，修修补补的工作就少多了，就像不用天天洗碗一样爽快！而且，你的代码就像是一本好书，别人一看就懂，就像看《哈利·波特》一样过瘾。最后，用户得到的服务就像五星级餐厅的餐点，稳定又可靠，他们吃得开心，你也跟着美滋滋！

...操作结束后，无论是否发生异常，都能正确关闭SqlConnection连接。try块内包含可能抛出异常的代码，catch块则用来捕获并处理特定类型的异常，finally块中的代码无论如何都会被执行，常用于资源清理工作，如关闭数据库连接、文件流等。 using()结构 , 在C中，using语句提供了一种更简洁的方式来管理那些实现IDisposable接口的对象生命周期，以确保其Dispose方法在适当的时候被调用，从而释放非托管资源或执行其他清理任务。在本文中，通过将SqlConnection对象置于using语句中，可以自动在离开using代码块时关闭数据库连接，即使在执行过程中遇到异常也能确保资源得到释放。 SqlDataReader , SqlDataReader是.NET框架中System.Data.SqlClient命名空间下的一个类，它提供了一种只进、只读、高性能的方式从SQL Server数据库获取查询结果。在文中，SqlDataReader被用来执行SQL命令并逐行读取返回的数据集，进而将这些数据转换为CategoryInfo对象，并添加到IList集合中进行后续操作。它的特点是按需读取数据，而不是一次性加载所有数据到内存，因此适用于处理大量数据的情形。 CommandBehavior.CloseConnection , 这是SqlCommand.ExecuteReader方法的一个可选参数，当设置此标志时，在SqlDataReader关闭时，会同时关闭与之关联的SqlConnection。在文章中，作者建议通过设置CommandBehavior.CloseConnection，确保在完成数据读取后能自动关闭数据库连接，从而简化了代码并降低了资源泄漏的风险。

...题更难。 其实即便是软件开发领域的大神 Frederick P. Brooks Jr.（《人月神话》的作者）也会有同样的感叹。 “The hardest part of design is deciding what to design.” – 《The design of design》, by Frederick P. Brooks Jr. 决定“不要什么”比“要什么”更难 也许是由于人性的贪婪，对于软件系统我们同样想要更多：更多功能、更好的性能、更好的伸缩性、扩展性等等。作为软件架构师要明白软件架构设计就是一种取舍或平衡。当大家都在往里面加东西的时候，架构师更应该来做这个说“不”的人。 软件设计和定义过程中存在很多取舍，例如： 完善功能和尽早发布的取舍。 伸缩性和性能的取舍。 著名的 CAP 原则，就是一个很好的取舍指导策略。为了更好的取舍，保持架构风格的一致性，在一开始架构师就应该根据系统的实际需求来定义一些取舍的原则，如： 数据一致性拥有最高优先级。 提前发布核心功能优于完整发布等。 非功能性需求决定架构 因为软件是为了满足客户的功能性需求的，所以很多设计人员可能会认为架构是由要实现的功能性需求决定的。但实际上真正决定软件架构的其实是非功能性需求。 架构师要更加关注非功能性需求，常见的非功能性包括：性能，伸缩性，扩展性和可维护性等，甚至还包括团队技术水平和发布时间要求。能实现功能的设计总是有很多，考虑了非功能性需求后才能筛选出最合适的设计。 以上架构模式来自《面向模式的软件架构》的第一卷，这套书多年来一直是架构师的必读经典。面向架构的模式就是为不同的非功能性需求提供了很好的参考和指导。图中的 Micro-Kernel 模式，更加关注可扩展性和可用性（错误隔离）。 “简单”并不“容易” 很多架构师都会常常提到保持简单，但是有时候我们会混淆简单和容易。简单和容易在英语里也是两个词“simple”和“easy”。 “Simple can be harder than complex: You have to work hard to get your thinking clean to make it simple. But it’s worth it in the end because once you get there, you can move mountains. To be truly simple, you have to go really deep.” –SteveJobs 真正的一些简单的方法其实来自于对问题和技术更深入的理解。这些方案往往不是容易获得的、表面上的方法。简单可以说蕴含着一种深入的技巧在其中。 下面我来举一个例子。 首先我们来回顾一下软件生命周期中各个阶段的成本消耗占比。以下是来一个知名统计机构的分析报告。我们可以看到占比最大的是维护部分，对于这一部分的简化将最具有全局意义。 我曾经开发过一个设备管理系统，移动运营商通过这个系统来管理移动设备，实现包括设备的自动注册、固件和软件的同步等管理功能。这些功能是通过一些管理系统与移动设备间的预定义的交互协议来完成的。 电信专家们会根据业务场景及需求来调整和新增这些交互协议。起初我们采用了一种容易实现的方式，即团队中的软件工程会根据电信专家的说明，将协议实现为对应代码。 之后我们很快发现这样的方式，让我们的工作变得没那么简单。 “I believe that the hardest part of software projects, the most common source of project failure, is communication with the customers and users of that software.” –Martin Fowler 正如软件开发大师 MartinFowler 提到的，“沟通”往往是导致软件项目失败的主要原因。前面这个项目最大的问题是在系统上线后的运行维护阶段，电信专家和开发工程师之间会不断就新的协议修改和增加进行持续的沟通，而他们的领域知识和词汇都有很大的差别，这会大大影响沟通的效率。因此这期间系统的运行维护（协议的修改）变得十分艰难，不仅协议更新上线时间慢，而且由于软件工程对于电信协议理解程度有限，很多问题都要在实际上线使用后才能被电信专家发现，导致了很多的交换和反复。 针对上面提到的问题，后来我们和电信专家一起设计了一种协议设计语言（并提供可视化的工具），这种设计语言使用的电信专家所熟悉的词汇。然后通过一个类似于编译器的程序将电信专家定义好的协议模型转换为内存中的 Java 结构。这样整个项目的运行和维护就变得简单高效了，省去了低效的交流和不准确人工转换。 我们可以看到一开始按电信专家的说明直接实现协议是更为容易的办法，但就整个软件生命周期来看却并不是一个简单高效的方法。 永远不要停止编码 架构师也是程序员，代码是软件的最终实现形态，停止编程会逐渐让你忘记作为程序员的感受，更重要的是忘记其中的“痛”，从而容易产生一些不切实际的设计。 大家可能听说过在 Amazon，高级副总裁级别的 Distinguish Engineer（如：James Gosling，Java 之父），他们每年的编码量也非常大，常在 10 万行以上。 风险优先 架构设计很重要的一点是识别可能存在的风险，尤其是非功能性需求实现的风险。因为这些风险往往没有功能性需求这么容易在初期被发现，但修正的代价通常要比修正功能性需求大非常多，甚至可能导致项目的失败，前面我们也提到了非功能性需求决定了架构，如数据一致性要求、响应延迟要求等。 我们应该通过原型或在早期的迭代中确认风险能够通过合理的架构得以解决。 绝对不要把风险放到最后，就算是一个项目要失败也要让它快速失败，这也是一种敏捷。 从“问题”开始，而不是“技术” 技术人员对于新技术的都有着一种与身俱来的激情，总是乐于去学习新技术，同时也更有激情去使用新技术。但是这也同样容易导致一个通病，就是“当我们有一个锤子的时候看什么都是钉子”，使用一些不适合的技术去解决手边的问题，常常会导致简单问题复杂化。 我曾经的一个团队维护过这样一个简单的服务，起初就是一个用 MySQL 作数据存储的简单服务，由团队的一个成员来开发和维护。后来，这位成员对当时新出的 DynamoDB 产生了兴趣，并学习了相关知识。 然后就发生下面这样的事： 用DynamoDB替换了MySQL。 很快发现DynamoDB并不能很好的支持事务特性，在当时只有一个性能极差的客户端类库来支持事物，由于采用客户端方式，引入了大量的额外交互，导致性能差别达7倍之多。这时候，这个同学就采用了当时在NoSQL领域广泛流行的最终一致技术，通过一个Pub-Sub消息队列来实现最终一致（即当某对象的值发生改变后会产生一个事件，然后关注这一改变的逻辑，就会订阅这个通知，并改变于其相关数据，从而实现不同数据的最终一致）。 接着由于DynamoDB无法提供SQL那样方便的查询机制，为了实现数据分析就又引入了EMR/MapReduceJob。 到此，大家可以看到实现一样的功能，但是复杂性大大增加，维护工作也由一个人变成了一个团队。 过度忙碌使你落后 对于 IT 人而言忙碌已成为了习惯，加班常挂在嘴边。“996”工作制似乎也变成了公司高效的标志。而事实上过度的忙碌使你落后。经常遇见一些朋友，在一个公司没日没夜的干了几年，没有留一点学习时间给自己。几年之后倒是对公司越来越“忠诚”了，但忙碌的工作同时也导致了没有时间更新知识，使得自己已经落后了，连跳槽的能力和勇气都失去了。 过度忙碌会导致没有时间学习和更新自己的知识，尤其在这个高速发展的时代。我在工作经历中发现过度繁忙通常会带来以下问题： 缺乏学习导致工作能力没有提升，而面对的问题却变得日益复杂。 技术和业务上没有更大的领先优势，只能被动紧紧追赶。试想一下，要是你都领先同行业五年了，还会在乎通过加班来早一个月发布吗？ 反过来上面这些问题会导致你更加繁忙，进而更没有时间提高自己的技术技能，很快就形成了一个恶性循环。 练过健身的朋友都知道，光靠锻炼是不行的，营养补充和锻炼同样重要。个人技术成长其实也一样，实践和学习是一样重要的，当你在一个领域工作了一段时间以后，工作对你而言就主要是实践了，随着你对该领域的熟悉，能学习的到技术会越来越少。所以每个技术人员都要保证充足的学习时间，否则很容易成为井底之蛙，从而陷入前面提到的恶性循环。 最后，以伟大诗人屈原的诗句和大家共勉：“路漫漫其修远兮，吾将上下而求索“。希望我们大家都可以不忘初心，保持匠心！ 作者简介： 蔡超，Mobvista 技术 VP 兼首席架构师，SpotMax 云服务创始人。拥有超过 15 年的软件开发经验，其中 9 年任世界级 IT 公司软件架构师/首席软件架构师。2017 年加入 Mobvista，任公司技术副总裁及首席架构师，领导公司的数字移动营销平台的开发，该平台完全建立于云计算技术之上，每天处理来自全球不同 region 的超过 600 亿次的请求。 在加入 Mobvista 之前，曾任亚马逊全球直运平台首席架构师，亚马逊（中国）首席架构师，曾领导了亚马逊的全球直运平台的开发，并领导中国团队通过 AI 及云计算技术为中国客户打造更好的本地体验；曾任 HP（中国）移动设备管理系统首席软件架构师，该系统曾是全球最大的无线设备管理系统（OMA DM）（客户包括中国移动，中国联通，中国电信等）；曾任北京天融信网络安全技术公司，首席软件架构师，领导开发的网络安全管理系统（TopAnalyzer）至今仍被政府重要部门及军队广为采用，该系统也曾成功应用于 2008 北京奥运，2010 上海世博等重要事件的网络安全防护。 本篇文章为转载内容。原文链接：https://blog.csdn.net/Honnyee/article/details/111896981。 该文由互联网用户投稿提供，文中观点代表作者本人意见，并不代表本站的立场。 作为信息平台，本站仅提供文章转载服务，并不拥有其所有权，也不对文章内容的真实性、准确性和合法性承担责任。 如发现本文存在侵权、违法、违规或事实不符的情况，请及时联系我们，我们将第一时间进行核实并删除相应内容。

...现这些基础原理在实际开发中的应用广泛且关键。近期，Google开源项目Abseil库就很好地体现了对构造函数和析构函数的高效利用，通过智能指针管理资源生命周期，确保了内存安全，减少了潜在的内存泄漏风险。 此外，随着C++17及后续标准的发布，类模板与友元机制也得到了进一步增强和完善。比如，在C++20中引入了模块（Modules）特性，使得类模板的编译速度大大提高，同时增强了类型安全性，对于大型项目的组织结构优化具有重要意义。友元在现代C++设计模式中仍然发挥着不可替代的作用，特别是在实现组件间深度交互时，如游戏引擎中不同系统间的紧密协作，往往借助友元关系来突破封装限制，实现高效的底层数据访问。 另外，对于对象数组、对象指针以及静态成员的讨论，实则指向了更为复杂的内存管理和对象生命周期问题。近期一篇来自ACM Queue的文章《深入剖析C++内存模型》对此做了深度解读，并探讨了在多线程环境下的同步控制和内存一致性问题，这对于理解并有效利用C++进行高性能并发编程至关重要。 总之，掌握好本文所述的基础知识是至关重要的，而与时俱进地了解最新实践和技术趋势，将有助于我们更高效、安全地运用C++进行软件开发，解决实际工程中的复杂问题。

...的理解深度直接影响着软件开发的质量与效率。在实际工作中，不仅需要掌握上述四种引用类型（强引用、软引用、弱引用和虚引用）的原理及应用场景，还需关注近年来Java虚拟机（JVM）在垃圾回收机制上的新进展和优化策略。 例如，在最新版本的JDK中，G1垃圾收集器已成为默认选项，并引入了ZGC和Shenandoah等低延迟垃圾收集器，它们针对大内存应用环境提供了更高效的内存管理和回收策略。深入理解这些现代垃圾收集器的工作原理和调优手段，有助于开发者在设计大规模并发系统时做出更为合理的技术选型。 同时，对于容器类库的演进也不能忽视。除了文中提到的ConcurrentHashMap和Queue接口外，近年来响应式编程的兴起推动了如Flow API和反应式流Reactive Streams在Java生态中的应用，这些新的数据结构和编程模型同样适用于高并发场景，为解决多线程同步问题提供了新的思路。 此外，关于ThreadLocal导致的内存泄漏问题，开发者应当结合具体业务场景谨慎使用，并时刻关注Java社区对此类问题的解决方案和技术动态。例如，通过及时移除无用的ThreadLocal实例或者采用更安全的设计模式替代，可以有效防止此类内存泄露的发生。 综上所述，不断跟进Java技术的最新发展动态，深入学习并灵活运用内存管理与并发编程的相关知识，是每一位Java开发者持续提升技术水平的关键所在。同时，了解并掌握诸如JDK的新特性、垃圾收集器的发展趋势以及容器类库的更新迭代等内容，将有助于在实践中应对各种复杂情况，构建出高效稳定的应用程序。

...伴随着阿里安全主办的软件供应链安全大赛，我们自身在设计、引导比赛的形式规则的同时，也在做着反思和探究，直接研判诸多方面潜在风险，以及透过业界三方的出题和解题案例分享，展示了行业内一线玩家对问题、解决方案实体化的思路（参见：篇1、篇2、篇3、篇4、篇5。另外，根据近期的一些历史事件，也做了一些深挖和联想，考虑恶意的上游开发者，如何巧妙（或者说，处心积虑）地将问题引入，并在当前的软件供应链生态体系中，造成远比表面上看起来要深远得多的影响（参见：《深挖CVE-2018-10933（libssh服务端校验绕过）兼谈软件供应链真实威胁》）。 以上这些，抛开体系化的设想，只看案例，可能会得到这样的印象：这种威胁，都是由蓄意的上游或第三方参与者造成的；即便在最极端情况下，假使一个大型软件商或开源组织，被发现存在广泛、恶意的上游代码污染，那它顶多也不过相当于“奥创”一样的邪恶寡头，与其划清界限、清除历史包袱即可，虽然可能有阵痛。 可惜，并非如此。 在我们组织比赛的后半程中，对我们面临的这种威胁类型，不断有孤立的事例看似随机地发生，对此我以随笔的方式对它们做了分析和记录，以下与大家分享。 Ⅰ. 从感染到遗传：LibVNC与TightVNC系列漏洞 2018年12月10日晚9:03，OSS漏洞预警平台弹出的一封漏洞披露邮件，引起了我的注意。披露者是卡巴斯基工控系统漏洞研究组的Pavel Cheremushkin。 一些必要背景 VNC是一套屏幕图像分享和远程操作软件，底层通信为RFB协议，由剑桥某实验室开发，后1999年并入AT&T，2002年关停实验室与项目，VNC开源发布。 VNC本被设计用在局域网环境，且诞生背景决定其更倾向研究性质，商用级安全的缺失始终是个问题。后续有若干新的实现软件，如TightVNC、RealVNC，在公众认知中，AT&T版本已死，后起之秀一定程度上修正了问题。 目前各种更优秀的远程控制和分享协议取代了VNC的位置，尽管例如苹果仍然系统內建VNC作为远程方式。但在非桌面领域，VNC还有我们想不到的重要性，比如工控领域需要远程屏幕传输的场景，这也是为什么这系列漏洞作者会关注这一块。 漏洞技术概况 Pavel总结到，在阶段漏洞挖掘中共上报11个漏洞。在披露邮件中描述了其中4个的技术细节，均在协议数据包处理代码中，漏洞类型古典，分别是全局缓冲区溢出、堆溢出和空指针解引用。其中缓冲区溢出类型漏洞可方便构造PoC，实现远程任意代码执行的漏洞利用。 漏洞本身原理简单，也并不是关键。以其中一个为例，Pavel在发现时负责任地向LibVNC作者提交了issue，并跟进漏洞修复过程；在第一次修复之后，复核并指出修复代码无效，给出了有效patch。这个过程是常规操作。 漏洞疑点 有意思的是，在漏洞披露邮件中，Pavel重点谈了自己对这系列漏洞的一些周边发现，也是这里提到的原因。其中，关于存在漏洞的代码，作者表述： 我最初认为，这些问题是libvnc开发者自己代码中的错误，但看起来并非如此。其中有一些（如CoRRE数据处理函数中的堆缓冲区溢出），出现在AT&T实验室1999年的代码中，而后被很多软件开发者原样复制（在Github上搜索一下HandleCoRREBPP函数，你就知道），LibVNC和TightVNC也是如此。 为了证实，翻阅了这部分代码，确实在其中数据处理相关代码文件看到了剑桥和AT&T实验室的文件头GPL声明注释，中国菜刀 这证实这些文件是直接从最初剑桥实验室版本VNC移植过来的，且使用方式是 直接代码包含，而非独立库引用方式。在官方开源发布并停止更新后，LibVNC使用的这部分代码基本没有改动——除了少数变量命名方式的统一，以及本次漏洞修复。通过搜索，我找到了2000年发布的相关代码文件，确认这些文件与LibVNC中引入的原始版本一致。 另外，Pavel同时反馈了TightVNC中相同的问题。TightVNC与LibVNC没有继承和直接引用关系，但上述VNC代码同样被TightVNC使用，问题的模式不约而同。Pavel测试发现在Ubuntu最新版本TightVNC套件（1.3.10版本）中同样存在该问题，上报给当前软件所有者GlavSoft公司，但对方声称目前精力放在不受GPL限制的TightVNC 2.x版本开发中，对开源的1.x版本漏洞代码“可能会进行修复”。看起来，这个问题被踢给了各大Linux发行版社区来焦虑了——如果他们愿意接锅。 问题思考 在披露邮件中，Pavel认为，这些代码bug“如此明显，让人无法相信之前没被人发现过……也许是因为某些特殊理由才始终没得到修复”。 事实上，我们都知道目前存在一些对开源基础软件进行安全扫描的大型项目，例如Google的OSS；同时，仍然存活的开源项目也越来越注重自身代码发布前的安全扫描，Fortify、Coverity的扫描也成为很多项目和平台的标配。在这样一些眼睛注视下，为什么还有这样的问题？我认为就这个具体事例来说，可能有如下两个因素： ·上游已死。仍然在被维护的代码，存在版本更迭，也存在外界的持续关注、漏洞报告和修复、开发的迭代，对于负责人的开发者，持续跟进、评估、同步代码的改动是可能的。但是一旦一份代码走完了生命周期，就像一段史实一样会很少再被改动。 ·对第三方上游代码的无条件信任。我们很多人都有过基础组件、中间件的开发经历，不乏有人使用Coverity开启全部规则进行代码扫描、严格修复所有提示的问题甚至编程规范warning；报告往往很长，其中也包括有源码形式包含的第三方代码中的问题。但是，我们一方面倾向于认为这些被广泛使用的代码不应存在问题（不然早就被人挖过了），一方面考虑这些引用的代码往往是组件或库的形式被使用，应该有其上下文才能认定是否确实有可被利用的漏洞条件，现在单独扫描这部分代码一般出来的都是误报。所以这些代码的问题都容易被忽视。 但是透过这个具体例子，再延伸思考相关的实践，这里最根本的问题可以总结为一个模式： 复制粘贴风险。复制粘贴并不简单意味着剽窃，实际是当前软件领域、互联网行业发展的基础模式，但其中有一些没人能尝试解决的问题： ·在传统代码领域，如C代码中，对第三方代码功能的复用依赖，往往通过直接进行库的引入实现，第三方代码独立而完整，也较容易进行整体更新；这是最简单的情况，只需要所有下游使用者保证仅使用官方版本，跟进官方更新即可；但在实践中很难如此贯彻，这是下节讨论的问题。 ·有些第三方发布的代码，模式就是需要被源码形式包含到其他项目中进行统一编译使用（例如腾讯的开源Json解析库RapidJSON，就是纯C++头文件形式）。在开源领域有如GPL等规约对此进行规范，下游开发者遵循协议，引用代码，强制或可选地显式保留其GPL声明，可以进行使用和更改。这样的源码依赖关系，结合规范化的changelog声明代码改动，侧面也是为开发过程中跟进考虑。但是一个成型的产品，比如企业自有的服务端底层产品、中间件，新版本的发版更新是复杂的过程，开发者在旧版本仍然“功能正常”的情况下往往倾向于不跟进新版本；而上游代码如果进行安全漏洞修复，通常也都只在其最新版本代码中改动，安全修复与功能迭代并存，如果没有类似Linux发行版社区的努力，旧版本代码完全没有干净的安全更新patch可用。 ·在特定场景下，有些开发实践可能不严格遵循开源代码协议限定，引入了GPL等协议保护的代码而不做声明（以规避相关责任），丢失了引入和版本的信息跟踪；在另一些场景下，可能存在对开源代码进行大刀阔斧的修改、剪裁、定制，以符合自身业务的极端需求，但是过多的修改、人员的迭代造成与官方代码严重的失同步，丧失可维护性。 ·更一般的情况是，在开发中，开发者个体往往心照不宣的存在对网上代码文件、代码片段的复制-粘贴操作。被参考的代码，可能有上述的开源代码，也可能有各种Github作者练手项目、技术博客分享的代码片段、正式开源项目仅用来说明用法的不完备示例代码。这些代码的引入完全无迹可寻，即便是作者自己也很难解释用了什么。这种情况下，上面两条认定的那些与官方安全更新失同步的问题同样存在，且引入了独特的风险：被借鉴的代码可能只是原作者随手写的、仅仅是功能成立的片段，甚至可能是恶意作者随意散布的有安全问题的代码。由此，问题进入了最大的发散空间。 在Synopsys下BLACKDUCK软件之前发布的《2018 Open Source Security and Risk Analysis Report》中分析，96%的应用中包含有开源组件和代码，开源代码在应用全部代码中的占比约为57%，78%的应用中在引用的三方开源代码中存在历史漏洞。也就是说，现在互联网上所有厂商开发的软件、应用，其开发人员自己写的代码都是一少部分，多数都是借鉴来的。而这还只是可统计、可追溯的；至于上面提到的非规范的代码引用，如果也纳入进来考虑，三方代码占应用中的比例会上升到多少？曾经有分析认为至少占80%，我们只期望不会更高。 Ⅱ. 从碎片到乱刃：OpenSSH在野后门一览 在进行基础软件梳理时，回忆到反病毒安全软件提供商ESET在2018年十月发布的一份白皮书《THE DARK SIDE OF THE FORSSHE: A landscape of OpenSSH backdoors》。其站在一个具有广泛用户基础的软件提供商角度，给出了一份分析报告，数据和结论超出我们对于当前基础软件使用全景的估量。以下以我的角度对其中一方面进行解读。 一些必要背景 SSH的作用和重要性无需赘言；虽然我们站在传统互联网公司角度，可以认为SSH是通往生产服务器的生命通道，但当前多样化的产业环境已经不止于此（如之前libssh事件中，不幸被我言中的，SSH在网络设备、IoT设备上（如f5）的广泛使用）。 OpenSSH是目前绝大多数SSH服务端的基础软件，有完备的开发团队、发布规范、维护机制，本身是靠谱的。如同绝大多数基础软件开源项目的做法，OpenSSH对漏洞有及时的响应，针对最新版本代码发出安全补丁，但是各大Linux发行版使用的有各种版本的OpenSSH，这些社区自行负责将官方开发者的安全补丁移植到自己系统搭载的低版本代码上。天空彩 白皮书披露的现状 如果你是一个企业的运维管理人员，需要向企业生产服务器安装OpenSSH或者其它基础软件，最简单的方式当然是使用系统的软件管理安装即可。但是有时候，出于迁移成本考虑，可能企业需要在一个旧版本系统上，使用较新版本的OpenSSL、OpenSSH等基础软件，这些系统不提供，需要自行安装；或者需要一个某有种特殊特性的定制版本。这时，可能会选择从某些rpm包集中站下载某些不具名第三方提供的现成的安装包，或者下载非官方的定制化源码本地编译后安装，总之从这里引入了不确定性。 这种不确定性有多大？我们粗估一下，似乎不应成为问题。但这份白皮书给我们看到了鲜活的数据。 ESET研究人员从OpenSSH的一次历史大规模Linux服务端恶意软件Windigo中获得启示，采用某种巧妙的方式，面向在野的服务器进行数据采集，主要是系统与版本、安装的OpenSSH版本信息以及服务端程序文件的一个特殊签名。整理一个签名白名单，包含有所有能搜索到的官方发布二进制版本、各大Linux发行版本各个版本所带的程序文件版本，将这些标定为正常样本进行去除。最终结论是： ·共发现了几百个非白名单版本的OpenSSH服务端程序文件ssh和sshd； ·分析这些样本，将代码部分完全相同，仅仅是数据和配置不同的合并为一类，且分析判定确认有恶意代码的，共归纳为 21个各异的恶意OpenSSH家族； ·在21个恶意家族中，有12个家族在10月份时完全没有被公开发现分析过；而剩余的有一部分使用了历史上披露的恶意代码样本，甚至有源代码； ·所有恶意样本的实现，从实现复杂度、代码混淆和自我保护程度到代码特征有很大跨度的不同，但整体看，目的以偷取用户凭证等敏感信息、回连外传到攻击者为主，其中有的攻击者回连地址已经存在并活跃数年之久； ·这些后门的操控者，既有传统恶意软件黑产人员，也有APT组织； ·所有恶意软件或多或少都在被害主机上有未抹除的痕迹。ESET研究者尝试使用蜜罐引诱出攻击者，但仍有许多未解之谜。这场对抗，仍未取胜。 白皮书用了大篇幅做技术分析报告，此处供细节分析，不展开分析，以下为根据恶意程序复杂度描绘的21个家族图谱： 问题思考 问题引入的可能渠道，我在开头进行了一点推测，主要是由人的原因切入的，除此以外，最可能的是恶意攻击者在利用各种方法入侵目标主机后，主动替换了目标OpenSSH为恶意版本，从而达成攻击持久化操作。但是这些都是止血的安全运维人员该考虑的事情；关键问题是，透过表象，这显露了什么威胁形式？ 这个问题很好回答，之前也曾经反复说过：基础软件碎片化。 如上一章节简单提到，在开发过程中有各种可能的渠道引入开发者不完全了解和信任的代码；在运维过程中也是如此。二者互相作用，造成了软件碎片化的庞杂现状。在企业内部，同一份基础软件库，可能不同的业务线各自定制一份，放到企业私有软件仓库源中，有些会有人持续更新供自己产品使用，有些由系统软件基础设施维护人员单独维护，有些则可能是开发人员临时想起来上传的，他们自己都不记得；后续用到的这个基础软件的开发和团队，在这个源上搜索到已有的库，很大概率会倾向于直接使用，不管来源、是否有质量背书等。长此以往问题会持续发酵。而我们开最坏的脑洞，是否可能有黑产人员入职到内部，提交个恶意基础库之后就走人的可能？现行企业安全开发流程中审核机制的普遍缺失给这留下了空位。 将源码来源碎片化与二进制使用碎片化并起来考虑，我们不难看到一个远远超过OpenSSH事件威胁程度的图景。但这个问题不是仅仅靠开发阶段规约、运维阶段规范、企业内部管控、行业自查、政府监管就可以根除的，最大的问题归根结底两句话： 不可能用一场战役对抗持续威胁；不可能用有限分析对抗无限未知。 Ⅲ. 从自信到自省：RHEL、CentOS backport版本BIND漏洞 2018年12月20日凌晨，在备战冬至的软件供应链安全大赛决赛时，我注意到漏洞预警平台捕获的一封邮件。但这不是一个漏洞初始披露邮件，而是对一个稍早已披露的BIND在RedHat、CentOS发行版上特定版本的1day漏洞CVE-2018-5742，由BIND的官方开发者进行额外信息澄(shuǎi)清(guō)的邮件。 一些必要背景 关于BIND 互联网的一个古老而基础的设施是DNS，这个概念在读者不应陌生。而BIND“是现今互联网上最常使用的DNS软件，使用BIND作为服务器软件的DNS服务器约占所有DNS服务器的九成。BIND现在由互联网系统协会负责开发与维护参考。”所以BIND的基础地位即是如此，因此也一向被大量白帽黑帽反复测试、挖掘漏洞，其开发者大概也一直处在紧绷着应对的处境。 关于ISC和RedHat 说到开发者，上面提到BIND的官方开发者是互联网系统协会（ISC）。ISC是一个老牌非营利组织，目前主要就是BIND和DHCP基础设施的维护者。而BIND本身如同大多数历史悠久的互联网基础开源软件，是4个UCB在校生在DARPA资助下于1984年的实验室产物，直到2012年由ISC接管。 那么RedHat在此中是什么角色呢？这又要提到我之前提到的Linux发行版和自带软件维护策略。Red Hat Enterprise Linux（RHEL）及其社区版CentOS秉持着稳健的软件策略，每个大的发行版本的软件仓库，都只选用最必要且质量久经时间考验的软件版本，哪怕那些版本实在是老掉牙。这不是一种过分的保守，事实证明这种策略往往给RedHat用户在最新漏洞面前提供了保障——代码总是跑得越少，潜在漏洞越多。 但是这有两个关键问题。一方面，如果开源基础软件被发现一例有历史沿革的代码漏洞，那么官方开发者基本都只为其最新代码负责，在当前代码上推出修复补丁。另一方面，互联网基础设施虽然不像其上的应用那样爆发性迭代，但依然持续有一些新特性涌现，其中一些是必不可少的，但同样只在最新代码中提供。两个刚需推动下，各Linux发行版对长期支持版本系统的软件都采用一致的策略，即保持其基础软件在一个固定的版本，但对于这些版本软件的最新漏洞、必要的最新软件特性，由发行版维护者将官方开发者最新代码改动“向后移植”到旧版本代码中，即backport。这就是基础软件的“官宣”碎片化的源头。 讲道理，Linux发行版维护者与社区具有比较靠谱的开发能力和监督机制，backport又基本就是一些复制粘贴工作，应当是很稳当的……但真是如此吗？ CVE-2018-5742漏洞概况 CVE-2018-5742是一个简单的缓冲区溢出类型漏洞，官方评定其漏洞等级moderate，认为危害不大，漏洞修复不积极，披露信息不多，也没有积极给出代码修复patch和新版本rpm包。因为该漏洞仅在设置DEBUG_LEVEL为10以上才会触发，由远程攻击者构造畸形请求造成BIND服务崩溃，在正常的生产环境几乎不可能具有危害，RedHat官方也只是给出了用户自查建议。 这个漏洞只出现在RHEL和CentOS版本7中搭载的BIND 9.9.4-65及之后版本。RedHat同ISC的声明中都证实，这个漏洞的引入原因，是RedHat在尝试将BIND 9.11版本2016年新增的NTA机制向后移植到RedHat 7系中固定搭载的BIND 9.9版本代码时，偶然的代码错误。NTA是DNS安全扩展（DNSSEC）中，用于在特定域关闭DNSSEC校验以避免不必要的校验失败的机制；但这个漏洞不需要对NTA本身有进一步了解。 漏洞具体分析 官方没有给出具体分析，但根据CentOS社区里先前有用户反馈的bug，我得以很容易还原漏洞链路并定位到根本原因。 若干用户共同反馈，其使用的BIND 9.9.4-RedHat-9.9.4-72.el7发生崩溃（coredump），并给出如下的崩溃时调用栈backtrace： 这个调用过程的逻辑为，在9 dns_message_logfmtpacket函数判断当前软件设置是否DEBUG_LEVEL大于10，若是，对用户请求数据包做日志记录，先后调用8 dns_message_totext、7 dns_message_sectiontotext、6 dns_master_rdatasettotext、5 rdataset_totext将请求进行按协议分解分段后写出。 由以上关键调用环节，联动RedHat在9.9.4版本BIND源码包中关于引入NTA特性的源码patch，进行代码分析，很快定位到问题产生的位置，在上述backtrace中的5，masterdump.c文件rdataset_totext函数。漏洞相关代码片段中，RedHat进行backport后，这里引入的代码为： 这里判断对于请求中的注释类型数据，直接通过isc_buffer_putstr宏对缓存进行操作，在BIND工程中自定义维护的缓冲区结构对象target上，附加一字节字符串（一个分号）。而漏洞就是由此产生：isc_buffer_putstr中不做缓冲区边界检查保证，这里在缓冲区已满情况下将造成off-by-one溢出，并触发了缓冲区实现代码中的assertion。 而ISC上游官方版本的代码在这里是怎么写的呢？找到ISC版本BIND 9.11代码，这里是这样的： 这里可以看到，官方代码在做同样的“附加一个分号”这个操作时，审慎的使用了做缓冲区剩余空间校验的str_totext函数，并额外做返回值成功校验。而上述提到的str_totext函数与RETERR宏，在移植版本的masterdump.c中，RedHat开发者也都做了保留。但是，查看代码上下文发现，在RedHat开发者进行代码移植过程中，对官方代码进行了功能上的若干剪裁，包括一些细分数据类型记录的支持；而这里对缓冲区写入一字节，也许开发者完全没想到溢出的可能，所以自作主张地简化了代码调用过程。 问题思考 这个漏洞本身几乎没什么危害，但是背后足以引起思考。 没有人在“借”别人代码时能不出错 不同于之前章节提到的那种场景——将代码文件或片段复制到自己类似的代码上下文借用——backport作为一种官方且成熟的做法，借用的代码来源、粘贴到的代码上下文，是具有同源属性的，而且开发者一般是追求稳定性优先的社区开发人员，似乎质量应该有足够保障。但是这里的关键问题是：代码总要有一手、充分的语义理解，才能有可信的使用保障；因此，只要是处理他人的代码，因为不够理解而错误使用的风险，只可能减小，没办法消除。 如上分析，本次漏洞的产生看似只是做代码移植的开发者“自作主张”之下“改错了”。但是更广泛且可能的情况是，原始开发者在版本迭代中引入或更新大量基础数据结构、API的定义，并用在新的特性实现代码中；而后向移植开发人员仅需要最小规模的功能代码，所以会对增量代码进行一定规模的修改、剪裁、还原，以此适应旧版本基本代码。这些过程同样伴随着第三方开发人员不可避免的“望文生义”，以及随之而来的风险。后向移植操作也同样助长了软件碎片化过程，其中每一个碎片都存在这样的问题；每一个碎片在自身生命周期也将有持续性影响。 多级复制粘贴无异于雪上加霜 这里简单探讨的是企业通行的系统和基础软件建设实践。一些国内外厂商和社区发布的定制化Linux发行版，本身是有其它发行版，如CentOS特定版本渊源的，在基础软件上即便同其上游发行版最新版本间也存在断层滞后。RedHat相对于基础软件开发者之间已经隔了一层backport，而我们则人为制造了二级风险。 在很多基础而关键的软件上，企业系统基础设施的维护者出于与RedHat类似的初衷，往往会决定自行backport一份拷贝；通过早年心脏滴血事件的洗礼，即暴露出来OpenSSL一个例子。无论是需要RHEL还没来得及移植的新版本功能特性，还是出于对特殊使用上下文场景中更高执行效率的追求，企业都可能自行对RHEL上基础软件源码包进行修改定制重打包。这个过程除了将风险幂次放大外，也进一步加深了代码的不可解释性（包括基础软件开发人员流动性带来的不可解释）。 Ⅳ. 从武功到死穴：从systemd-journald信息泄露一窥API误用 1月10日凌晨两点，漏洞预警平台爬收取一封漏洞披露邮件。披露者是Qualys，那就铁定是重型发布了。最后看披露漏洞的目标，systemd？这就非常有意思了。 一些必要背景 systemd是什么，不好简单回答。Linux上面软件命名，习惯以某软件名后带个‘d’表示后台守护管理程序；所以systemd就可以说是整个系统的看守吧。而即便现在描述了systemd是什么，可能也很快会落伍，因为其初始及核心开发者Lennart Poettering（供职于Red Hat）描述它是“永无开发完结完整、始终跟进技术进展的、统一所有发行版无止境的差异”的一种底层软件。笼统讲有三个作用：中央化系统及设置管理；其它软件开发的基础框架；应用程序和系统内核之间的胶水。如今几乎所有Linux发行版已经默认提供systemd，包括RHEL/CentOS 7及后续版本。总之很基础、很底层、很重要就对了。systemd本体是个主要实现init系统的框架，但还有若干关键组件完成其它工作；这次被爆漏洞的是其journald组件，是负责系统事件日志记录的看守程序。 额外地还想简单提一句Qualys这个公司。该公司创立于1999年，官方介绍为信息安全与云安全解决方案企业，to B的安全业务非常全面，有些也是国内企业很少有布局的方面；例如上面提到的涉及碎片化和代码移植过程的历史漏洞移动，也在其漏洞管理解决方案中有所体现。但是我们对这家公司粗浅的了解来源于其安全研究团队近几年的发声，这两年间发布过的，包括有『stack clash』、『sudo get_tty_name提权』、『OpenSSH信息泄露与堆溢出』、『GHOST：glibc gethostbyname缓冲区溢出』等大新闻（仅截至2017年年中）。从中可见，这个研究团队专门啃硬骨头，而且还总能开拓出来新的啃食方式，往往爆出来一些别人没想到的新漏洞类型。从这个角度，再联想之前刷爆朋友圈的《安全研究者的自我修养》所倡导的“通过看历史漏洞、看别人的最新成果去举一反三”的理念，可见差距。 CVE-2018-16866漏洞详情 这次漏洞披露，打包了三个漏洞： ·16864和16865是内存破坏类型 ·16866是信息泄露 ·而16865和16866两个漏洞组和利用可以拿到root shell。 漏洞分析已经在披露中写的很详细了，这里不复述；而针对16866的漏洞成因来龙去脉，Qualys跟踪的结果留下了一点想象和反思空间，我们来看一下。 漏洞相关代码片段是这样的（漏洞修复前）： 读者可以先肉眼过一遍这段代码有什么问题。实际上我一开始也没看出来，向下读才恍然大悟。 这段代码中，外部信息输入通过buf传入做记录处理。输入数据一般包含有空白字符间隔，需要分隔开逐个记录，有效的分隔符包括空格、制表符、回车、换行，代码中将其写入常量字符串；在逐字符扫描输入数据字符串时，将当前字符使用strchr在上述间隔符字符串中检索是否匹配，以此判断是否为间隔符；在240行，通过这样的判断，跳过记录单元字符串的头部连续空白字符。 但是问题在于，strchr这个极其基础的字符串处理函数，对于C字符串终止字符'\0'的处理上有个坑：'\0'也被认为是被检索字符串当中的一个有效字符。所以在240行，当当前扫描到的字符为字符串末尾的NULL时，strchr返回的是WHITESPACE常量字符串的终止位置而非NULL，这导致了越界。 看起来，这是一个典型的问题：API误用（API mis-use），只不过这个被误用的库函数有点太基础，让我忍不住想是不是还会有大量的类似漏洞……当然也反思我自己写的代码是不是也有同样情况，然而略一思考就释然了——我那么笨的代码都用for循环加if判断了:) 漏洞引入和消除历史 有意思的是，Qualys研究人员很贴心地替我做了一步漏洞成因溯源，这才是单独提这个漏洞的原因。漏洞的引入是在2015年的一个commit中： 在GitHub中，定位到上述2015年的commit信息，这里commit的备注信息为： journald: do not strip leading whitespace from messages. Keep leading whitespace for compatibility with older syslog implementations. Also useful when piping formatted output to the logger command. Keep removing trailing whitespace. OK，看起来是一个兼容性调整，对记录信息不再跳过开头所有连续空白字符，只不过用strchr的简洁写法比较突出开发者精炼的开发风格（并不），说得过去。 之后在2018年八月的一个当时尚未推正式版的另一次commit中被修复了，先是还原成了ec5ff4那次commit之前的写法，然后改成了加校验的方式： 虽然Qualys研究者认为上述的修改是“无心插柳”的改动，但是在GitHub可以看到，a6aadf这次commit是因为有外部用户反馈了输入数据为单个冒号情况下journald堆溢出崩溃的issue，才由开发者有目的性地修复的；而之后在859510这个commit再次改动回来，理由是待记录的消息都是使用单个空格作为间隔符的，而上一个commit粗暴地去掉了这种协议兼容性特性。 如果没有以上纠结的修改和改回历史，也许我会倾向于怀疑，在最开始漏洞引入的那个commit，既然改动代码没有新增功能特性、没有解决什么问题（毕竟其后三年，这个改动的代码也没有被反映issue），也并非出于代码规范等考虑，那么这么轻描淡写的一次提交，难免有人为蓄意引入漏洞的嫌疑。当然，看到几次修复的原因，这种可能性就不大了，虽然大家仍可以保留意见。但是抛开是否人为这个因素，单纯从代码的漏洞成因看，一个传统但躲不开的问题仍值得探讨：API误用。 API误用：程序员何苦为难程序员 如果之前的章节给读者留下了我反对代码模块化和复用的印象，那么这里需要正名一下，我们认可这是当下开发实践不可避免的趋势，也增进了社会开发速度。而API的设计决定了写代码和用代码的双方“舒适度”的问题，由此而来的API误用问题，也是一直被当做单纯的软件工程课题讨论。在此方面个人并没有什么研究，自然也没办法系统地给出分类和学术方案，只是谈一下自己的经验和想法。 一篇比较新的学术文章总结了API误用的研究，其中一个独立章节专门分析Java密码学组件API误用的实际，当中引述之前论文认为，密码学API是非常容易被误用的，比如对期望输入数据（数据类型，数据来源，编码形式）要求的混淆，API的必需调用次序和依赖缺失（比如缺少或冗余多次调用了初始化函数、主动资源回收函数）等。凑巧在此方面我有一点体会：曾经因为业务方需要，需要使用C++对一个Java的密码基础中间件做移植。Java对密码学组件支持，有原生的JDK模块和权威的BouncyCastle包可用；而C/C++只能使用第三方库，考虑到系统平台最大兼容和最小代码量，使用Linux平台默认自带的OpenSSL的密码套件。但在开发过程中感受到了OpenSSL满满的恶意：其中的API设计不可谓不反人类，很多参数没有明确的说明（比如同样是表示长度的函数参数，可能在不同地方分别以字节/比特/分组数为计数单位）；函数的线程安全没有任何解释标注，需要自行试验；不清楚函数执行之后，是其自行做了资源释放还是需要有另外API做gc，不知道资源释放操作时是否规规矩矩地先擦除后释放……此类问题不一而足，导致经过了漫长的测试之后，这份中间件才提供出来供使用。而在业务场景中，还会存在比如其它语言调用的情形，这些又暴露出来OpenSSL API误用的一些完全无从参考的问题。这一切都成为了噩梦；当然这无法为我自己开解是个不称职开发的指责，但仅就OpenSSL而言其API设计之恶劣也是始终被人诟病的问题，也是之后其他替代者宣称改进的地方。 当然，问题是上下游都脱不了干系的。我们自己作为高速迭代中的开发人员，对于二方、三方提供的中间件、API，又有多少人能自信地说自己仔细、认真地阅读过开发指南和API、规范说明呢？做过通用产品技术运营的朋友可能很容易理解，自己产品的直接用户日常抛出不看文档的愚蠢问题带来的困扰。对于密码学套件，这个问题还好办一些，毕竟如果在没有背景知识的情况下对API望文生义地一通调用，绝大多数情况下都会以抛异常形式告终；但还是有很多情况，API误用埋下的是长期隐患。 不是所有API误用情形最终都有机会发展成为可利用的安全漏洞，但作为一个由人的因素引入的风险，这将长期存在并困扰软件供应链（虽然对安全研究者、黑客与白帽子是很欣慰的事情）。可惜，传统的白盒代码扫描能力，基于对代码语义的理解和构建，但是涉及到API则需要预先的抽象，这一点目前似乎仍然是需要人工干预的事情；或者轻量级一点的方案，可以case by case地分析，为所有可能被误用的API建模并单独扫描，这自然也有很强局限性。在一个很底层可信的开发者还对C标准库API存在误用的现实内，我们需要更多的思考才能说接下来的解法。 Ⅴ. 从规则到陷阱：NASA JIRA误配置致信息泄露血案 软件的定义包括了代码组成的程序，以及相关的配置、文档等。当我们说软件的漏洞、风险时，往往只聚焦在其中的代码中；关于软件供应链安全风险，我们的比赛、前面分析的例子也都聚焦在了代码的问题；但是真正的威胁都来源于不可思议之处，那么代码之外有没有可能存在来源于上游的威胁呢？这里就借助实例来探讨一下，在“配置”当中可能栽倒的坑。 引子：发不到500英里以外的邮件？ 让我们先从一个轻松愉快的小例子引入。这个例子初见于Linux中国的一篇译文。 简单说，作者描述了这么一个让人啼笑皆非的问题：单位的邮件服务器发送邮件，发送目标距离本地500英里范围之外的一律失败，邮件就像悠悠球一样只能飞出一定距离。这个问题本身让描述者感到尴尬，就像一个技术人员被老板问到“为什么从家里笔记本上Ctrl-C后不能在公司台式机上Ctrl-V”一样。 经过令人窒息的分析操作后，笔者定位到了问题原因：笔者作为负责的系统管理员，把SunOS默认安装的Senmail从老旧的版本5升级到了成熟的版本8，且对应于新版本诸多的新特性进行了对应配置，写入配置文件sendmail.cf；但第三方服务顾问在对单位系统进行打补丁升级维护时，将系统软件“升级”到了系统提供的最新版本，因此将Sendmail实际回退到了版本5，却为了软件行为一致性，原样保留了高版本使用的配置文件。但Sendmail并没有在大版本间保证配置文件兼容性，这导致很多版本5所需的配置项不存在于保留下来的sendmail.cf文件中，程序按默认值0处理；最终引起问题的就是，邮件服务器与接收端通信的超时时间配置项，当取默认配置值0时，邮件服务器在1个单位时间（约3毫秒）内没有收到网络回包即认为超时，而这3毫秒仅够电信号打来回飞出500英里。 这个“故事”可能会给技术人员一点警醒，错误的配置会导致预期之外的软件行为，但是配置如何会引入软件供应链方向的安全风险呢？这就引出了下一个重磅实例。 JIRA配置错误致NASA敏感信息泄露案例 我们都听过一个事情，马云在带队考察美国公司期间问Google CEO Larry Page自视谁为竞争对手，Larry的回答是NASA，因为最优秀的工程师都被NASA的梦想吸引过去了。由此我们显然能窥见NASA的技术水位之高，这样的人才团队大概至少是不会犯什么低级错误的。 但也许需要重新定义“低级错误”……1月11日一篇技术文章披露，NASA某官网部署使用的缺陷跟踪管理系统JIRA存在错误的配置，可分别泄漏内部员工（JIRA系统用户）的全部用户名和邮件地址，以及内部项目和团队名称到公众，如下： 问题的原因解释起来也非常简单：JIRA系统的过滤器和配置面板中，对于数据可见性的配置选项分别选定为All users和Everyone时，系统管理人员想当然地认为这意味着将数据对所有“系统用户”开放查看，但是JIRA的这两个选项的真实效果逆天，是面向“任意人”开放，即不限于系统登录用户，而是任何查看页面的人员。看到这里，我不厚道地笑了……“All users”并不意味着“All ‘users’”，意不意外，惊不惊喜？ 但是这种字面上把戏，为什么没有引起NASA工程师的注意呢，难道这样逆天的配置项没有在产品手册文档中加粗标红提示吗？本着为JIRA产品设计找回尊严的态度，我深入挖掘了一下官方说明，果然在Atlassian官方的一份confluence文档（看起来更像是一份增补的FAQ）中找到了相关说明： 所有未登录访客访问时，系统默认认定他们是匿名anonymous用户，所以各种权限配置中的all users或anyone显然应该将匿名用户包括在内。在7.2及之后版本中，则提供了“所有登录用户”的选项。 可以说是非常严谨且贴心了。比较讽刺的是，在我们的软件供应链安全大赛·C源代码赛季期间，我们设计圈定的恶意代码攻击目标还包括JIRA相关的敏感信息的窃取，但是却想不到有这么简单方便的方式，不动一行代码就可以从JIRA中偷走数据。 软件的使用，你“配”吗？ 无论是开放的代码还是成型的产品，我们在使用外部软件的时候，都是处于软件供应链下游的消费者角色，为了要充分理解上游开发和产品的真实细节意图，需要我们付出多大的努力才够“资格”？ 上一章节我们讨论过源码使用中必要细节信息缺失造成的“API误用”问题，而软件配置上的“误用”问题则复杂多样得多。从可控程度上讨论，至少有这几种因素定义了这个问题： ·软件用户对必要配置的现有文档缺少了解。这是最简单的场景，但又是完全不可避免的，这一点上我们所有有开发、产品或运营角色经验的应该都曾经体会过向不管不顾用户答疑的痛苦，而所有软件使用者也可以反省一下对所有软件的使用是否都以完整细致的文档阅读作为上手的准备工作，所以不必多说。 ·软件拥有者对配置条目缺少必要明确说明文档。就JIRA的例子而言，将NASA工程师归为上一条错误有些冤枉，而将JIRA归为这条更加合适。在边角但重要问题上的说明通过社区而非官方文档形式发布是一种不负责任的做法，但未引发安全事件的情况下还有多少这样的问题被默默隐藏呢？我们没办法要求在使用软件之前所有用户将软件相关所有文档、社区问答实现全部覆盖。这个问题范围内一个代表性例子是对配置项的默认值以及对应效果的说明缺失。 ·配置文件版本兼容性带来的误配置和安全问题。实际上，上面的SunOS Sendmail案例足以点出这个问题的存在性，但是在真实场景下，很可能不会以这么戏剧性形式出现。在企业的系统运维中，系统的版本迭代常见，但为软件行为一致性，配置的跨版本迁移是不可避免的操作；而且软件的更新迭代也不只会由系统更新推动，还有大量出于业务性能要求而主动进行的定制化升级，对于中小企业基础设施建设似乎是一个没怎么被提及过的问题。 ·配置项组合冲突问题。尽管对于单个配置项可能明确行为与影响，但是特定的配置项搭配可能造成不可预知的效果。这完全有可能是由于开发者与用户在信息不对等的情况下产生：开发者认为用户应该具有必需的背景知识，做了用户应当具备规避配置冲突能力的假设。一个例子是，对称密码算法在使用ECB、CBC分组工作模式时，从密码算法上要求输入数据长度必须是分组大小的整倍数，但如果用户搭配配置了秘钥对数据不做补齐（nopadding），则引入了非确定性行为：如果密码算法库对这种组合配置按某种默认补齐方式操作数据则会引起歧义，但如果在算法库代码层面对这种组合抛出错误则直接影响业务。 ·程序对配置项处理过程的潜在暗箱操作。这区别于简单的未文档化配置项行为，仅特指可能存在的蓄意、恶意行为。从某种意义上，上述“All users”也可以认为是这样的一种陷阱，通过浅层次暗示，引导用户做出错误且可能引起问题的配置。另一种情况是特定配置组合情况下触发恶意代码的行为，这种触发条件将使恶意代码具有规避检测的能力，且在用户基数上具有一定概率的用户命中率。当然这种情况由官方开发者直接引入的可能性很低，但是在众包开发的情况下如果存在，那么扫描方案是很难检测的。 Ⅵ. 从逆流到暗流：恶意代码溯源后的挑战 如果说前面所说的种种威胁都是面向关键目标和核心系统应该思考的问题，那么最后要抛出一个会把所有人拉进赛场的理由。除了前面所有那些在软件供应链下游被动污染受害的情况，还有一种情形：你有迹可循的代码，也许在不经意间会“反哺”到黑色产业链甚至特殊武器中；而现在研究用于对程序进行分析和溯源的技术，则会让你陷入百口莫辩的境地。 案例：黑产代码模块溯源疑云 1月29日，猎豹安全团队发布技术分析通报文章《电信、百度客户端源码疑遭泄漏，驱魔家族窃取隐私再起波澜》，矛头直指黑产上游的恶意信息窃取代码模块，认定其代码与两方产品存在微妙的关联：中国电信旗下“桌面3D动态天气”等多款软件，以及百度旗下“百度杀毒”等软件（已不可访问）。 文章中举证有三个关键点。 首先最直观的，是三者使用了相同的特征字符串、私有文件路径、自定义内部数据字段格式； 其次，在关键代码位置，三者在二进制程序汇编代码层面具有高度相似性； 最终，在一定范围的非通用程序逻辑上，三者在经过反汇编后的代码语义上显示出明显的雷同，并提供了如下两图佐证（图片来源）： 文章指出的涉事相关软件已经下线，对于上述样本文件的相似度试验暂不做复现，且无法求证存在相似、疑似同源的代码在三者中占比数据。对于上述指出的代码雷同现象，猎豹安全团队认为： 我们怀疑该病毒模块的作者通过某种渠道(比如“曾经就职”)，掌握有中国电信旗下部分客户端/服务端源码，并加以改造用于制作窃取用户隐私的病毒，另外在该病毒模块的代码中，我们还发现“百度”旗下部分客户端的基础调试日志函数库代码痕迹，整个“驱魔”病毒家族疑点重重，其制作传播背景愈发扑朔迷离。 这样的推断，固然有过于直接的依据（例如三款代码中均使用含有“baidu”字样的特征注册表项）；但更进一步地，需要注意到，三个样本在所指出的代码位置，具有直观可见的二进制汇编代码结构的相同，考虑到如果仅仅是恶意代码开发者先逆向另外两份代码后借鉴了代码逻辑，那么在面临反编译、代码上下文适配重构、跨编译器和选项的编译结果差异等诸多不确定环节，仍能保持二进制代码的雷同，似乎确实是只有从根本上的源代码泄漏（抄袭）且保持相同的开发编译环境才能成立。 但是我们却又无法做出更明确的推断。这一方面当然是出于严谨避免过度解读；而从另一方面考虑，黑产代码的一个关键出发点就是“隐藏自己”，而这里居然如此堂而皇之地照搬了代码，不但没有进行任何代码混淆、变形，甚至没有抹除疑似来源的关键字符串，如果将黑产视为智商在线的对手，那这里背后是否有其它考量，就值得琢磨了。 代码的比对、分析、溯源技术水准 上文中的安全团队基于大量样本和粗粒度比对方法，给出了一个初步的判断和疑点。那么是否有可能获得更确凿的分析结果，来证实或证伪同源猜想呢？ 无论是源代码还是二进制，代码比对技术作为一种基础手段，在软件供应链安全分析上都注定仍然有效。在我们的软件供应链安全大赛期间，针对PE二进制程序类型的题目，参赛队伍就纷纷采用了相关技术手段用于目标分析，包括：同源性分析，用于判定与目标软件相似度最高的同软件官方版本；细粒度的差异分析，用于尝试在忽略编译差异和特意引入的混淆之外，定位特意引入的恶意代码位置。当然，作为比赛中针对性的应对方案，受目标和环境引导约束，这些方法证明了可行性，却难以保证集成有最新技术方案。那么做一下预言，在不计入情报辅助条件下，下一代的代码比对将能够到达什么水准？ 这里结合近一年和今年内，已发表和未发表的学术领域顶级会议的相关文章来简单展望： ·针对海量甚至全量已知源码，将可以实现准确精细化的“作者归属”判定。在ACM CCS‘18会议上曾发表的一篇文章《Large-Scale and Language-Oblivious Code Authorship Identification》，描述了使用RNN进行大规模代码识别的方案，在圈定目标开发者，并预先提供每个开发者的5-7份已知的代码文件后，该技术方案可以很有效地识别大规模匿名代码仓库中隶属于每个开发者的代码：针对1600个Google Code Jam开发者8年间的所有代码可以实现96%的成功识别率，而针对745个C代码开发者于1987年之后在GitHub上面的全部公开代码仓库，识别率也高达94.38%。这样的结果在当下的场景中，已经足以实现对特定人的代码识别和跟踪（例如，考虑到特定开发人员可能由于编码习惯和规范意识，在时间和项目跨度上犯同样的错误）；可以预见，在该技术方向上，完全可以期望摆脱特定已知目标人的现有数据集学习的过程，并实现更细粒度的归属分析，例如代码段、代码行、提交历史。 ·针对二进制代码，更准确、更大规模、更快速的代码主程序分析和同源性匹配。近年来作为一项程序分析基础技术研究，二进制代码相似性分析又重新获得了学术界和工业界的关注。在2018年和2019（已录用）的安全领域四大顶级会议上，每次都会有该方向最新成果的展示，如S&P‘2019上录用的《Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization》，实现无先验知识的条件下的最优汇编代码级别克隆检测，针对漏洞库的漏洞代码检测可实现0误报、100%召回。而2018年北京HITB会议上，Google Project Zero成员、二进制比对工具BinDiff原始作者Thomas Dullien，探讨了他借用改造Google自家SimHash算法思想，用于针对二进制代码控制流图做相似性检测的尝试和阶段结果；这种引入规模数据处理的思路，也可期望能够在目前其他技术方案大多精细化而低效的情况下，为高效、快速、大规模甚至全量代码克隆检测勾出未来方案。 ·代码比对方案对编辑、优化、变形、混淆的对抗。近年所有技术方案都以对代码“变种”的检测有效性作为关键衡量标准，并一定程度上予以保证。上文CCS‘18论文工作，针对典型源代码混淆（如Tigress）处理后的代码，大规模数据集上可有93.42%的准确识别率；S&P‘19论文针对跨编译器和编译选项、业界常用的OLLVM编译时混淆方案进行试验，在全部可用的混淆方案保护之下的代码仍然可以完成81%以上的克隆检测。值得注意的是以上方案都并非针对特定混淆方案单独优化的，方法具有通用价值；而除此以外还有很多针对性的的反混淆研究成果可用；因此，可以认为在采用常规商用代码混淆方案下，即便存在隐藏内部业务逻辑不被逆向的能力，但仍然可以被有效定位代码复用和开发者自然人。 代码溯源技术面前的“挑战” 作为软件供应链安全的独立分析方，健壮的代码比对技术是决定性的基石；而当脑洞大开，考虑到行业的发展，也许以下两种假设的情景，将把每一个“正当”的产品、开发者置于尴尬的境地。 代码仿制 在本章节引述的“驱魔家族”代码疑云案例中，黑产方面通过某种方式获得了正常代码中，功能逻辑可以被自身复用的片段，并以某种方法将其在保持原样的情况下拼接形成了恶意程序。即便在此例中并非如此，但这却暴露了隐忧：将来是不是有这种可能，我的正常代码被泄漏或逆向后出现在恶意软件中，被溯源后扣上黑锅？ 这种担忧可能以多种渠道和形式成为现实。 从上游看，内部源码被人为泄漏是最简单的形式（实际上，考虑到代码的完整生命周期似乎并没有作为企业核心数据资产得到保护，目前实质上有没有这样的代码在野泄漏还是个未知数），而通过程序逆向还原代码逻辑也在一定程度上可获取原始代码关键特征。 从下游看，则可能有多种方式将恶意代码伪造得像正常代码并实现“碰瓷”。最简单地，可以大量复用关键代码特征（如字符串，自定义数据结构，关键分支条件，数据记录和交换私有格式等）。考虑到在进行溯源时，分析者实际上不需要100%的匹配度才会怀疑，因此仅仅是仿造原始程序对于第三方公开库代码的特殊定制改动，也足以将公众的疑点转移。而近年来类似自动补丁代码搜索生成的方案也可能被用来在一份最终代码中包含有二方甚至多方原始代码的特征和片段。 基于开发者溯源的定点渗透 既然在未来可能存在准确将代码与自然人对应的技术，那么这种技术也完全可能被黑色产业利用。可能的忧患包括强针对性的社会工程，结合特定开发者历史代码缺陷的漏洞挖掘利用，联动第三方泄漏人员信息的深层渗透，等等。这方面暂不做联想展开。 〇. 没有总结 作为一场旨在定义“软件供应链安全”威胁的宣言，阿里安全“功守道”大赛将在后续给出详细的分解和总结，其意义价值也许会在一段时间之后才能被挖掘。 但是威胁的现状不容乐观，威胁的发展不会静待；这一篇随笔仅仅挑选六个侧面做摘录分析，可即将到来的趋势一定只会进入更加发散的境地，因此这里，没有总结。 本篇文章为转载内容。原文链接：https://blog.csdn.net/systemino/article/details/90114743。 该文由互联网用户投稿提供，文中观点代表作者本人意见，并不代表本站的立场。 作为信息平台，本站仅提供文章转载服务，并不拥有其所有权，也不对文章内容的真实性、准确性和合法性承担责任。 如发现本文存在侵权、违法、违规或事实不符的情况，请及时联系我们，我们将第一时间进行核实并删除相应内容。

...搭建统一且易于管理的开发环境，以及部署和运行应用程序。通过创建Docker镜像和容器，团队成员可以快速复现一致的开发环境，并简化部署流程，从而提高协作效率和软件交付质量。 Dockerfile , Dockerfile是一个文本文件，包含了一系列用于构建Docker镜像的指令集合。在文章的具体示例中，Dockerfile定义了基于Node.js 14-alpine镜像的基础环境，设置了工作目录，复制并安装项目所需的package.json文件及依赖，然后将项目源代码复制到镜像中，并暴露3000端口以供服务访问，最后指定启动命令为npm start。通过执行docker build命令，Docker会根据Dockerfile中的指令逐行构建出一个定制化的Docker镜像。 Docker Compose , Docker Compose是Docker提供的一款工具，用于对多个Docker容器进行定义和编排，实现容器化应用的生命周期管理。在团队协作场景下，Docker Compose通过配置文件（如docker-compose.yml）来描述多容器应用程序的服务、网络和数据卷等组件间的依赖关系。用户只需通过一条简单的docker-compose up命令，即可一次性启动、停止或重启所有相关的服务容器，极大地简化了复杂微服务架构下的环境搭建和维护工作，增强了团队开发与协作的便利性。

...r Desktop，开发者能够在本地开发环境中无缝对接云端资源，实现从开发、测试到生产的全生命周期管理。 此外，随着Kubernetes逐渐成为容器编排领域的标准，Docker也在持续优化其与Kubernetes的集成体验，如推出新版Docker Enterprise（现名为Mirantis Container Cloud），不仅支持多云环境下的容器部署，还提供了对Kubernetes集群的一站式管理能力。 与此同时，业界对于容器安全的关注度日益提升。例如，Docker在其产品中强化了安全特性，包括使用Notary项目来验证容器镜像的完整性和来源，以及通过运行时的安全工具确保容器在生产环境中的安全性。 深入研究方面，《Docker in Action》一书详尽解读了Docker的原理及其在实际项目中的最佳实践，是开发者深入理解并高效运用Docker进行现代化软件交付的宝贵参考资源。 综上所述，Docker作为容器化技术的先驱者，在不断推进自身发展的同时，也正积极融入云计算生态体系，携手各方力量共同推动容器技术在企业级应用场景的深化落地，助力更多组织构建起灵活、安全且高效的云原生IT架构。