Module RoutingTest

Import path

import utils.test.dataflow.RoutingTest

Imports

DataFlow	Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis: deciding whether data can flow from a source to a sink.
InlineExpectationsTest	Inline expectation tests for Python. See `shared/util/codeql/util/test/InlineExpectationsTest.qll`
python

Modules

MakeTestSig

Module signatures

RoutingTestSig

A routing test is designed to test that values are routed to the correct arguments of the correct functions. It is assumed that the functions tested sink their arguments sequentially, that is SINK1(arg1), etc.