Program analysis for bug detection using parfait: invited talk