qtil
advanced-security/qtil-java 0.0.3
Search

Module ModulusAnalysis

Import path

import codeql.rangeanalysis.ModulusAnalysis

Predicates

exprModulus

Holds if e is equal to b + val modulo mod.

Parameters