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