2 个仓库
Verification of pointer validity and raw memory segment integrity in C applications.
Distinct from C Memory Management: Focuses on testing and validating existing memory rather than the act of allocation and cleanup.
Explore 2 awesome GitHub repositories matching operating systems & systems programming · Memory Integrity Testing. Refine with filters or upvote what's useful.
Unity 是一个用于 C 语言的轻量级单元测试框架,提供了验证代码正确性所需的断言库、测试运行器和报告机制。它作为在 C 环境中组织和执行单元测试的核心测试基础设施。 该框架专为系统级和嵌入式软件验证而设计,具有验证固件和硬件驱动程序的特定功能。它专注于内存完整性和指针有效性,允许验证指针状态并检查原始内存块。 该工具集涵盖了广泛的比较类型,包括针对整数、位模式和浮点值的数值验证。它还提供用于验证以空字符结尾的字符串、数组内容和布尔逻辑的实用程序,同时支持自定义失败消息以在调试期间提供上下文。
Checks for null pointers and compares raw memory segments to ensure data integrity.
该项目提供了一个 Linux 内核开发环境和一个系统仿真套件,用于跨多种硬件架构构建和调试内核模块及裸机汇编。它作为一个全面的沙箱和框架,用于底层系统开发,利用 QEMU 模拟硬件环境,无需物理设备。 该环境使用 Buildroot 和 crosstool-NG 集成交叉编译工具链,以从单个主机针对 x86_64、ARMv7 和 ARMv8 平台。它具有一个专门的内核调试框架,利用 GDB 和 KGDB 对内核和用户空间进程进行逐步执行和状态检查。 广泛的功能包括通过版本控制二分法隔离引导和功能故障的自动化回归测试、用于管理 CPU 电源状态和系统寄存器的硬件抽象,以及用于内存状态完整性和汇编分析的底层测试原语。该系统还包括用于命令性能基准测试、输出日志记录和容器化工作区引导的实用工具。
Provides utilities to verify data integrity and system state using raw memory comparisons during execution.