Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for C/C++
codeql/cpp-all 5.1.0 (changelog, source)

Module ModulusAnalysis

Provides inferences of the form: e equals b + v modulo m where e is an expression, b is a Bound (typically zero or the value of an SSA variable), and v is an integer in the range [0 .. m-1].

Import path

import codeql.rangeanalysis.ModulusAnalysis

Modules