2.7. gnatstack module

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

It exports the GNATstack 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 gnatstack.GNATstack[source]

Bases: Plugin, Runner, Reporter

GNATstack plugin for GNAThub.

RANKING = 2
VALID_EXIT_CODES = (0, 1)
__init__()[source]

Initialize instance properties.

pp_msg(id, msg)[source]
pp_name(name)[source]
report()[source]

Parse GNATstack output file report.

Returns according to the success of the analysis:

  • GNAThub.EXEC_SUCCESS: on successful execution and analysis

  • GNAThub.EXEC_FAILURE: on any error

run()[source]

Execute GNATstack.

Returns according to the success of the execution of the tool:

  • GNAThub.EXEC_SUCCESS: on successful execution

  • GNAThub.EXEC_FAILURE: on any error