[aosd-discuss] Naive question About Cflow Point cut

[Eric Bodden]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Michael Haupt wrote:
> call(* A.*(..)) && cflow(set(int A.field))
> 
> will match nothing. One might ask whether a combination like
> cflow(set(...)) makes sense at all.
Thanks for correcting me there, Michael. So indeed, it seems then,
that useful PCDs to use within a cflow are only execution and call
(apart from the example you mentioned). Is that correct?

Eric

- -- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQgh/K8wiFCm7RlWCEQIsvACeOJ9lDCU6qX/ouu52pD+WgIenL00AnAxw
LFqDG023kHdUhNMUH+J1Pij3
=kXGu
-----END PGP SIGNATURE-----