Refactor to module api for PathNodes

Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
This commit is contained in:
Edward Minnix III
2023-03-09 10:45:55 -05:00
committed by GitHub
parent cb53ff70a6
commit e8f1f364c5

View File

@@ -12,8 +12,8 @@
import java
import semmle.code.java.security.ArbitraryApkInstallationQuery
import DataFlow::PathGraph
import ApkConfiguration::PathGraph
from DataFlow::PathNode source, DataFlow::PathNode sink
from ApkConfiguration::PathNode source, ApkConfiguration::PathNode sink
where ApkConfiguration::hasFlowPath(source, sink)
select sink.getNode(), source, sink, "Arbitrary Android APK installation."