Tools to perform static property analysis pestudio