Recent Trends in Static Analysisдоклад на конференции