CodeQL library for Python
codeql/python-all 1.0.2 (changelog, source)

Predicate Value::forInt

Gets the NumericValue for the integer constant i, if it exists. There will be no NumericValue for most integers, but the following are guaranteed to exist:

  • From zero to 511 inclusive.
  • All powers of 2 (up to 2**30)
  • Any integer explicitly mentioned in the source program.

Import path

import python
NumericValue forInt(int i)