RA Verifier Usage Manual

RA verifier can take needed inputs in two ways: by environment variables
or by command line parameters:


Execution with environment variables

It is possible to set the following variables:
 - OS: operating system of the platform being evaluated;
 - IMA: absolute pathname of the file containing IMA measurements
 - ANALYSIS: analysis to execute on provided IMA measurements
             syntax:  analysis name[,param1,...,paramN]
             example: IMA_LEVEL,1,>=


Execution with command line parameters

$ ra_verifier options

where allowed options are:
 - q <distribution name>: same meaning of OS environment variable
 - i <pathname>: same meaning of IMA environment variable
 - a <analysis>: same meaning of ANALYSIS environment variable
 - t <output format>: format of the output produced
                      allowed values: 
                       - html (default): html table with measurements + graph
                       - openattestation: new OpenAttestation format
                       - openattestation-old: old OpenAttestation format

When RA Verifier is executed by OpenAttestation, the URL of the analysis type
(see D2.1.5 deliverable) must contain only the option '-t openattestation-old'.
Other information are passed through environment variables.
