Export as DataFlow instead of DF

This commit is contained in:
Asger F
2022-09-06 15:02:48 +02:00
parent 5ef69628b3
commit 95c60858d4
6 changed files with 6 additions and 10 deletions

View File

@@ -72,7 +72,7 @@ private class Unit = Specific::Unit;
private module API = Specific::API;
private module DataFlow = Specific::DF;
private module DataFlow = Specific::DataFlow;
private import Specific::AccessPathSyntax

View File

@@ -20,7 +20,6 @@
*/
private import python as PY
private import semmle.python.dataflow.new.DataFlow
private import ApiGraphModels
import semmle.python.ApiGraphs::API as API
@@ -28,9 +27,7 @@ class Unit = PY::Unit;
// Re-export libraries needed by ApiGraphModels.qll
import semmle.python.frameworks.data.internal.AccessPathSyntax as AccessPathSyntax
module DF = DataFlow;
import semmle.python.dataflow.new.DataFlow::DataFlow as DataFlow
private import AccessPathSyntax
/**