Using TRACS Online

Step 1 - Import File

Upload the file you want to annotate by clicking on the "Import" button and navigating to the location of your file. TRACS will automatically add some program unit annotations to the file before displaying it on screen.

Step 2 - Program unit annotations

There are three kinds of program units:

• Commands - code that is executed to affect the state of the system.
• Expressions - code that is evaluated to get a value.
• Comments - sections of code that don't directly affect the program.

When the file is imported, TRACS assumes that every line is an individual command.

To add your own annotations, just click and highlight the code then click the appropriate button.

Step 3 - Static Control Flow

To add static control flow arrows, click and drag from one range to another.

Step 4 - Dynamic Control Flow

The dynamic control flow layer consists of three parts:

• A trace table (the top middle section)
• An evaluator (the bottom middle section)
• And a files (the right hand section)

The files area starts out with three standard files: stdin, stdout and stderr. The others start out with no entries.

To add an entry to any of the three sections, click on the Add button. Fill in the values, and note down which step step the operation happened on. You can edit the names of any of the files of