Preparation

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

Installing HKSAT

HKSAT requires the followings to work.

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

To install HKSAT

1. Run an installation file with a name of setup.hksat.x.x.x.x.exe.
2. If an older version is installed, remove it before 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 Choose Install Location, select a install location and click Next button.

   

6. On License File Import, click Install button with or without selecting a license file. If selected, it is copied to "C:\ProgramData\HKSAT" during the installation.

   

7. A progress window is displayed.
8. When done, click Finish button to finith the installation.

   

Launching HKSAT

To start HKSAT

1. Double-click HKSAT Launcher icon on the desktop, then the launcher is shown.

   

2. Select Heap Memory and Language in the bottom toolbar.
3. Click Launch button to see Welcome Window.

   

4. On Welcome Window, select a recent project on the left, or select a menu item on the right.
5. The main window is shown and then the selected is performed.

   

Configuring HKSAT

To configure HKSAT

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

   

• Search Field, with some text, shows only those related to the search text.
• Restore page defaults restores default values for preferences in the page. This may requrie a restart.

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

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

General Preferences

Includes basic program preferences.

Directories

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

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.
• Use threads is whether to use threads during the analysis.
• Maximum number of threads is the maximum number of threads to use.

Startup

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

Others

• 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.
• Use off-line help contents is whether to use embedded help contents instead of on-line contents.
• Use next task suggestion is whether to show possible next tasks after a task is completed.
• Close progress window when the tasks are done is whether to close a progress window when the tasks are finished.

GUI Settings

Includes settings for GUI components.

Window settings

Includes settings for the main window.

Features

• Floating frame is whether the ability to eject each view out of the main window is enabled.
• Use big icons in the tool bar is whether to use big icons in the main tool bar.

Views

• Module view is whether the module view is active or not
• Analysis view is whether the analysis view is enabled or not
• Search view is whether search view is enabled
• Call hierarchy view is whether the function call view is enabled or not
• Report view is whether the report view is enabled

Code View Settings

Includes settings for Code View.

Features

• Split pane is whether some analyses split the screen to show more than one source code at the same time
• Show symbol info as tool-tip is whether to display symbol information when hovering over it
• Max split pane count is the maximum number of source code held at the same time

visualization

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

Graph View Settings

Includes settings for Graph View.

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 edges gently

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

Includes settings for Result View.

• 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

Includes settings for Log View.

• 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 analyses

1. On Analysis Settings Window, click Settings button for an analysis.
2. The Settings window is 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.