Interpreting textual Analysis Results
automatically labeled program
showing Entry (Analysis?) and Exit (Analysis?) information
procedure parameters are underlined
[BOT:x-ɳ] is a function mapping x to 7 and everything else bot (see constant propagation)