Need summary info. about arguments to
CF functions coming from static analyzer API.