variable value constraints after comparison

Does a checker have access to the value constraints on a variable? If so, how?

I’m implementing an integer overflow checker and I’m trying to eliminate some of the false positives.

Thanks!