Preparation

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

Installing HKSAT

Requirements

HKSAT requires the followings to work.

• A 64-bit MS Windows.
• At least one HKSAT-supported compiler.

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. On Installation Instructions, select Next button:

   

4. On License Agreement, read the license agreement. If you agree, press I Agree button to continue; otherwise, click Cancel button to abort.

   

5. On the window for choosing Install Location, select a location to install and click Next button.

   

6. 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.

   

7. A progress window will be displayed.
8. When it is done, click Finish button to finish the installation.

   

Launching HKSAT

HKSAT Launcher

1. Double-click HKSAT Launcher icon on the Desktop, then the launcher will be shown.

   

2. Select Heap Memory and Language at the bottom toolbar.
3. Click Launch button

Welcome Window

• Select a recent project on the left.
• Or select a menu item on the right.

Main Window

Configuring HKSAT

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

Preference Dialog

Upper panel

• Search Field, if there are some texts, it will show those related to the text.
• Restore default values restores default values for preferences in the page. This may require a restart if needed.

Lower panel

• Manage Compilers closes Preference window and opens Manage Compilers window.
• Restore all defaults restores default values for all preferences. This may require a restart if needed.
• Import preferences read a preference file and apply the contents.
• Export preferences save modified preferences to a file.

• Apply writes all changes to the registry.
• Close closes the window.

General Preferences

Includes basic program preferences.

Basic Options

• Application Home shows where HKSAT is installed. It cannot be changed after the installation.
• User Home is where files with user settings are stored.
• Default Target is the path where new projects are created.

Startup Options

• Shows Welcome window on startup is whether to show Welcome Window during the start-up.
• Check updates on startup is whether to check for new versions during the start-up.

Other Options

• Default user name is the default author name used for new projects.
• Number of recent files is the number of items displayed in the recent project in the menu bar.
• Close progress window when the tasks are done is whether to close a progress window when the tasks are finished.
• Use next task suggestion is whether to show possible next tasks after the task is completed.
• Use default list selection model is whether to use the default selection method.

Compilation

• Prohibited compile options are compile options that are not available when creating a module.
• Use 32-bit engine on 64-bit systems is whether to use 32-bit engine on 64-bit system.

Threads

• Using threads is whether to use threads during the analysis.
• Maximum number of threads is the maximum number of threads to use.

Mobilgene/ODIN

• Using safe analysis compile option only:Use necessary compile options only for WCETA or SSUA. Users can customize the list of necessary options.
• Safe analysis compile option denotes usable safe compile options

Task prefix

• Task prefix
• Task function prefix

Includes

• Auto-resolve missing headers is whether to automatically build module after incluing new directories
• Check duplicated includes checks if multiple directories contain header files with the same name

Colors

Changes GUI item colors

GUI Settings

Window settings

Features

Decides whether to use each features

Views

Decides whether to use each viewer

Code View Settings

Includes settings for Code View.

Features

• Symbol info tool-tip : Whether to display symbol information when hovering over it
• Split panel : Whether some analysis split the screen to show more than one source code at the same time
• Max number of split panel : The maximum number of source code held at the same time

Visualization

• Font size :the size of the displaying font.
• Selected line highlight color :color to use highlight selected code lines.
• Default highlight color : the default highlight color to use when displaying the location
• Filtered line color : the default color to use when displaying search results

Graph View Settings

Graph visualization

• Horizontal-oriented project graph is whether to show a project graph horizontally.
• Horizontal-oriented call graph is whether to show a function call graph horizontally.
• Horizontal-oriented control flow graph is whether to show a Control Flow Graph horizontally.
• Orthogonally routed edge is whether to draw graph edges intersect at right angle
• Use Smooth-bend edge is whether to bend the edges smoothly

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

• Show summary: Whether to display a summary in the results
• Show summary chart: Whether to display a summary chart in the results

Log View Settings

• Show system log is whether system logs are displayed on the screen.
• Font size is the font size of a log
• Show time information is whether the log's time information is displayed on the screen.
• Show location information is whether the location information in the log is displayed on the screen.

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.

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.

   

3. Compiler Setup differs between compilers. The following is an example and is for the GCC compiler.

   

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.