ECC 规则体系中的 C 安全编码实战指南内存安全、未定义行为与静态分析【免费下载链接】ECCThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.项目地址: https://gitcode.com/GitHub_Trending/ev/ECC本指南以 docs/ja-JP/rules/cpp/security.md即 ECC 规则库中面向 C 语言的安全子规则为核心主体展开。它在 ECCAgent Harness 性能优化系统为 Claude Code、Codex、Opencode、Cursor 等场景提供技能、规则与记忆体系中的定位是当 Agent 编写、审查或重构 C 代码时自动被加载的安全基线。读完本文你将掌握在 C 项目中落地的内存安全策略、缓冲区溢出防护手段、未定义行为的规避清单以及可直接复制到 CI 中的 Sanitizer 与静态分析命令并理解这些规则与cpp-coding-standards技能、cpp-reviewer/security-reviewerAgent 之间的调用关系。规则的定位与适用范围docs/ja-JP/rules/cpp/security.md是 ECC 规则库中的一份语言子规则文件。它通过 YAML frontmatter 声明了自己的生效范围paths: - **/*.cpp - **/*.hpp - **/*.cc - **/*.hh - **/*.cxx - **/*.h - **/CMakeLists.txt这意味着只要 Agent 处理的文件匹配上述 C 源文件、头文件或 CMake 构建脚本该安全规则就会作为约束上下文被激活。文件的正文开头明确说明这份文档是 rules/common/security.md 的 C 语言扩展即通用安全基线密钥管理、输入校验、注入防护、安全响应协议等对所有语言生效而本文档只补充 C 特有的安全问题——内存安全、缓冲区溢出、未定义行为与静态分析。在 ECC 中同一套规则同时维护英文版 rules/cpp/security.md 与日文版 docs/ja-JP/rules/cpp/security.md内容一一对应本文引用以日文版为骨架、以英文版与源码实现为佐证。内存安全用现代 C 资源管理取代手工内存操作C 安全规则的第一条铁律是内存安全Memory Safety。原文档给出了四条禁止性约束绝不使用裸new/delete——必须使用智能指针绝不使用 C 风格数组——改用std::array或std::vector绝不使用malloc/free——改用 C 分配机制除非绝对必要避免reinterpret_cast这些规则并非凭空规定而是直接对应 C Core Guidelines 的 R 系列资源管理规则R.10避免malloc/freeR.11避免显式调用new/deleteR.20用unique_ptr或shared_ptr表达所有权R.21除非确实需要共享所有权优先unique_ptr。ECC 的cpp-coding-standards技能skills/cpp-coding-standards/SKILL.md为每条规则提供了可直接落地的示例// R.11 R.20 R.21: 用智能指针表达所有权 auto widget std::make_uniqueWidget(config); // 独占所有权 auto cache std::make_sharedCache(1024); // 共享所有权 // R.3: 裸指针仅作为非拥有型观察者 void render(const Widget* w) { // 不拥有 w if (w) w-draw(); } render(widget.get());进一步的 RAII 模式R.1则是把资源生命周期绑定到对象生命周期上——例如用FileHandle类在构造时fopen、析构时fclose并显式delete拷贝构造从而让打开文件后忘记关闭这类泄漏在编译期就无法表达。这与 ECC 中cpp-reviewerAgentagents/cpp-reviewer.md的 CRITICAL 审查项完全一致该 Agent 在审查时会标记裸new/delete、内存泄漏资源未绑定对象生命周期、use-after-free悬垂指针、失效迭代器并给出使用std::unique_ptr或std::shared_ptr的修复建议。缓冲区溢出从char*到std::string的类型升级缓冲区溢出是 C/C 历史上最致命的漏洞类别。原文档给出的对策同样遵循用类型系统消灭问题的思路用std::string取代char*在安全性关键的场景使用带边界检查的.at()访问容器元素绝不使用strcpy、strcat、sprintf——改用std::string或fmt::format背后的原理可以从两个层面理解容器层面的自管理std::string/std::vector内部维护长度与容量越界写不会发生即使要访问元素operator[]不做检查而.at()会在越界时抛出std::out_of_range把内存破坏转化为可捕获的异常。格式化层面的类型安全sprintf是变参函数格式化串与实参类型不匹配时是未定义行为fmt::formatC20 起为std::format在编译期校验格式串从根本上消灭格式化串注入format string attack。cpp-reviewerAgent 将未做边界检查的 C 风格数组、无边界strcpy/sprintf列为 CRITICAL——buffer overflows同时将用户输入进入printf格式化串格式化串攻击列为 CRITICAL 安全项。这些审查优先级与本规则一一对应形成了规则定标准、Agent 抓落实的闭环。未定义行为从源头消除 UB未定义行为Undefined Behavior, UB是 C 安全与稳定性的头号敌人——编译器对 UB 不做任何承诺优化器甚至可能基于UB 不会发生的假设做出激进变换。原文档给出四条防 UB 基线变量必须初始化避免有符号整数溢出绝不解引用 NULL 或悬垂指针在 CI 中使用 Sanitizercmake -DCMAKE_CXX_FLAGS-fsanitizeaddress,undefined ..前三条对应cpp-coding-standards中的ES.20始终初始化对象、ES.46避免窄化/有损算术转换与ES.47用nullptr而非0/NULL。ES.23还进一步建议优先使用{}初始化语法例如int x{0};因为窄化转换在花括号初始化下会被编译期拒绝从源头拦截溢出风险// ES.20 ES.23 ES.25: 始终初始化优先 {}默认 const const int max_retries{3}; const std::vectorint primes{2, 3, 5, 7, 11};第四条Sanitizer是防 UB 的关键工程化手段-fsanitizeaddress,undefined同时开启AddressSanitizerASan检测越界、use-after-free、泄漏与UndefinedBehaviorSanitizerUBSan检测有符号溢出、空指针解引用、对齐错误等。ECC 的 C 测试规则rules/cpp/testing.md明确要求Always run tests with sanitizers in CI并给出了完整命令cmake -DCMAKE_CXX_FLAGS-fsanitizeaddress,undefined .. cmake --build build ctest --test-dir build --output-on-failure也就是说Sanitizer 不应只在本机调试时使用而应作为 CI 流水线的固定一环让 UB 在合并前被测试触发并暴露。静态分析clang-tidy 与 cppcheck 双引擎原文档推荐两把静态分析工具形成互补clang-tidy用于自动化检查clang-tidy --checks* src/*.cppcppcheck用于补充分析cppcheck --enableall src/clang-tidy 是 LLVM 生态的 Clang 系工具能感知编译单元、模板实例化与 include 上下文适合做语义级检查如误用智能指针、违反 const 正确性、Rule of Five 违规--checks*会开启全部检查项实际项目中更常见的做法是结合.clang-tidy配置或像cpp-reviewer那样做减法clang-tidy --checks*,-llvmlibc-* src/*.cpp -- -stdc17 cppcheck --enableall --suppressmissingIncludeSystem src/cppcheck 不依赖完整编译环境、对头文件缺失更宽容可作为 clang-tidy 之外的第二只眼--enableall打开全部检查类别包括 style、performance、portability 与 warning。cpp-reviewerAgent 的审查流程正是运行clang-tidy和cppcheck如果可用→ 聚焦修改过的 C 文件 → 立即开始审查这两条命令是该 Agent 的默认诊断工具。落地到 CI构建、测试与安全检查的完整流水线原文档聚焦规则而 ECC 的 C Hooks 规则rules/cpp/hooks.md把安全规则翻译成了可执行的提交前检查与 CI 管道。提交 C 变更前应依次执行# 1. 格式检查 clang-format --dry-run --Werror src/*.cpp src/*.hpp # 2. 静态分析 clang-tidy src/*.cpp -- -stdc17 # 3. 构建 cmake --build build # 4. 测试含 Sanitizer ctest --test-dir build --output-on-failure推荐的 CI 流水线顺序为clang-format格式→ clang-tidy静态分析→ cppcheck补充分析→ cmake build编译→ ctest携带 Sanitizer 的测试执行。安全规则中的-fsanitizeaddress,undefined正应注入到第 3、4 步的编译与测试命令中从而把内存安全 / 未定义行为的规则从纸面约束变成每次提交都会被机器验证的门禁。此外rules/cpp/testing.md 还给出了覆盖率采集路径--coveragelcov用于在安全相关代码上建立回归防线。超越 C 本身通用安全基线与响应协议C 安全规则继承自 rules/common/security.md后者是所有语言共用的安全基线包含提交前强制检查清单提交任何代码前必须逐项确认无硬编码密钥API Key、密码、Token所有用户输入已校验SQL 注入防护参数化查询XSS 防护HTML 净化CSRF 保护已启用认证/授权已验证所有端点具备限流错误消息不泄露敏感数据以及密钥管理纪律绝不把密钥硬编码进源码始终使用环境变量或密钥管理器启动时校验必需密钥存在对可能暴露的密钥进行轮换。当发现安全问题时通用规则要求执行安全响应协议立即停止使用security-reviewerAgentagents/security-reviewer.md在继续之前修复 CRITICAL 问题轮换任何已暴露的密钥审查整个代码库中是否存在类似问题security-reviewerAgent 的职责与此完全咬合它负责 OWASP Top 10 漏洞检测、密钥检测、输入校验、认证/授权核验与依赖安全并在发现 CRITICAL 漏洞时立即记录详细报告、通知项目负责人、给出安全代码示例、验证修复、轮换密钥。对 C 项目而言这意味着在通用安全 Agent 之外还要叠加cpp-reviewer对内存安全、命令注入system()/popen()接收未校验输入、整数溢出与不安全强制转换的专项审查。深入阅读的下一站原文档在参考一节将读者引导至cpp-coding-standards技能。该技能skills/cpp-coding-standards/SKILL.md源自 C Core Guidelines覆盖了安全规则背后的完整规则体系按主题分组并附代码示例与反模式清单资源管理R.*RAII、智能指针所有权、make_unique/make_shared以及单表达式中多次资源分配R.13异常安全陷阱等反模式表达式与语句ES.*始终初始化、{}初始化、nullptr、避免 C 风格 cast、禁止 cast 掉constES.50错误处理E.*用 RAII 防泄漏E.6、自定义异常类型E.14、按值抛出按引用捕获E.15并发CP.*RAII 锁CP.20、多互斥量用std::scoped_lockCP.21、绝不用volatile做同步CP.8标准库SL.*优先std::vectorSL.con.2、std::string拥有字符序列而std::string_view只观察SL.str.1/2、用\n而非std::endlSL.io.50。技能末尾的Quick Reference Checklist把上述规则压缩成提交前自检清单——无裸new/delete、对象声明即初始化、默认const/constexpr、enum class取代裸enum、无窄化转换、无 C 风格 cast、单参数构造函数explicit、应用 Rule of Zero / Rule of Five、模板用 concept 约束、头文件自包含且带 include guard、锁使用 RAII、异常按值抛按引用捕获等——这份清单与 rules/cpp/security.md 共同构成了 ECC 对 C 代码安全的完整约束面语言规则定义红线技能提供怎么做到Agent 负责逐条核验CI 命令实现机器强制。【免费下载链接】ECCThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.项目地址: https://gitcode.com/GitHub_Trending/ev/ECC创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 ECC 规则体系中的 C++ 安全编码实战指南：内存安全、未定义行为与静态分析
ECC 规则体系中的 C 安全编码实战指南内存安全、未定义行为与静态分析【免费下载链接】ECCThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.项目地址: https://gitcode.com/GitHub_Trending/ev/ECC本指南以 docs/ja-JP/rules/cpp/security.md即 ECC 规则库中面向 C 语言的安全子规则为核心主体展开。它在 ECCAgent Harness 性能优化系统为 Claude Code、Codex、Opencode、Cursor 等场景提供技能、规则与记忆体系中的定位是当 Agent 编写、审查或重构 C 代码时自动被加载的安全基线。读完本文你将掌握在 C 项目中落地的内存安全策略、缓冲区溢出防护手段、未定义行为的规避清单以及可直接复制到 CI 中的 Sanitizer 与静态分析命令并理解这些规则与cpp-coding-standards技能、cpp-reviewer/security-reviewerAgent 之间的调用关系。规则的定位与适用范围docs/ja-JP/rules/cpp/security.md是 ECC 规则库中的一份语言子规则文件。它通过 YAML frontmatter 声明了自己的生效范围paths: - **/*.cpp - **/*.hpp - **/*.cc - **/*.hh - **/*.cxx - **/*.h - **/CMakeLists.txt这意味着只要 Agent 处理的文件匹配上述 C 源文件、头文件或 CMake 构建脚本该安全规则就会作为约束上下文被激活。文件的正文开头明确说明这份文档是 rules/common/security.md 的 C 语言扩展即通用安全基线密钥管理、输入校验、注入防护、安全响应协议等对所有语言生效而本文档只补充 C 特有的安全问题——内存安全、缓冲区溢出、未定义行为与静态分析。在 ECC 中同一套规则同时维护英文版 rules/cpp/security.md 与日文版 docs/ja-JP/rules/cpp/security.md内容一一对应本文引用以日文版为骨架、以英文版与源码实现为佐证。内存安全用现代 C 资源管理取代手工内存操作C 安全规则的第一条铁律是内存安全Memory Safety。原文档给出了四条禁止性约束绝不使用裸new/delete——必须使用智能指针绝不使用 C 风格数组——改用std::array或std::vector绝不使用malloc/free——改用 C 分配机制除非绝对必要避免reinterpret_cast这些规则并非凭空规定而是直接对应 C Core Guidelines 的 R 系列资源管理规则R.10避免malloc/freeR.11避免显式调用new/deleteR.20用unique_ptr或shared_ptr表达所有权R.21除非确实需要共享所有权优先unique_ptr。ECC 的cpp-coding-standards技能skills/cpp-coding-standards/SKILL.md为每条规则提供了可直接落地的示例// R.11 R.20 R.21: 用智能指针表达所有权 auto widget std::make_uniqueWidget(config); // 独占所有权 auto cache std::make_sharedCache(1024); // 共享所有权 // R.3: 裸指针仅作为非拥有型观察者 void render(const Widget* w) { // 不拥有 w if (w) w-draw(); } render(widget.get());进一步的 RAII 模式R.1则是把资源生命周期绑定到对象生命周期上——例如用FileHandle类在构造时fopen、析构时fclose并显式delete拷贝构造从而让打开文件后忘记关闭这类泄漏在编译期就无法表达。这与 ECC 中cpp-reviewerAgentagents/cpp-reviewer.md的 CRITICAL 审查项完全一致该 Agent 在审查时会标记裸new/delete、内存泄漏资源未绑定对象生命周期、use-after-free悬垂指针、失效迭代器并给出使用std::unique_ptr或std::shared_ptr的修复建议。缓冲区溢出从char*到std::string的类型升级缓冲区溢出是 C/C 历史上最致命的漏洞类别。原文档给出的对策同样遵循用类型系统消灭问题的思路用std::string取代char*在安全性关键的场景使用带边界检查的.at()访问容器元素绝不使用strcpy、strcat、sprintf——改用std::string或fmt::format背后的原理可以从两个层面理解容器层面的自管理std::string/std::vector内部维护长度与容量越界写不会发生即使要访问元素operator[]不做检查而.at()会在越界时抛出std::out_of_range把内存破坏转化为可捕获的异常。格式化层面的类型安全sprintf是变参函数格式化串与实参类型不匹配时是未定义行为fmt::formatC20 起为std::format在编译期校验格式串从根本上消灭格式化串注入format string attack。cpp-reviewerAgent 将未做边界检查的 C 风格数组、无边界strcpy/sprintf列为 CRITICAL——buffer overflows同时将用户输入进入printf格式化串格式化串攻击列为 CRITICAL 安全项。这些审查优先级与本规则一一对应形成了规则定标准、Agent 抓落实的闭环。未定义行为从源头消除 UB未定义行为Undefined Behavior, UB是 C 安全与稳定性的头号敌人——编译器对 UB 不做任何承诺优化器甚至可能基于UB 不会发生的假设做出激进变换。原文档给出四条防 UB 基线变量必须初始化避免有符号整数溢出绝不解引用 NULL 或悬垂指针在 CI 中使用 Sanitizercmake -DCMAKE_CXX_FLAGS-fsanitizeaddress,undefined ..前三条对应cpp-coding-standards中的ES.20始终初始化对象、ES.46避免窄化/有损算术转换与ES.47用nullptr而非0/NULL。ES.23还进一步建议优先使用{}初始化语法例如int x{0};因为窄化转换在花括号初始化下会被编译期拒绝从源头拦截溢出风险// ES.20 ES.23 ES.25: 始终初始化优先 {}默认 const const int max_retries{3}; const std::vectorint primes{2, 3, 5, 7, 11};第四条Sanitizer是防 UB 的关键工程化手段-fsanitizeaddress,undefined同时开启AddressSanitizerASan检测越界、use-after-free、泄漏与UndefinedBehaviorSanitizerUBSan检测有符号溢出、空指针解引用、对齐错误等。ECC 的 C 测试规则rules/cpp/testing.md明确要求Always run tests with sanitizers in CI并给出了完整命令cmake -DCMAKE_CXX_FLAGS-fsanitizeaddress,undefined .. cmake --build build ctest --test-dir build --output-on-failure也就是说Sanitizer 不应只在本机调试时使用而应作为 CI 流水线的固定一环让 UB 在合并前被测试触发并暴露。静态分析clang-tidy 与 cppcheck 双引擎原文档推荐两把静态分析工具形成互补clang-tidy用于自动化检查clang-tidy --checks* src/*.cppcppcheck用于补充分析cppcheck --enableall src/clang-tidy 是 LLVM 生态的 Clang 系工具能感知编译单元、模板实例化与 include 上下文适合做语义级检查如误用智能指针、违反 const 正确性、Rule of Five 违规--checks*会开启全部检查项实际项目中更常见的做法是结合.clang-tidy配置或像cpp-reviewer那样做减法clang-tidy --checks*,-llvmlibc-* src/*.cpp -- -stdc17 cppcheck --enableall --suppressmissingIncludeSystem src/cppcheck 不依赖完整编译环境、对头文件缺失更宽容可作为 clang-tidy 之外的第二只眼--enableall打开全部检查类别包括 style、performance、portability 与 warning。cpp-reviewerAgent 的审查流程正是运行clang-tidy和cppcheck如果可用→ 聚焦修改过的 C 文件 → 立即开始审查这两条命令是该 Agent 的默认诊断工具。落地到 CI构建、测试与安全检查的完整流水线原文档聚焦规则而 ECC 的 C Hooks 规则rules/cpp/hooks.md把安全规则翻译成了可执行的提交前检查与 CI 管道。提交 C 变更前应依次执行# 1. 格式检查 clang-format --dry-run --Werror src/*.cpp src/*.hpp # 2. 静态分析 clang-tidy src/*.cpp -- -stdc17 # 3. 构建 cmake --build build # 4. 测试含 Sanitizer ctest --test-dir build --output-on-failure推荐的 CI 流水线顺序为clang-format格式→ clang-tidy静态分析→ cppcheck补充分析→ cmake build编译→ ctest携带 Sanitizer 的测试执行。安全规则中的-fsanitizeaddress,undefined正应注入到第 3、4 步的编译与测试命令中从而把内存安全 / 未定义行为的规则从纸面约束变成每次提交都会被机器验证的门禁。此外rules/cpp/testing.md 还给出了覆盖率采集路径--coveragelcov用于在安全相关代码上建立回归防线。超越 C 本身通用安全基线与响应协议C 安全规则继承自 rules/common/security.md后者是所有语言共用的安全基线包含提交前强制检查清单提交任何代码前必须逐项确认无硬编码密钥API Key、密码、Token所有用户输入已校验SQL 注入防护参数化查询XSS 防护HTML 净化CSRF 保护已启用认证/授权已验证所有端点具备限流错误消息不泄露敏感数据以及密钥管理纪律绝不把密钥硬编码进源码始终使用环境变量或密钥管理器启动时校验必需密钥存在对可能暴露的密钥进行轮换。当发现安全问题时通用规则要求执行安全响应协议立即停止使用security-reviewerAgentagents/security-reviewer.md在继续之前修复 CRITICAL 问题轮换任何已暴露的密钥审查整个代码库中是否存在类似问题security-reviewerAgent 的职责与此完全咬合它负责 OWASP Top 10 漏洞检测、密钥检测、输入校验、认证/授权核验与依赖安全并在发现 CRITICAL 漏洞时立即记录详细报告、通知项目负责人、给出安全代码示例、验证修复、轮换密钥。对 C 项目而言这意味着在通用安全 Agent 之外还要叠加cpp-reviewer对内存安全、命令注入system()/popen()接收未校验输入、整数溢出与不安全强制转换的专项审查。深入阅读的下一站原文档在参考一节将读者引导至cpp-coding-standards技能。该技能skills/cpp-coding-standards/SKILL.md源自 C Core Guidelines覆盖了安全规则背后的完整规则体系按主题分组并附代码示例与反模式清单资源管理R.*RAII、智能指针所有权、make_unique/make_shared以及单表达式中多次资源分配R.13异常安全陷阱等反模式表达式与语句ES.*始终初始化、{}初始化、nullptr、避免 C 风格 cast、禁止 cast 掉constES.50错误处理E.*用 RAII 防泄漏E.6、自定义异常类型E.14、按值抛出按引用捕获E.15并发CP.*RAII 锁CP.20、多互斥量用std::scoped_lockCP.21、绝不用volatile做同步CP.8标准库SL.*优先std::vectorSL.con.2、std::string拥有字符序列而std::string_view只观察SL.str.1/2、用\n而非std::endlSL.io.50。技能末尾的Quick Reference Checklist把上述规则压缩成提交前自检清单——无裸new/delete、对象声明即初始化、默认const/constexpr、enum class取代裸enum、无窄化转换、无 C 风格 cast、单参数构造函数explicit、应用 Rule of Zero / Rule of Five、模板用 concept 约束、头文件自包含且带 include guard、锁使用 RAII、异常按值抛按引用捕获等——这份清单与 rules/cpp/security.md 共同构成了 ECC 对 C 代码安全的完整约束面语言规则定义红线技能提供怎么做到Agent 负责逐条核验CI 命令实现机器强制。【免费下载链接】ECCThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.项目地址: https://gitcode.com/GitHub_Trending/ev/ECC创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考