HKSAT 사용법

PART 1. 소프트웨어 설치 및 설정
PART 2. 프로젝트 생성 및 모듈 추가
PART 3. 소프트웨어 정적 분석 (SSAT)
PART 4. 최장수행시간 분석(WCET)
PART 5. 스케쥴 가능성 분석
PART 7. 중복 코드 분석(DBCA)
PART 9. 정적 스택 사용량 분석(SSUA)