PART 1. 소프트웨어 설치 및 설정

• 1-1. HKSAT 설치

• 1-2. HKSAT 설정

• 1-3. 오류 보고

PART 2. 프로젝트 생성 및 모듈 추가

• 2-1. 프로젝트 생성

• 2-2. 모듈 생성

• 2-3. 모듈 생성 (매크로)

• 2-4. ODIN 연동

PART 3. 소프트웨어 정적 분석 (SSAT)

• 3-1. 전역 변수 초기화 검사

• 3-2. API 사용 오류 검사

• 3-3. 재귀함수 검사

• 3-4. 경쟁조건 검사

• 3-5. ODIN 연동

PART 4. 최장수행시간 분석(WCET)

• 4-1. 최장수행시간 분석

• 4-2. ODIN 연동

PART 5. 스케쥴 가능성 분석

• 5-1. 스케쥴가능성분석

• 5-2. ODIN 연동

PART 6. 소프트웨어 변경 영향 분석(SCIA)

PART 7. 중복 코드 분석(DBCA)

PART 8. 소프트웨어 동적 분석(SDAT)

PART 9. 정적 스택 사용량 분석(SSUA)

• 9-1. 정적 스택 사용량 분석

• 9-2. ODIN 연동

PART 10. 파라미터 매칭 분석(PMAT)

PART 11. HKSAT 프로젝트 관리

• 11-1. 모듈 및 분석 복제

• 11-2. 프로젝트 그래프

• 11-3. 프로젝트 검색

• 11-4. 함수 호출 분석

PART 12. 보고서 생성

• 12-1. 분석 보고서 생성

• 12-2. 모듈 보고서 생성

PART 13. 기타

• 13-1. 로그 활용

• 13-2. 영문 HKSAT 실행 및 가용 메모리 확대

• 13-3. 32-bit 분석기 강제 적용