llvm-security - LLVM安全专家 - 加固与检测工具
实现LLVM安全特性、检测器、加固技术、漏洞防护和安全编译
标签
更新于: 2026-03-23能力
典型输入
典型输出
该技能可以做什么
- 使用检测器编译程序
- 检测内存错误
- 检测数据竞争
- 检测未定义行为
- 启用栈保护
- 启用控制流完整性
- 启用影子调用栈
- 启用位置无关代码
- 跟踪类型信息
- 检测内存泄漏
- 保护返回地址
- 签名指针
- 启用编译器安全检查
- 配置模糊测试目标
- 启用控制流保护
输入
- C/C++程序
- 共享库
- LLVM中间代码
- 编译标志
- 符号输入
输出
- 编译后的二进制文件
- 内存错误报告
- 漏洞报告
- 符号执行路径
- 模糊测试结果
要求
- LLVM/Clang工具链
- KLEE框架（可选）
- SymCC（可选）