Merge pull request #17968 from michaelnebel/java/movetestutils

Move test utilities to the query pack.
This commit is contained in:
Michael Nebel
2024-12-16 13:41:30 +01:00
committed by GitHub
667 changed files with 623 additions and 623 deletions

View File

@@ -1,5 +1,5 @@
import cpp
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import semmle.code.cpp.dataflow.new.DataFlow::DataFlow
bindingset[s]

View File

@@ -1,5 +1,5 @@
import cpp
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import semmle.code.cpp.dataflow.new.DataFlow::DataFlow
bindingset[s]

View File

@@ -1,4 +1,4 @@
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
private import cpp
private import semmle.code.cpp.ir.dataflow.DataFlow
private import semmle.code.cpp.controlflow.IRGuards

View File

@@ -1,4 +1,4 @@
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import cpp
module AstTest {

View File

@@ -1,4 +1,4 @@
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import cpp
module AstTest {

View File

@@ -1,3 +1,3 @@
import TestBase
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
import MakeTest<MergeTests<AstFlowTest<AstTest::AstFlow>, IRFlowTest<IRTest::IRFlow>>>

View File

@@ -1,6 +1,6 @@
import cpp
import semmle.code.cpp.dataflow.new.DataFlow
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module TestConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {

View File

@@ -1,6 +1,6 @@
import cpp
import semmle.code.cpp.dataflow.new.DataFlow
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module TestConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {

View File

@@ -1,4 +1,4 @@
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import cpp
module AstTest {

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
import cpp
import semmle.code.cpp.security.FlowSources
import IRTest::IRFlow::PathGraph

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
module AstTest {
import ASTConfiguration

View File

@@ -1,4 +1,4 @@
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import testModels
module InterpretElementTest implements TestSig {

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
import testModels
module IRTest {

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
import semmle.code.cpp.dataflow.new.DataFlow
module ParamConfig implements DataFlow::ConfigSig {

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
module AstTest {
private import semmle.code.cpp.dataflow.TaintTracking

View File

@@ -1,7 +1,7 @@
/** This tests that we are able to detect local flow sources. */
import cpp
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import semmle.code.cpp.security.FlowSources
module LocalFlowSourceTest implements TestSig {

View File

@@ -1,7 +1,7 @@
/** This tests that we are able to detect remote flow sources and sinks. */
import cpp
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import semmle.code.cpp.security.FlowSources
module RemoteFlowSourceTest implements TestSig {

View File

@@ -1,4 +1,4 @@
import TestUtilities.dataflow.FlowTestCommon
import utils.test.dataflow.FlowTestCommon
module TaintModels {
class SetMemberFunction extends TaintFunction {

View File

@@ -7,7 +7,7 @@ import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysi
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysisImpl
import semmle.code.cpp.rangeanalysis.new.internal.semantic.SemanticExprSpecific
import semmle.code.cpp.ir.IR as IR
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module ModulusAnalysisInstantiated = ModulusAnalysis<SemLocation, Sem, FloatDelta, ConstantBounds>;

View File

@@ -1,5 +1,5 @@
import cpp
private import TestUtilities.InlineExpectationsTest
private import utils.test.InlineExpectationsTest
private import semmle.code.cpp.ir.internal.IntegerConstant as Ints
private predicate ignoreAllocation(string name) {

View File

@@ -1,6 +1,6 @@
import cpp
import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysis
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module RangeAnalysisTest implements TestSig {
string getARelevantTag() { result = "overflow" }

View File

@@ -3,7 +3,7 @@ import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysi
import semmle.code.cpp.rangeanalysis.new.internal.semantic.Semantic
import semmle.code.cpp.rangeanalysis.new.internal.semantic.SemanticExprSpecific
import semmle.code.cpp.ir.IR as IR
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module RangeAnalysisTest implements TestSig {
string getARelevantTag() { result = "range" }

View File

@@ -5,7 +5,7 @@ import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.FloatDelta
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysisRelativeSpecific
import semmle.code.cpp.rangeanalysis.new.internal.semantic.SemanticExprSpecific
import semmle.code.cpp.ir.IR as IR
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module SignAnalysisInstantiated = SignAnalysis<FloatDelta>;

View File

@@ -1,6 +1,6 @@
private import cpp
private import semmle.code.cpp.ir.implementation.raw.IR
import TestUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
module IRTypesTest implements TestSig {
string getARelevantTag() { result = "irtype" }