Obtaining a License for the Hub

Instructions on how to obtain a license are provided in section Getting Started With CodeSonar > Setting Up > Setting Up The Hub > Obtaining a License of the CodeSonar manual, available from the Hub.

For version 9.1p0 or for older versions of CodeSonar, those instructions need to be amended as detailed below.

Replace step 5, 6 and 7, directing the Hub Administrator to a codesonar.com web link with the following steps:

  • Save the unsigned license into a file of your choice.

  • Log onto your GNAT tracker account.

  • Create a new Technical Request case providing the unsigned license file as an attachment (using the “add attachment” paperclip at the bottom right corner of the case creation form).

Once you’ve done the above, AdaCore will generate a license and send you a notification when that license is available. The license text will resemble an extended version of the unsigned license that you submitted to AdaCore. In particular, it will include a signature attribute.

This process will usually take one working day.

While you are waiting to receive the signed license, you can configure the hub as described in the Configuring a New or Upgraded Hub section.

To retrieve the license once made available, do the following:

  • Open the associated case in GNAT tracker.

  • Go to the “Attachments” tab.

  • Download the signed license file from there.

Then follow the remaining steps detailed in the CodeSonar manual.

Tip

For information how to use GNAT tracker, please visit the GNAT tracker User Guide