Constantine: configurable static analysis tool in Eclipse. - Makarand Gawade; K. Ravikanth; Sanjeev Aggarwal (Softw. Pract. Exp., 2014)