add tests for new frameworks

This commit is contained in:
amammad
2023-11-06 19:13:57 +01:00
parent 637c52d10a
commit 315bdc2b48
24 changed files with 23 additions and 24 deletions

View File

@@ -1,2 +0,0 @@
testFailures
failures

View File

@@ -1,20 +0,0 @@
import python
import semmle.python.dataflow.new.DataFlow
import semmle.python.Concepts
import TestUtilities.InlineExpectationsTest
private import semmle.python.dataflow.new.internal.PrintNode
module FileSystemAccessTest implements TestSig {
string getARelevantTag() { result = "getAPathArgument" }
predicate hasActualResult(Location location, string element, string tag, string value) {
exists(location.getFile().getRelativePath()) and
exists(FileSystemAccess a, DataFlow::Node path |
path = a.getAPathArgument() and
location = a.getLocation() and
element = path.toString() and
value = prettyNodeForInlineTest(path) and
tag = "getAPathArgument"
)
}
}

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -1,5 +1,4 @@
from starlette.responses import FileResponse
from baize.asgi import FileResponse as baizeFileResponse
baizeFileResponse("file") # $ getAPathArgument="file"
FileResponse("file") # $ getAPathArgument="file"
FileSystemAccess

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -0,0 +1 @@
ERROR: Could not resolve module semmle.python.frameworks.FileSystemAccess (/home/am/CodeQL-home/codeql-repo-amammad/python/ql/lib/semmle/python/Frameworks.qll:25,16-57)

View File

@@ -0,0 +1,2 @@
import python
import experimental.meta.ConceptsTest

View File

@@ -0,0 +1,3 @@
from starlette.responses import FileResponse
FileResponse("file") # $ getAPathArgument="file"