用指针修改调用者的对象 3885 字·8 分钟 嵌入式 Embedded-C Pointer C11 Host-Verification Beginner 用主机 C11 示例理解对象地址的保存与传递，并通过有效指针让函数修改调用者持有的同一 uint32_t 对象。
32 位整数：先按范围选类型 3874 字·8 分钟 嵌入式 Embedded-C Integer-Model C11 Host-Verification Beginner 依据需求的最小值、最大值和是否需要负数，在主机逻辑验证中选择 int32_t 或 uint32_t，并识别超出范围的设计风险。
第一个 C 程序：按顺序得到确定结果 3462 字·7 分钟 嵌入式 Embedded-C C11 Host-Verification Beginner 在 Windows 主机上阅读和修改单文件 C 程序，理解语句按顺序执行，并通过退出状态观察确定的计算结果。
从源文件到可观察结果 3138 字·7 分钟 嵌入式 Embedded-C Host-Verification Beginner 建立主机与嵌入式运行环境不同、源文件必须经过构建和运行才能形成可观察验证闭环的两个基础心智模型。
