ATF(TF-A)之UBSAN动态代码分析

UBSAN：全称Undefined Behavior Sanitizer，用于运行时检测一些未定义行为。未定义，是一个统称，并非是代码中的变量等没有定义，如果是此类错误，编译就会进行拦截。此含义就可以理解为一个非法行为的检测，比如定义的变量超过范围，数组使用不正确的下标，左右移不符合规范，或者超过变量的范围，对齐不匹配等等。

本文深入介绍了鸿蒙系统中的HWASan（硬件辅助地址检测器）技术原理与应用。HWASan作为Clang LLVM提供的高效内存检测工具，通过地址标签机制检测C/C++内存错误，性能优于传统ASan。文章详细解析了其工作原理：16字节内存映射机制、随机标签分配及异常检测流程，并对比了HWASan相比ASan在内存消耗和检测范围上的优势。同时提供了两种配置方法（IDE和流水线场景），以及典型错误案例（如栈缓冲区溢出）的定位思路。最后强调该技术仅支持ROM 5.

在使用MemorySanitizer进行内存访问错误的检测时，可以通过设置MSAN_OPTIONS环境变量来定制MSan的行为，并根据检测结果进行相应的修复和优化工作，以提高程序的内存安全性和稳定性。在使用TSan进行多线程程序的并发性检测时，可以通过设置TSAN_OPTIONS环境变量来定制TSan的行为，并根据检测结果进行相应的修复和优化工作，以提高程序的并发性和稳定性。通过设置不同的选项，可以调整TSan的检测粒度、报告级别、输出格式等参数，以满足具体的并发检测需求。

参考链接 https://blog.csdn.net/hanlizhong85/article/details/78076668

介绍 如何建造 用法 可用支票 易挥发的 最少的运行时间 堆栈跟踪和报告符号 记录中 使无符号整数溢出静音 问题抑制 使用禁用仪表 attribute((no_sanitize(“undefined”))) 抑制重新编译的代码中的错误（忽略列表） 运行时抑制 支持平台 当前状态 附加配置 例子 更多信息 简介 UndefinedBehaviorSanitizer（UBSan）是一种快速的未定义行为检测器。UBSan在编译时修改程序，以捕获程序执行期间的各种未定义行为，例如： 使用未对齐或空指针 有符号整数溢

Undefined Behavior Sanitizer，用于运行时未定义行为检测。UBSAN使用编译时指令来获取未定义行为。编译器插入代码，在可能引起UB的操作之前运行某类检查，如果失败，会调用__ubsan_handle_*函数来输出错误信息。 用法 在内核中启用UBSAN CONFIG_UBSAN=y 检查全部内核 CONFIG_UBSAN_SANITIZE_ALL=y   ...

UndefinedBehaviorSanitizer(UBSAN)的使用

本文档提供了TF-A固件的通用威胁模型。在该威胁模型中，评估的目标是A系列处理器的可信固件(TF-A)。这包括引导ROM (BL1)、可信引导固件(BL2)和运行时EL3固件(BL31)。对14类威胁模型进行详细分析，并对TF-A可能涉及的威胁进行检测和评估（每个威胁都有一个风险评级，代表了该威胁的影响和可能性），并给出可能的防护建议。

ATF的官网一张图包含了更多的信息：如果你仅仅对ATF的UEFI启动路径感兴趣，下面这张图可能更加简单明了：NXP 2160A的开源和良好的文档，让我们可以在一个具体的平台上切片观察ATF的具体实现，建议大家仔细阅读参考资料2和下载代码来看看。关于ATF启动这里先整个宏观的概念。这个blog讲的很好，就不重复写了，自己写还写不到这么清晰，图页很漂亮。原文链接：https://www.cnblogs.com/arnoldlu/p/14175126.html。

ATF(TF-A)之sonarlint静态代码扫描实战，希望各位读者，可以将此方法应用到自己的平台代码或者定制代码修改中，进行静态代码扫描分析，提升代码质量及产品安全。

原文：annas-archive.org/md5/24e080e694c59b3f8e0220d0902724b0 译者：飞龙 协议：CC BY-NC-SA 4.0 第七章：调试和测试 在本章中，您将学习如何正确测试和调试您的 C++应用程序。这很重要，因为没有良好的测试和调试，您的 C++应用程序很可能包含难以检测的错误，这将降低它们的整体可靠性、稳定性和安全性。 本章将从全面概述单元测试开始，这是在单元级别测试代码的行为，并且还将介绍如何利用现有库加快编写测试的过程。接下来，它将演示如何使用 ASA

HWASan是Hardware-Assisted Address Sanitizer的简称，它是Clang LLVM提供的一套内存错误检测系统，用来检测C/C++中常见的内存访问错误，相比之前的Asan（Address Sanitizer），它在性能、内存上有不小提升，依赖于编译器的Address Tagging特性，该特性允许应用程序自定义数据存储到虚拟地址的最高8位，当CPU操作该虚拟地址时会自动忽略它。HWASan工具检测地址越界问题的原理如下，

文 / Google Android 安全团队 Dan Austin LLVM 是构建 Android 所使用的编译器基础架构，包含多个用于执行静态和动态分析的组件。在分析 Android 时，得到广泛使用的一组组件是擦除器，特别是 AddressSanitizer、UndefinedBehaviorSanitizer 和 SanitizerCoverage。

本文主要从Sanitizer相关的实现探索其使用的场景，ASan，MSan，UBSan，TSan；介绍其如何解决内存泄漏，缓存区溢出和未定义行为的bug问题

在GCC 4.8发布一年零一个月之后，GCC 4.9终于发布了。 GCC 4.9是一个主要版本，提供了大量新功能。下面我们来看一下： 通用的优化器改进 AddressSanitizer这款快速的内存错误检查程序已经支持ARM。 添加了UndefinedBehaviorSanitizer（ubsan），这是一款快速的未定义行为检查程序，可以通过-fsanitize=undef

在LLVM中，一致性分析框架并不是一个特定的、官方命名的组件，但我们可以理解为在LLVM的架构和工具集中，存在一系列用于确保代码转换和优化过程中一致性的机制和方法。可能除了ir和pass之外，对编译器语义不变这个核心的理论，也值得参考学习，面试的时候最多也就问你知道哪些pass，几乎不会问这些问题，但是这是编译器原理，是编译器的目标约束。它们基于分析pass提供的信息，对程序进行实际的转换和优化操作。LLVM的pass架构使得相同的优化和分析可以在不同的目标架构和操作系统上运行，提高了代码的跨平台兼容性。

一、进程原理 1、进程 Linux内核把进程称为任务(task)，进程的虚拟地址空间分为用户虚 拟地址空间和内核虚拟地址空间，所有进程共享内核虚拟地址空间，每个 进程有独立的用户空间虚拟地址空间。 进程有两种特殊形式：没有用户虚拟地址空间的进程称为内核线程， 共享用户虚拟地址空间的进程称为用户线程。通用在不会引起混淆的情况下把用户线程简称为线程。共享同一个用户虚拟地址空间的所有用户线程组成一个线程组。 2、Linux进程四要素： a.有一段程序供其执行。 b.有进程专用的系...