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

Python: Fix imports in tests

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2020-11-02 23:02:29 +01:00
parent 8752b1af1e
commit 5dadb0f476
34 changed files with 48 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/test/experimental/dataflow/basic/allFlowsConfig.qll
View File

@@ -1,4 +1,4 @@
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
/**
* A configuration to find all flows.

2
python/ql/test/experimental/dataflow/basic/local.ql
View File

@@ -1,4 +1,4 @@
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node fromNode, DataFlow::Node toNode
where DataFlow::localFlow(fromNode, toNode)

2
python/ql/test/experimental/dataflow/basic/localStep.ql
View File

@@ -1,4 +1,4 @@
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node fromNode, DataFlow::Node toNode
where DataFlow::localFlowStep(fromNode, toNode)

4
python/ql/test/experimental/dataflow/basic/maximalFlowsConfig.qll
View File

@@ -1,5 +1,5 @@
import experimental.dataflow.DataFlow
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
/**
* A configuration to find all "maximal" flows.

4
python/ql/test/experimental/dataflow/callGraphConfig.qll
View File

@@ -1,6 +1,6 @@
private import python
import experimental.dataflow.DataFlow
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
/**
* A configuration to find the call graph edges.

2
python/ql/test/experimental/dataflow/consistency/dataflow-consistency.ql
View File

@@ -1 +1 @@
import experimental.dataflow.internal.DataFlowImplConsistency::Consistency
import semmle.python.dataflow.new.internal.DataFlowImplConsistency::Consistency

4
python/ql/test/experimental/dataflow/coverage/argumentRouting1.ql
View File

@@ -3,9 +3,9 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
/**
* A configuration to check routing of arguments through magic methods.

2
python/ql/test/experimental/dataflow/coverage/argumentRouting2.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

2
python/ql/test/experimental/dataflow/coverage/argumentRouting3.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

2
python/ql/test/experimental/dataflow/coverage/argumentRouting4.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

2
python/ql/test/experimental/dataflow/coverage/argumentRouting5.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

2
python/ql/test/experimental/dataflow/coverage/argumentRouting6.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

2
python/ql/test/experimental/dataflow/coverage/argumentRouting7.ql
View File

@@ -3,7 +3,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import DataFlow::PathGraph
/**

4
python/ql/test/experimental/dataflow/coverage/classesCallGraph.ql
View File

@@ -1,5 +1,5 @@
import experimental.dataflow.DataFlow
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
/**
* A configuration to find the call graph edges.

2
python/ql/test/experimental/dataflow/coverage/localFlow.ql
View File

@@ -1,5 +1,5 @@
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node nodeFrom, DataFlow::Node nodeTo
where

2
python/ql/test/experimental/dataflow/fieldflow/allLocalFlow.ql
View File

@@ -1,5 +1,5 @@
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node nodeFrom, DataFlow::Node nodeTo
where

2
python/ql/test/experimental/dataflow/fieldflow/localFlow.ql
View File

@@ -1,5 +1,5 @@
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node nodeFrom, DataFlow::Node nodeTo
where

2
python/ql/test/experimental/dataflow/global-flow/accesses.ql
View File

@@ -1,5 +1,5 @@
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
import TestUtilities.InlineExpectationsTest
class GlobalReadTest extends InlineExpectationsTest {

2
python/ql/test/experimental/dataflow/import-helper/ImportHelper.ql
View File

@@ -1,4 +1,4 @@
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
query predicate importNode(DataFlow::Node res, string name) { res = DataFlow::importNode(name) }

2
python/ql/test/experimental/dataflow/regression/custom_dataflow.ql
View File

@@ -8,7 +8,7 @@
*/
import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
class CustomTestConfiguration extends DataFlow::Configuration {
CustomTestConfiguration() { this = "CustomTestConfiguration" }

4
python/ql/test/experimental/dataflow/strange-essaflow/testFlow.ql
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.DataFlow
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
/** Gets the EssaNode that holds the module imported by the fully qualified module name `name` */
DataFlow::EssaNode module_import(string name) {

4
python/ql/test/experimental/dataflow/tainttracking/TestTaintLib.qll
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.TaintTracking
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.TaintTracking
import semmle.python.dataflow.new.DataFlow
class TestTaintTrackingConfiguration extends TaintTracking::Configuration {
TestTaintTrackingConfiguration() { this = "TestTaintTrackingConfiguration" }

4
python/ql/test/experimental/dataflow/tainttracking/basic/GlobalTaintTracking.ql
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.TaintTracking
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.TaintTracking
import semmle.python.dataflow.new.DataFlow
class TestTaintTrackingConfiguration extends TaintTracking::Configuration {
TestTaintTrackingConfiguration() { this = "TestTaintTrackingConfiguration" }

4
python/ql/test/experimental/dataflow/tainttracking/basic/LocalTaintStep.ql
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.TaintTracking
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.TaintTracking
import semmle.python.dataflow.new.DataFlow
from DataFlow::Node nodeFrom, DataFlow::Node nodeTo
where TaintTracking::localTaintStep(nodeFrom, nodeTo)

2
python/ql/test/experimental/dataflow/testConfig.qll
View File

@@ -21,7 +21,7 @@
*/
private import python
import experimental.dataflow.DataFlow
import semmle.python.dataflow.new.DataFlow
class TestConfiguration extends DataFlow::Configuration {
TestConfiguration() { this = "TestConfiguration" }

4
python/ql/test/experimental/dataflow/typetracking/moduleattr.ql
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.DataFlow
import experimental.dataflow.TypeTracker
import semmle.python.dataflow.new.DataFlow
import semmle.python.dataflow.new.TypeTracker
DataFlow::Node module_tracker(TypeTracker t) {
t.start() and

4
python/ql/test/experimental/dataflow/typetracking/tracked.ql
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.DataFlow
import experimental.dataflow.TypeTracker
import semmle.python.dataflow.new.DataFlow
import semmle.python.dataflow.new.TypeTracker
import TestUtilities.InlineExpectationsTest
DataFlow::Node tracked(TypeTracker t) {

2
python/ql/test/experimental/library-tests/frameworks/django-v2-v3/TestTaint.ql
View File

@@ -1,5 +1,5 @@
import experimental.dataflow.tainttracking.TestTaintLib
import experimental.dataflow.RemoteFlowSources
import semmle.python.dataflow.new.RemoteFlowSources
class RemoteFlowTestTaintConfiguration extends TestTaintTrackingConfiguration {
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }

2
python/ql/test/experimental/library-tests/frameworks/flask/TestTaint.ql
View File

@@ -1,5 +1,5 @@
import experimental.dataflow.tainttracking.TestTaintLib
import experimental.dataflow.RemoteFlowSources
import semmle.python.dataflow.new.RemoteFlowSources
class RemoteFlowTestTaintConfiguration extends TestTaintTrackingConfiguration {
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }

4
python/ql/test/experimental/library-tests/frameworks/modeling-example/NaiveModel.ql
View File

@@ -3,8 +3,8 @@
*/
private import python
private import experimental.dataflow.DataFlow
private import experimental.dataflow.TaintTracking
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.TaintTracking
import DataFlow::PathGraph
import SharedCode

4
python/ql/test/experimental/library-tests/frameworks/modeling-example/ProperModel.ql
View File

@@ -3,8 +3,8 @@
*/
private import python
private import experimental.dataflow.DataFlow
private import experimental.dataflow.TaintTracking
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.TaintTracking
import DataFlow::PathGraph
import SharedCode

4
python/ql/test/experimental/library-tests/frameworks/modeling-example/SharedCode.qll
View File

@@ -1,6 +1,6 @@
private import python
private import experimental.dataflow.DataFlow
private import experimental.dataflow.TaintTracking
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.TaintTracking
// Helpers modeling MyClass
/** A data-flow Node representing an instance of MyClass. */

2
python/ql/test/experimental/library-tests/frameworks/stdlib/TestTaint.ql
View File

@@ -1,2 +1,2 @@
import experimental.dataflow.tainttracking.TestTaintLib
import experimental.dataflow.RemoteFlowSources
import semmle.python.dataflow.new.RemoteFlowSources

4
python/ql/test/experimental/meta/ConceptsTest.qll
View File

@@ -1,6 +1,6 @@
import python
import experimental.dataflow.DataFlow
import experimental.semmle.python.Concepts
import semmle.python.dataflow.new.DataFlow
import semmle.python.Concepts
import TestUtilities.InlineExpectationsTest
string value_from_expr(Expr e) {