최대 스택 사용량 검증 솔루션

StackAnalyzer는 애플리케이션의 최대 스택 사용량을 계산하기 위한 자동화 솔루션입니다.

StackAnalyzer screenshot

StackAnalyzer screenshot

함수당 Stack 사용량 파악 가능

Stack 사용량 Annotation이 포함된 Control Flow Graph

Stack 사용량 Annotation이 포함된 Call Graph

소프트웨어 및 시스템 개발시, 스택메모리는 개발자가 직접 할당해야 합니다. 개발자가 스택 사용량 직접 추정하는 일은 프로그램의 어려운 작업입니다. 스택 사용량을 과소 평가하면 스택 오버플로로 인해 심각한 오류가 발생할 수 있고 이와 반대로 스택 사용량을 과대평가하면 메모리 리소스가 낭비되는 문제가 발생 할 수 있습니다.

현재 국제 안전 표준(DO-178B/C, ISO 26262, IEC 61508, EN 50128 등)에서는 스택 오버플로가 발생하지 않도록 해야하며, StackAnalyzer를 사용하여 보다 쉽게 스택 오버플로가 없음을 증명할 수 있습니다.

StackAnalyzer을 통해 보다 더 편리하게 최대 스택 사용량 검증하고 안전한 소프트웨어를 설계하세요.

지원프로세서/컴파일러 목록

Am486
  • CAD-UL
ARM
  • ARM
  • CompCert (INRIA/AbsInt)
  • Diab (Wind River)
  • GCC
  • GHS MULTI (Green Hills)
  • HighTec LLVM
  • IAR
  • KEIL MDK-ARM
  • LLVM/Clang
  • TASKING (Altium)
  • TI (Texas Instruments)
C16x/ST10
  • KEIL (ARM)
  • TASKING (Altium)
C28x
  • TI (Texas Instruments)
C33
  • TI (Texas Instruments)
dsPIC33E
  • Microchip MPLAB XC16
ERC32
  • GCC
  • GNAT
FR81S
  • SOFTUNE (Fujitsu)
HCS12
  • Hiware/Metrowerks/Freescale
  • Cosmic
  • IAR
i386DX
  • IBM PL/I
LEON2, LEON3/LEON4
  • GCC
  • GNAT
  • LLVM/Clang
M68k & ColdFire
  • Diab (Wind River)
  • GCC
  • HP 68000
  • Microtec (Siemens)
  • XD Ada
MCS 51
  • IAR
MCS251
  • KEIL
MIPS32
  • GCC
MSP430(x)
  • IAR
Nios II
  • GCC
PowerPC
  • AdaCore
  • CodeWarrior (Freescale/NXP)
  • CompCert (INRIA/AbsInt)
  • Diab (Wind River)
  • GCC
  • GHS (Green Hills)
  • HighTec GCC
  • SCORE (DDC-I)
Renesas RX
  • IAR
Renesas SuperH
  • Renesas
RISC-V
  • GCC
  • GNAT
  • LLVM/Clang
S12Z
  • CodeWarrior (Freescale)
TriCore & AURIX
  • Diab (Wind River)
  • GCC
  • GHS (Green Hills)
  • HighTec GCC
  • TASKING (Altium)
V850, RH850
  • Diab (Wind River)
  • GHS (Green Hills)
x86
  • CAD-UL
  • CompCert (INRIA/AbsInt)
  • Cygnus (LynuxWorks)
  • GCC
  • iC-86 (Intel)
  • LLVM/Clang
  • PL/I (IBM)

다양한 도구들과 연동

혹시 StackAnalyzer에 대해 더 알고 싶으신가요?

아래 이메일 absint@mdsit.co.kr을 통해 문의 남겨주시면 솔루션 도입을 위한 친절한 기술 상담이 가능합니다!

㈜MDS인텔리전스
경기도 성남시 분당구 판교로 228번길17
판교세븐벤처밸리 2단지 1동 9층

Tel: +82-31-601-4006
mdsit.co.kr
absint@mdsit.co.kr