Other Information

1. Compiler Support
2. Reporting Errors
3. FAQ

Compiler Support

Reporting Errors

Error reporting allows you to send mail by collecting information related to the error.

1. Select the Error Reporting topic on the Help menu.
2. If the project is open and the module exists, please contact us to see if it contains a pre-existing code. If yes is selected, the preprocessed code is included in the compressed file

   

3. The file that compresses the files required for error reporting is created in the user folder, and the user folder opens.
4. Decide whether to send mail.

   

5. If yes, the Mail Creation window opens, and the sender, recipient, and subject are automatically entered. However, attachments must be added directly.

   

6. Find the compressed file in an open folder and attach it to the email.
7. In the body, briefly enter the situation in the event of an error.
8. Send an email.

FAQ

General information

What is HKSAT?

HKSAT is a program that provides a variety of analytical capabilities to validate software on embedded equipment.

What are the benefits of using HKSAT?

By proactively identifying and removing errors that may occur in the source code using the analysis provided by the program, you can improve software productivity. In addition, we provide easy understanding of the results of the analysis, such as report generation and graph view, making it easy for developers to understand the results of the analysis.

What analytics features does HKSAT offer?

HKSAT currently supports software static analysis (SSAT), software dynamic analysis (SDAT), longest schedule time analysis (WCETA), schedulability analysis (SCHA), software change impact analysis (SCIA), redundant code analysis (DBCA), and staticstack usage analysis (SSUA).

What are the minimum system specifications for using HKSAT?

Disk space: At least 650 MB of free memory space: At least 512 MB required

What programs do I need installed on my computer to use HKSAT?

At least one compiler environment that can compile source code for analysis must be installed.

Can I use the program if I can't connect to the Internet?

No separate Internet connection is required.

Does a trial version of HKSAT exist?

Yes, you can register a pre-trial license when you register for a license. If you would like to register a pre-product@formalworks.com, please contact us via product@formalworks.com

Analysis Failure

An error occurs when the module is created, and the creation fails.

In some cases, the tool's compiler settings may be incorrect and the module generation may fail. Make sure that the settings for the compiler you want to use are correct. Even if the compiler license has expired, module creation may fail, so you should make sure that the license is valid. If you specify an incorrect option, the module registration may fail, so make sure that it accurately reflects the compilation options that you use during development. Selecting too many directories on the Include Directories tab can also cause errors, and we recommend that you select only the main parent root directory to avoid this.

Too much memory is consumed to create or analyze modules, and sometimes stops.

When the program is executed, the default value of memory is set to 1.0G, and the program may not work if the memory is exceeded. In this case, you can use the HKSAT launcher by changing the maximum memory usage.

Sometimes the source code used in the module cannot be found.

If the storage path of the source code used to register the module contains a Korean name, an error may occur to perform the analysis. Therefore, please be careful not to include Korean in the source code path.

The picture is not output when the report is generated.

This can occur if the generate option formats the image as JPG when the report is generated. If you specify an image format as JPG in the Create option, perform an internal conversion from SVG to JPG. If you do not have the "Microsoft Visual C++ 20xx Redistributable" program installed, the picture generation fails. Therefore, you must install the Microsoft Visual C++ 20xx Redistributable program to generate reports with JPG images. (If the volume of reports is large, it is recommended that you create an SVG image because the image conversion process takes a lot of time.)

A compilation error has occurred.

Please verify that the license is valid because it may be a compiler license error.

In WCETA, the analysis results are output to 0 root events.

If the function is defined as inline, the analysis is not done properly because the function implementation is not imported.

The Drag & Drop feature does not work for the file list.

This issue may arise if you run HKSAT immediately after an update. Restarting the program will resolve the issue and allow it to operate normally.

Support and the latest products

Can I get information about the latest version?

We provide the latest upgrade information through the homepage or by email registered when purchasing a license.

How do I report errors while using the program?

If an error crashes or causes a problem performing a feature while using the program, you can report the error by clicking the program's Help menu -> error reporting menu. At this time, you can attach an automatic error-related information file (including module, analysis and log information) to the email for accurate diagnosis and notify you of the response. For error reporting, see Reporting Errors

SDAT

Communication errors in SDAT can occur for a variety of reasons. The following are common error resolutions:

Platform build issues

SDAT requires that you set up a platform to include UDS modules to support it when you build it. Please contact Otron (formerly Carnes) for further guidance. In the topic above the target ID problem, the ID for communication is set and must be set to the same in SDAT.

Communication speed issues

If you are using slow communication, you will need to set up a separate setting. When using slow CAN mode, you can set the Default CAN baud rate to 100,000 in Vector HW Configuration and use the slow CAN version above:.

XL Driver Library Issues

If you're using an old version of the XL Driver Library from Vector, you can often get errors, so you can update to the latest version and use it.

Duplicate connections

This can also be a problem with CANoe and redundant connections.