qtil
advanced-security/qtil-java 0.0.3
Search

Module Modulus

Import path

import semmle.code.java.dataflow.RangeAnalysis

Imports

Aliases

ModBound

A bound that may be inferred for an expression plus/minus an integer delta.