Tokeneer Discovery - A SPARK Tutorial

Analyse Tokeneer

This page describes how to analyse Tokeneer using the SPARK toolset - Examiner, Simplifier and POGS.

GPS

Run the SPARK Examiner on the file you wish to Examine.

Select Simplify All in the SPARK menu. The output is displayed in the SPARKSimp Output tab.

It may take a few minutes when you run the Simplifier the first time. Subsequent runs should be much faster as it only re-analyses files that have changed.

Run POGS by selecting POGS in the SPARK menu. A verification summary is then displayed in the core.sum tab and saved to the file core.sum.

Command Line

Run the Examiner against the modified file and then run the Simplifier. Run POGS to then generate a summary file that shows the result of the analysis. The sequence of commands are shown below.

It may take a few minutes when you run the Simplifier the first time. Subsequent runs should be much faster as it only re-analyses files that have changed.

    spark <modified_filename>
    sparksimp -l
    pogs