Towards the Industrial Scale Development of Custom Static Analyzers