Hi I was just wondering if spark runs with shimple form. In that case, the spark points-to results will be flow-sensitive (I hope I am correct on this). Thanks Saswat