Description

A Result contains the results of a pointer analysis.

See Config for how to request the various Result components.