利用gcc进行代码的自动化审计.pdfVIP

利用GCC进行代码的自动化审计 CoolQ/Redpig/Fedora 内容简介 • 软件发展面临的问题 • 自动化（静态）分析的整体框架 • 一次尝试BDL(Bug Descprition Language) –整体设计 –模块分解 –功能及性能的改进 2 软件发展面临的问题 • 开发工具越来越多，门坎越来越低 –代码质量不好控制 • 软件的逻辑越来越复杂 –对设计人员对要求越来越高，程序逻辑越来越难 处理 • 软件的体积越来越大 –Bug-fix的代价在增加 • 攻击技术多种多样 –稍微有点错误就会被别人钻空子 3 我们面临的挑战 • 能否进行Bug的自动化审计 • 速度快慢 • 误报率与漏报率高低 • 自定义Bug规则 • 克服静态分析的缺点 – 指针 – 过多的数据流和控制流分支 4 自动化分析器的整体框架 • 语言的词法分析器及语法分析器 –对待审计代码进行词、语法分析 • Bug规则的词法分析器及语法分析器 –对Bug规则进行词语、法分析 • 中间代码的存取 –保存词、语法分析的中间结果，并提供的访问手 段 • 分析控制引擎 –根据规则对两种中间代码进行操作 • 工具函数 –提供规则匹配、Bug回溯、错误输出等功能 5 自动化分析器的整体框架(图示) 6 一次尝试——BDL • BDL – Bug Description Language • 基于GCC＋Flex＋Bison – Bug规则由Flex ＋ Bison 自定义的语言描述 – 待审计代码由GCC进行解析 • 追踪单变量的状态，使用自动机引擎进行状 态转换 • 支持控制流和简单的数据流 • 多种方式的优化，提高检测速度 7 BDL可以描述的逻辑Bug • 一定要／不要做X –内核中不能出现浮点运算 • 做了X后需要／不能做Y –内存对分配与释放 –加锁与解锁 • 在做X之前一定要／不能做Y –strcpy(dst, src) –printf(str) 8 状态转换举例 9 BDL的架构 10 GCC3概况 11 GCC4概况