Skip to content

Commit 1d5be1e

Browse files
committed
feat: Remove PathGraph's from RuntimeExec
1 parent 5a15eae commit 1d5be1e

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

java/lib/ghsl/CommandInjectionRuntimeExec.qll

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,8 +37,6 @@ module RuntimeExec {
3737
}
3838

3939
module RuntimeExecFlow = TaintTracking::Global<RuntimeExecConfiguration>;
40-
41-
import RuntimeExecFlow::PathGraph
4240
}
4341

4442
// taint flow from user data to args of the command
@@ -64,8 +62,6 @@ module ExecTaint {
6462
}
6563

6664
module ExecTaintFlow = TaintTracking::Global<ExecTaintConfiguration>;
67-
68-
import ExecTaintFlow::PathGraph
6965
}
7066

7167
// array[3] = node

0 commit comments

Comments
 (0)