In the Project View, in the directory “.”, open the file you wish to Examine by double clicking on it.
Select Examine File in the SPARK menu.
The results of the analysis is displayed in the SPARK Output tab.
Ensure that the SPARK toolset’s bin directory is in your path.
To Examine a file
spark <filename>
To Examine all files in Tokeneer
spark @tis
Download the first chapter of John Barnes’ SPARK textbook and get started on the road to safe and secure programming.