Files
codeql/python/ql/test/library-tests/frameworks/serverless/RemoteFlowSourceTest.ql
Rasmus Lerchedahl Petersen a892e83c8e python: add simple test for AWS lambda
made space for other serverless frameworks in the directory `serverless`
2023-07-12 16:42:00 +02:00

21 lines
605 B
Plaintext

import python
import TestUtilities.InlineExpectationsTest
private module RemoteFlowTest implements TestSig {
private import semmle.python.dataflow.new.RemoteFlowSources
private import semmle.python.dataflow.new.internal.PrintNode
string getARelevantTag() { result = "remoteFlow" }
predicate hasActualResult(Location location, string element, string tag, string value) {
exists(RemoteFlowSource source |
location = source.getLocation() and
tag = "remoteFlow" and
value = prettyNode(source) and
element = source.toString()
)
}
}
import MakeTest<RemoteFlowTest>