hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Switch to shared modulus analysis.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-11-01 14:45:29 +01:00
parent ac115e0a6f
commit f8ab64dff0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll
View File

@@ -70,7 +70,6 @@ private import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionC
private import semmle.code.java.controlflow.internal.GuardsLogic
private import semmle.code.java.security.RandomDataSource
private import SignAnalysis
private import ModulusAnalysis
private import semmle.code.java.Reflection
private import semmle.code.java.Collections
private import semmle.code.java.Maps
@@ -296,7 +295,8 @@ module SignInp implements SignAnalysisSig<Sem> {
module Modulus implements ModulusAnalysisSig<Sem> {
class ModBound = Bound;
predicate semExprModulus = exprModulus/4;
private import codeql.rangeanalysis.ModulusAnalysis as Mod
import Mod::ModulusAnalysis<Location, Sem, IntDelta, Bounds, Utils>
}
module IntDelta implements DeltaSig {