CodeQL library for Python
codeql/python-all 0.10.5 ( 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 )