Popup Menus

MrSpidey also computes significant additional information for each analyzed expression. This information is available on a demand-driven basis via pop-up menus. MrSpidey associates a pop-up menu with each program variable, which is marked in bold, and also with the opening parenthesis of each expression, which is also marked in bold: see figure . Clicking on one of these bold tokens displays the associated menu, which then provides access to additional type and value flow information, as described below.

  
Figure 2.2: The pop-up menu