Description

Analysis is the result of type and pointer analysis.