2.11. spark2014 module

GNAThub plug-in for the SPARK2014 command-line tool.

It exports the SPARK2014 class which implements the GNAThub.Plugin interface. This allows GNAThub’s plug-in scanner to automatically find this module and load it as part of the GNAThub default execution.

class spark2014.SPARK2014[source]

Bases: Plugin, Runner, Reporter

SPARK2014 plugin for GNAThub.

Configures and executes GNATprove, then analyzes the output.

SPARK_TO_RANKING = {'high': 5, 'info': 2, 'low': 3, 'medium': 4, 'warning': 4}
__init__()[source]

Initialize instance properties.

report()[source]

Execute GNATprove message reader and parses the output.

Sets the exec_status property according to the success of the analysis:

  • GNAThub.EXEC_SUCCESS: on successful execution and analysis

  • GNAThub.EXEC_FAILURE: on any error

run()[source]

Execute GNATprove.

Sets the exec_status property according to the success of the execution of the tool:

  • GNAThub.EXEC_SUCCESS: on successful execution

  • GNAThub.EXEC_FAILURE: on any error