SmartRocket StackVerify软件堆栈分析工具是专为C/C++嵌入式软件打造的专业化堆栈分析工具，深度融合静态解析与动态实测两大核心能力，支持源码分析、ELF二进制目标码无源码分析两大模式，覆盖函数级栈消耗统计、全局最坏栈深度计算、调用图/控制流图可视化、执行路径追溯、自定义规则配置等全流程功能。工具可独立运行，也可无缝集成至TestGrid一体化自动化测试平台，适配主流嵌入式处理器、编译器与国产操作系统，广泛应用于高安全等级嵌入式软件的研发、测试、合规审查全生命周期，为栈安全验证、适航取证、软件优化提供完整解决方案。
客户试用申请
无源码二进制直接分析：支持ELF/PE/HEX/BIN，无源码即可解析符号、反汇编、还原调用，覆盖第三方库、驱动及固件； 动静双模式互验证：静态分析+动态轨迹验证，比对理论边界与实测峰值，识别隐藏风险； 多架构多编译器兼容：适配ARM Cortex-M(Thumb 2)、AArch64、x86/x64、PowerPC、RISC-V，兼容GCC、ARMCC、IAR、MSVC、Clang； 反汇编与图形化映射：自动生成CG/CFG，与源码行号双向关联，点击节点追溯汇编/代码，全链路可追溯。
多源融合栈帧估算：融合DWARF CFI/.pdata unwind、序言模拟与手动修正，确保帧大小有据可查，兼顾自动化与灵活性； 全局最坏路径搜索：从全部入口(含ISR、任务、导出)遍历调用图，定位栈消耗最大路径，锁定最危险调用场景，避免遗漏； 动态帧与递归显式化：自动识别alloca/VLA及递归环，静态无法确定的明确标记“无界”或“下界”，引导用户配置或实测收口； 参数化配置与人工干预：支持自定义入口、多任务预算、递归深度、函数指针补全及单帧修正，精准管控关键场景。
图形化调用树与火焰图：调用树展示完整调用关系并高亮最坏路径；火焰图按栈字节/命中数着色，直观定位热点与风险； 极端路径面板驱动测试：汇总最大栈占用、最长调用链、递归组等极端路径，列出完整函数名，一键复制清单指导测试设计； 多格式合规报告：支持HTML/JSON/SARIF/JUnit/CSV等格式，含互验证结论、函数栈明细、预算判定，可直接作为DO-178C等适航审查证据； 日志记录与结果导出：每次分析自动记录日志，支持Excel导出，便于项目归档与回归比对。
打破传统工具对源代码的依赖，源码+ELF/HEX/BIN双模式分析，完美解决第三方闭源组件、底层驱动、历史固件的栈分析难题。原生适配ARM Cortex-M(含Cortex-M7)、AArch64、x86/x64、PowerPC、RISC-V等主流架构，兼容ARMCC、GCC-ARM、IAR、MSVC、Clang等编译器及国产操作系统，无需二次开发即可对接现有研发环境。
全流程可视化操作，图形化界面简单易用；从工程导入、参数配置、自动分析到结果输出全程自动化，无需人工逐条统计调用链路。CLI模式无缝对接CI/CD流水线，可作为每日构建的自动化回归闸口，大幅降低测试人员工作量，让栈分析从“人工抽检”升级为“持续自动化验证”。
独有静态上界与动态实测对撞机制，输出PASS/FAIL明确判定，可精准暴露静态分析低估风险。分析过程确定性、可重复，每个数据可追溯来源，使“栈安全”成为可审计的工程证据，为适航审查提供可信依据。
分析流程、数据记录、输出报告严格对标DO-178B/C、EN 50128、IS026262等行业标准，提供TQL-5工具鉴定包(计划、需求、测试用例、追踪数据等)，报告格式规范，结果可直接用于工具鉴定与安全认证。模块可独立部署，亦可无缝集成至SmartRocket TestGrid平台，构建完整的测试验证体系。
