An experimental tool for static analysis and configuration validation.