1 2 3 4 5 6 7
warn_on_maybe = false interval.max_paths = 8 interval.max_iterations = 8 nullptr.max_paths = 8 nullptr.max_iterations = none