qtil
advanced-security/qtil-python 0.0.3
Search

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 semmle.python.objects.ObjectAPI
NumericValue forInt(int i)