> Do you have any other questions? I would like to point another aspect out for further development considerations. The initial assignment targets are (id)expressions in the discussed analysis approach so far. Would you like to care also for value (or pointer) initialisations by resource allocation calls at the following source code places? * Variable definition * Designated initialiser Will possible software extensions trigger interesting challenges? Regards, Markus