News
发布时间：2026-06-16 作者：上海工业控制安全创新科技有限公司 点击次数：次
在航空、轨交、汽车电子等安全关键嵌入式系统中，堆栈溢出是引发程序崩溃、系统宕机、功能失效的高危故障，也是机载软件、车载电控、轨交信号系统适航/功能安全审查的核心核查项。当前行业普遍面临诸多难题：
栈风险难预判：嵌入式软件存在多层函数调用、递归、中断嵌套、函数指针间接调用等场景，人工难以精准计算最大栈深度，极易出现上线后栈溢出问题；
无源码分析困难：第三方库、底层驱动仅提供ELF二进制目标码，传统工具依赖源代码，无法完成栈消耗分析；
多平台适配复杂：设备搭载ARM、PowerPC、DSP、RISC-V等多款处理器，不同编译器生成的二进制格式、栈帧布局存在差异，分析工具兼容性差；
适航取证压力大：DO-178C等标准要求提供完整、可追溯的栈分析报告与执行路径证据，人工统计效率低、证据不规范，难以通过审查；
纯静态分析精度不足：受编译器优化、代码内联、尾递归优化影响，纯静态分析结果与设备真实运行栈消耗存在偏差。
针对以上痛点，SmartRocket堆栈分析工具采用静态栈分析+动态栈监测混合架构，面向嵌入式软件打造全自动化、高精度、多场景适配的堆栈深度分析能力，从根源规避栈溢出风险，同时满足行业合规与适航取证要求。
SmartRocket堆栈分析工具
SmartRocket堆栈分析工具是专为C/C++嵌入式软件打造的专业化堆栈分析工具，深度融合静态解析与动态实测两大核心能力，支持源码分析、ELF二进制目标码无源码分析两大模式，覆盖函数级栈消耗统计、全局最坏栈深度计算、调用图/控制流图可视化、执行路径追溯、自定义规则配置等全流程功能。工具可独立运行，也可无缝集成至TestGrid一体化自动化测试平台，适配主流嵌入式处理器、编译器与国产操作系统，广泛应用于高安全等级嵌入式软件的研发、测试、合规审查全生命周期，为栈安全验证、适航取证、软件优化提供完整解决方案。
工具支持纯静态分析、静态解析+动态实测混合分析两种工作模式，灵活匹配不同测试场景，全面兼容主流软硬件环境。
多处理器架构适配：原生深度适配ARM Cortex-M7（32 位）航空主流处理器，同时兼容X86、通用ARM、PowerPC、DSP、RISC-V等全品类嵌入式处理器，满足多硬件平台统一分析需求。
多编译器兼容：可直接调用ARMCC、GCC-ARM、IAR等行业主流编译器，完成 典型嵌入式芯片目标码构建，适配航空、汽车电子等领域现有编译环境。
二进制文件直接分析：支持ELF/DWARF格式二进制目标码、可执行文件直接解析，无需依赖源代码。针对第三方闭源库、底层驱动、加密固件，通过解析DWARF调试信息、反汇编指令，精准还原真实物理栈消耗，解决无源码场景下的栈分析难题。
反汇编与图形映射：支持ARM Cortex-M7等处理器指令集反汇编，基于反汇编代码自动生成函数调用关系图（CG）与内部控制流图（CFG），实现汇编指令、代码逻辑、栈行为的一一映射。
贴合嵌入式软件复杂代码结构，提供多元化入口选择与自定义配置，适配递归、同名静态函数、复杂调用链等特殊场景。
自由选择分析入口：支持单个/多个函数作为分析入口，入口选择界面完整展示二进制/源码内全部函数列表，用户可按需指定分析范围，精准定位核心任务、中断服务程序、周期任务等关键模块。
同名静态函数精准区分：依托ELF文件标记信息，自动区分不同源文件下的同名静态函数，杜绝跨文件函数识别混淆，保证多文件工程分析准确性。
场景化辅助配置：支持通过配置文件自定义分析规则：可手动指定特定函数栈大小、跳过指定函数内部分析；可设置递归函数最大执行次数，量化递归场景下的栈累积消耗，规避无限递归带来的分析异常。
集数据表格、图形可视化、合规报告于一体，分析结果直观可读，同时满足适航审查、项目归档的文档要求。
结构化数据展示：以标准表格形式呈现完整分析结果，清晰展示函数名称、单函数栈大小、全局最坏栈总大小、最坏栈对应执行路径等核心数据，数据条目可筛选、检索、导出。
图形化可视化追溯：可视化展示函数调用图、控制流图，对最坏栈路径进行高亮标记，支持图形缩放、拖拽、节点跳转，点击节点可快速关联对应源码/汇编代码，实现栈异常、调用路径、代码行全链路追溯。
标准化报告生成：自动生成符合DO-178C、功能安全标准的正式分析报告，包含分析配置、函数栈明细、最坏栈深度、风险路径、分析结论等内容，报告格式规范，可直接作为适航取证、第三方测评的正式证据材料。
打破传统工具依赖源代码的限制，源码+ELF二进制双模式分析，完美解决第三方闭源组件、底层驱动、加密固件的栈分析难题，适配嵌入式软件全组件测试。
原生适配ARM Cortex-M7等航空主流处理器，兼容X86、PowerPC、DSP、RISC-V等主流架构，适配ARMCC、GCC-ARM、IAR等编译器及国产操作系统，无需二次开发即可对接现有研发环境。
全流程可视化操作，图形化界面简单易用；从工程导入、参数配置、自动分析到结果输出全程自动化，无需人工逐条统计调用链路，大幅降低测试人员工作量，测试效率提升数倍。
在分析流程、数据记录、输出报告等阶段，严格对标DO-178B/C、EN 50128、ISO 26262等行业标准，分析结果可直接作为工具鉴定、适航审查、功能安全认证的有效证据，补齐取证所需栈分析材料。
模块可独立部署使用，也可无缝集成至SmartRocket TestGrid一体化测试平台，与静态分析、单元测试、目标机测试等能力联动，构建完整的嵌入式软件测试验证体系。
航空航天、轨道交通、汽车电子、核电控制、工业控制等高安全等级嵌入式领域，DO-178B/C、EN 50128、ISO 26262、IEC 61508等功能安全与适航规范。
欢迎试用
↑ 添加客服了解详情 ↑
邮箱：marketing@ticpsh.com
电话：021-62655886
