The selection of JSF++ rules can be configured graphically with the PolySpace Client for C/C++ and the PolySpace Server for C/C++ code verification. (Graphic: Business Wire)