hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared/Java: Rename ControlFlowReachability library.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-10-23 09:07:34 +02:00
parent 8a3f62b9b6
commit 20147cdd2b
5 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/controlflow/ControlFlow.qll → java/ql/lib/semmle/code/java/controlflow/ControlFlowReachability.qll
View File

@@ -5,7 +5,7 @@ overlay[local?]
module;
import java
private import codeql.controlflow.ControlFlow
private import codeql.controlflow.ControlFlowReachability
private import semmle.code.java.dataflow.SSA as SSA
private import semmle.code.java.controlflow.Guards as Guards
@@ -57,4 +57,4 @@ private module ControlFlowInput implements InputSig<Location, ControlFlowNode, B
import Guards::Guards_v3::InternalUtil
}
module ControlFlow = Make<Location, Cfg, ControlFlowInput>;
module ControlFlowReachability = Make<Location, Cfg, ControlFlowInput>;

6
java/ql/lib/semmle/code/java/dataflow/Nullness.qll
View File

@@ -16,7 +16,7 @@ private import IntegerGuards
private import NullGuards
private import semmle.code.java.Collections
private import semmle.code.java.controlflow.internal.Preconditions
private import semmle.code.java.controlflow.ControlFlow as Cf
private import semmle.code.java.controlflow.ControlFlowReachability
/** Gets an expression that may be `null`. */
Expr nullExpr() { result = nullExpr(_) }
@@ -248,7 +248,7 @@ private predicate impossibleEdge(BasicBlock bb1, BasicBlock bb2) {
)
}
private module NullnessConfig implements Cf::ControlFlow::ConfigSig {
private module NullnessConfig implements ControlFlowReachability::ConfigSig {
predicate source(ControlFlowNode node, SsaVariable def) { varMaybeNull(def, node, _, _) }
predicate sink(ControlFlowNode node, SsaVariable def) { varDereference(def, _) = node }
@@ -260,7 +260,7 @@ private module NullnessConfig implements Cf::ControlFlow::ConfigSig {
predicate uncertainFlow() { none() }
}
private module NullnessFlow = Cf::ControlFlow::Flow<NullnessConfig>;
private module NullnessFlow = ControlFlowReachability::Flow<NullnessConfig>;
/**
* Holds if the dereference of `v` at `va` might be `null`.