hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Address review comments and QL4QL alerts.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-06-19 10:58:07 +02:00
parent a23e77ca58
commit 15daa51ee5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/codeql/dataflow/VariableCapture.qll
View File

@@ -166,7 +166,7 @@ module Flow<InputSig Input> implements OutputSig<Input> {
exists(Call call | c1 = call.getEnclosingCallable() and c2 = getACallTarget(call))
}
private predicate noCallGraph() { not exists(Call call, Callable c | c = getACallTarget(call)) }
private predicate noCallGraph() { not exists(getACallTarget(_)) }
private predicate readOrWrite(BasicBlock bb, int i) {
variableRead(bb, i, _, _) or variableWrite(bb, i, _, _)
@@ -219,7 +219,7 @@ module Flow<InputSig Input> implements OutputSig<Input> {
private predicate hasHeapArg(Call call) {
capturedVarsAreLive(call.getEnclosingCallable()) and capturedVarsAreLive(getACallTarget(call))
or
noCallGraph()
noCallGraph() and exists(call)
}
/**