Preparation

  1. Installing HKSAT
  2. Launching HKSAT
  3. Configuring HKSAT
  4. Managing Compilers

Installing HKSAT

Requirements

HKSAT requires the followings to work.

Installation

  1. Run installation file with a name of setup.hksat.x.x.x.x.exe.
  2. If an older version is installed, remove it prior to the installation of a new one.
  3. Uninstalling Previous Version Window
  4. On Installation Instructions, select Next button:
    Installation Instruction Window (KR)
  5. On License Agreement, read the license agreement. If you agree, press I Agree button to continue; otherwise, click Cancel button to abort.
    License Agreement Window (KR)
  6. On the window for choosing Install Location, select a location to install and click Next button.
    Chooose Install Location Window (KR)
  7. On the window for License File Import, click Install button with or without selecting a license file. If selected, the path will be copied to "C:\ProgramData\HKSAT". When the license has already been installed, you can simply skip.
    License File Import Window (KR)
  8. A progress window will be displayed.
  9. When it is done, click Finish button to finish the installation.
    Installation Complete Window (KR)

Launching HKSAT

HKSAT Launcher

  1. Double-click HKSAT Launcher icon on the Desktop, then the launcher will be shown.
    HKSAT Launcher
  2. Select Heap Memory and Language at the bottom toolbar.
  3. Click Launch button

Welcome Window

Welcome Window

Main Window

HKSAT Main Window

Configuring HKSAT

Select Preferences from File menu, or select Preference icon from the toolbar.

Preference Dialog

HKSAT Preferences Window

Upper panel

Lower panel

General Preferences

Includes basic program preferences.

Basic Options

Basic Options
Startup Options
Other Options

Compilation

Compilation
Threads
Mobilgene/ODIN
Task prefix
Includes

Colors

Colors

Changes GUI item colors

GUI Settings

Window settings

MainFrame settings
Features

Decides whether to use each features

Views

Decides whether to use each viewer

Code View Settings

Includes settings for Code View.

Code View Settings
Features
Visualization

Graph View Settings

Graph View Settings
Graph visualization
Graph Color

Sets common colors for all graphs.

Project Graph

Sets node colors for project graphs

Call Graph

Sets node colors for call graphs

Control Flow Graph

Sets node colors for control flow graphs

Result View Settings

Result View Settings

Log View Settings

Log View Settings

Analysis Settings

To configure analysis

  1. On Analysis Settings Window, click Setting button of a particular analysis.
  2. The Settings window will be displayed.
  3. In the specific Analysis Preference, change the configuration.
  4. Click Close button to save the changes.

Managing Compilers

To manage compilers, select manage compilers from File menu.

From HKSAT-supported compilers, you can select and configure compilers to use in your project.

Compiler Management Window

To Enable a Compiler

To enable an installed compiler

  1. In Manage Compilers Window, click Add button.
  2. When the Compiler Selection Window is displayed, select a compiler to enable.
    Compiler Selection Window
  3. Compiler Setup differs between compilers. The following is an example and is for the GCC compiler.
    GCC Compiler Setup Window
  4. Click Select Directory button to specify the installation path for the compiler.
  5. Click Validate Compiler Settins button to validate that required files are installed in the specified path.
  6. Click Close button to finish.