Trying to detect bugs or refactoring opportunities in code.