provide static analysis testing (prospector)