PICASSO: a PI-CAlculus-based Static SOftware analyzer